]>
Nick Gasson's Git Repositories - nvc.git/log
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Use GCC builtin setjmp/longjmp where available
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Simplify vcode dump callback
Nick Gasson [Wed, 8 Nov 2023 19:08:04 +0000 (19:08 +0000)]
Remove implicit argument from some vcode_* functions
Nick Gasson [Tue, 7 Nov 2023 22:14:03 +0000 (22:14 +0000)]
Fixes for GUI and build warnings on Windows. Issue #786
Nick Gasson [Tue, 7 Nov 2023 21:02:46 +0000 (21:02 +0000)]
Fixes for 32-bit Windows
Nick Gasson [Mon, 6 Nov 2023 22:34:53 +0000 (22:34 +0000)]
Remove .eslintignore file
Nick Gasson [Fri, 9 Jun 2023 11:36:41 +0000 (12:36 +0100)]
Add an experimental browser-based GUI
Nick Gasson [Sat, 4 Nov 2023 17:47:34 +0000 (17:47 +0000)]
Bump GitHub Actions macOS runner to macos-12
Nick Gasson [Sat, 4 Nov 2023 13:55:04 +0000 (13:55 +0000)]
Remove MicroHTTP dependency for WebSocket server
Nick Gasson [Fri, 3 Nov 2023 21:45:36 +0000 (21:45 +0000)]
Add NEVER_WAITS attribute for some VITAL procedures
Nick Gasson [Fri, 3 Nov 2023 09:13:15 +0000 (09:13 +0000)]
Wrong data passed to 'VALUE attribute. Fixes #790
Nick Gasson [Thu, 2 Nov 2023 22:26:25 +0000 (22:26 +0000)]
Workarounds for slow emulated TLS on MinGW
Nick Gasson [Thu, 2 Nov 2023 20:44:00 +0000 (20:44 +0000)]
Create drivers for procedure arguments with mode view indications
Nick Gasson [Wed, 1 Nov 2023 22:45:48 +0000 (22:45 +0000)]
Semantic checks for procedure parameters with mode view indication
Nick Gasson [Wed, 1 Nov 2023 19:59:32 +0000 (19:59 +0000)]
Fix crash with assignment to null signal. Fixes #787
Blebowski [Wed, 1 Nov 2023 19:48:57 +0000 (20:48 +0100)]
Fix-up merging of non-matching coverage items and scopes. (#785)
Nick Gasson [Tue, 31 Oct 2023 18:59:58 +0000 (18:59 +0000)]
Check for and warn about emulated thread-local storage
Nick Gasson [Tue, 31 Oct 2023 18:56:21 +0000 (18:56 +0000)]
Escape backslash in symbol name on Windows
Nick Gasson [Tue, 31 Oct 2023 17:20:36 +0000 (17:20 +0000)]
Add NEVER_WAITS attribute to optimise code generation for procedures
Nick Gasson [Tue, 31 Oct 2023 15:10:50 +0000 (15:10 +0000)]
Add specialised exit handler for 'last_event
Nick Gasson [Tue, 31 Oct 2023 14:39:55 +0000 (14:39 +0000)]
Add specialised foreign calling convention for internal routines
Nick Gasson [Tue, 31 Oct 2023 12:19:43 +0000 (12:19 +0000)]
Fix occasional JIT compilation failure due to too-small code buffer
Nick Gasson [Mon, 30 Oct 2023 20:37:26 +0000 (20:37 +0000)]
Add intrinsics for more IEEE.MATH_REAL operations
Nick Gasson [Mon, 30 Oct 2023 20:04:58 +0000 (20:04 +0000)]
Subprogram specification/body wrong way round in diagnostic hint
Nick Gasson [Sun, 29 Oct 2023 22:51:38 +0000 (22:51 +0000)]
Elaborate external name in alias declaration exactly once
Nick Gasson [Sun, 29 Oct 2023 20:28:24 +0000 (20:28 +0000)]
Check relative pathname for enclosing concurrent region
Nick Gasson [Sun, 29 Oct 2023 20:18:33 +0000 (20:18 +0000)]
Elaborate external names as callback from code generation
Fixes #709
Nick Gasson [Sun, 29 Oct 2023 17:21:20 +0000 (17:21 +0000)]
Improve checking for external names with array subtype indication
Nick Gasson [Sun, 29 Oct 2023 15:51:04 +0000 (15:51 +0000)]
Test dumping external names
Nick Gasson [Sun, 29 Oct 2023 15:47:02 +0000 (15:47 +0000)]
Preserve declarations when simplifying case-generate statement
Nick Gasson [Sun, 29 Oct 2023 15:46:22 +0000 (15:46 +0000)]
Add jit_for_thread helper function
Nick Gasson [Sun, 29 Oct 2023 15:45:30 +0000 (15:45 +0000)]
Make hash_iter skip over deleted items
Nick Gasson [Fri, 27 Oct 2023 21:06:21 +0000 (22:06 +0100)]
Visibility issue with block name in configuration
Fixes #783
Nick Gasson [Fri, 27 Oct 2023 18:49:22 +0000 (19:49 +0100)]
Fix crash folding package constant. Issue #782
Nick Gasson [Fri, 27 Oct 2023 18:38:16 +0000 (19:38 +0100)]
Fix crash after malformed generate statement
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add TCL echo command
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add conversion functions for Verilog/VHDL interface boundary
sean-anderson-seco [Mon, 23 Oct 2023 20:42:36 +0000 (16:42 -0400)]
Fix some typos and grammatical errors in documentation (#779)
Fix a few errors I noticed while reading about FSM coverage.
Nick Gasson [Mon, 23 Oct 2023 20:41:59 +0000 (21:41 +0100)]
Split src/rt/cover.c into multiple files (#780)
Nick Gasson [Mon, 23 Oct 2023 17:41:13 +0000 (18:41 +0100)]
Improve checking for invalid library name. Issue #778
Blebowski [Mon, 23 Oct 2023 17:18:58 +0000 (19:18 +0200)]
Refactoring of cover. (#777)
src, test: Refactoring of cover. Rename "tag" to "item", and "tagging" to "data".
Nick Gasson [Sun, 22 Oct 2023 16:00:19 +0000 (17:00 +0100)]
Parse Verilog inout ports
Nick Gasson [Sun, 22 Oct 2023 15:55:53 +0000 (16:55 +0100)]
Parse Verilog timescale directive
Nick Gasson [Sun, 22 Oct 2023 14:51:14 +0000 (15:51 +0100)]
Integrate Verilog preprocessor with parser
Nick Gasson [Sun, 22 Oct 2023 14:06:13 +0000 (15:06 +0100)]
Error if signal has more than 2^31 sub-elements
Nick Gasson [Sat, 21 Oct 2023 13:55:57 +0000 (14:55 +0100)]
Create implicit aliases for predefined operators of a type
Fixes #776
Nick Gasson [Sun, 22 Oct 2023 13:25:14 +0000 (14:25 +0100)]
Generate unique name mangling for predefined functions
Nick Gasson [Sun, 22 Oct 2023 10:50:19 +0000 (11:50 +0100)]
Exclude Verilog preprocessor from coverage collection
Nick Gasson [Sun, 22 Oct 2023 10:49:07 +0000 (11:49 +0100)]
Add NEWS.md item for FSM state coverage
Blebowski [Sun, 22 Oct 2023 10:46:54 +0000 (12:46 +0200)]
FSM state coverage. (#771)
Nick Gasson [Sat, 21 Oct 2023 10:05:20 +0000 (11:05 +0100)]
Fix race condition in arena_by_name
Nick Gasson [Sat, 21 Oct 2023 09:34:45 +0000 (10:34 +0100)]
Add Verilog preprocessor step
Nick Gasson [Sat, 21 Oct 2023 08:37:11 +0000 (09:37 +0100)]
Fix uninitialised variable warning in eval.c
Nick Gasson [Fri, 20 Oct 2023 18:21:25 +0000 (19:21 +0100)]
Remove the unsupported --enable-jit configure option
Issue 775
Nick Gasson [Thu, 19 Oct 2023 18:25:35 +0000 (19:25 +0100)]
Use master branch of cocotb for regression tests
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Move PSL dumper test to test_dump.c
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Add PSL until and until_ FL operators
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Support cycle count in PSL next operator
Nick Gasson [Tue, 17 Oct 2023 20:18:21 +0000 (21:18 +0100)]
Type conversion between arrays with closely related elements
Nick Gasson [Tue, 17 Oct 2023 19:34:56 +0000 (20:34 +0100)]
Improve checking for closely related types
Nick Gasson [Mon, 16 Oct 2023 16:40:19 +0000 (17:40 +0100)]
Sync NEWS.md from 1.10 branch
Nick Gasson [Mon, 16 Oct 2023 16:05:36 +0000 (17:05 +0100)]
Make generated .deb file names unique
Nick Gasson [Mon, 16 Oct 2023 15:14:20 +0000 (16:14 +0100)]
Missing bounds check for aggregate with range association
Nick Gasson [Mon, 16 Oct 2023 14:45:19 +0000 (15:45 +0100)]
Add configure check for gettid. Fixes #774
Nick Gasson [Mon, 16 Oct 2023 13:39:33 +0000 (14:39 +0100)]
Add more external projects to regression tests
Nick Gasson [Mon, 16 Oct 2023 13:30:45 +0000 (14:30 +0100)]
Fold locally static expressions with array type
Nick Gasson [Sun, 15 Oct 2023 21:07:06 +0000 (22:07 +0100)]
Fix vhpi_get_value checks for too-small format
Nick Gasson [Sun, 15 Oct 2023 20:49:30 +0000 (21:49 +0100)]
Relax format checks in vhpi_get_value for integral types
Nick Gasson [Sun, 15 Oct 2023 20:18:08 +0000 (21:18 +0100)]
Fix crash after --relaxed warning. Issue #770
Nick Gasson [Sun, 15 Oct 2023 20:10:55 +0000 (21:10 +0100)]
Fix cyclic dependency bug with "use work.all"
Fixes #769
Nick Gasson [Sat, 14 Oct 2023 20:27:04 +0000 (21:27 +0100)]
Fix crash with unconstrained field in record aggregate
Issue #768
Nick Gasson [Sat, 14 Oct 2023 20:43:58 +0000 (21:43 +0100)]
Avoid crash with unsupported case choice expression
Nick Gasson [Thu, 12 Oct 2023 19:26:12 +0000 (20:26 +0100)]
Add layout_of variant for signal types
Nick Gasson [Thu, 12 Oct 2023 10:31:08 +0000 (11:31 +0100)]
Handle records with globally static element bounds in VHPI
Nick Gasson [Thu, 12 Oct 2023 10:49:59 +0000 (11:49 +0100)]
Rename lower_const_bounds to type_const_bounds and make it public
Nick Gasson [Tue, 10 Oct 2023 19:23:19 +0000 (20:23 +0100)]
Verilog continuous assignment and binary "&"
Nick Gasson [Tue, 10 Oct 2023 18:47:17 +0000 (19:47 +0100)]
Verilog blocking assignment
Nick Gasson [Sat, 7 Oct 2023 19:20:36 +0000 (20:20 +0100)]
Add mechanism for storing comments in code blobs
Nick Gasson [Sat, 7 Oct 2023 16:12:37 +0000 (17:12 +0100)]
Add missing ASAN_OPTIONS to GitHub Actions workflow
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Use same JIT instance for elaboration and AOT code generation
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Preserve JIT state between elaboration and runtime
Nick Gasson [Sat, 7 Oct 2023 10:05:26 +0000 (11:05 +0100)]
Store the tag number rather than raw pointer in toggle callback
Nick Gasson [Sat, 7 Oct 2023 09:28:13 +0000 (10:28 +0100)]
Missing length checks for some ports with globally static bounds
Nick Gasson [Fri, 6 Oct 2023 17:34:52 +0000 (18:34 +0100)]
Add --vhpi-debug option for verbose VHPI error reporting
Nick Gasson [Thu, 5 Oct 2023 18:50:40 +0000 (19:50 +0100)]
Avoid repeated calls to realpath(3) when printing diagnostics
Nick Gasson [Thu, 5 Oct 2023 18:50:40 +0000 (19:50 +0100)]
Improve overload resolution when argument is known to have character type
Nick Gasson [Wed, 4 Oct 2023 19:59:01 +0000 (20:59 +0100)]
Shrink textio LINE_BUFFER_SIZE for more efficient allocation
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Implement LCS2016-032 changes to instance/path name
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Simplify lowering of 'instance_name and 'path_name
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Parsing for Verilog binary & and | operators
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Vcode thunks no longer have parameters
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Remove unused scope_flags_t
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Reduce garbage collections caused by STD.TEXTIO subprograms
Nick Gasson [Tue, 3 Oct 2023 20:30:38 +0000 (21:30 +0100)]
Revert "Temporarily enable debug mode in Debian package"
This reverts commit
72468513accce6ab3f37dfce2402acc911c25c43.
Nick Gasson [Tue, 3 Oct 2023 20:36:39 +0000 (21:36 +0100)]
Fix macOS build failure with TCL shell enabled
Nick Gasson [Mon, 2 Oct 2023 21:03:08 +0000 (22:03 +0100)]
Allow use of raw object pointer in cgen_rematerialise_object
Nick Gasson [Mon, 2 Oct 2023 19:33:59 +0000 (20:33 +0100)]
Fix bug in x86 tlab alloc stub
Nick Gasson [Mon, 2 Oct 2023 17:23:25 +0000 (18:23 +0100)]
Handle $MOVE with overlapping regions in x86 backend
Nick Gasson [Mon, 2 Oct 2023 17:22:58 +0000 (18:22 +0100)]
Fix crash during lazy code generation
Issue #766
Nick Gasson [Mon, 2 Oct 2023 17:22:58 +0000 (18:22 +0100)]
Avoid calling lower_debug_locus for bounds checks which always pass