]>
git.nickg.me.uk Git - nvc.git/log
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
Nick Gasson [Mon, 2 Oct 2023 17:22:58 +0000 (18:22 +0100)]
Simplify some basic expressions without generating code
Nick Gasson [Sun, 1 Oct 2023 10:17:43 +0000 (11:17 +0100)]
Fix intermittent crash with LLVM JIT
Nick Gasson [Sun, 1 Oct 2023 08:28:45 +0000 (09:28 +0100)]
Switch back to master branch of Microwatt for regression tests
Nick Gasson [Sat, 30 Sep 2023 19:43:42 +0000 (20:43 +0100)]
Temporarily enable debug mode in Debian package
Nick Gasson [Sat, 30 Sep 2023 19:24:05 +0000 (20:24 +0100)]
Fix crash with concurrent assignment to array of records
Fixes #765
Nick Gasson [Sat, 30 Sep 2023 11:27:30 +0000 (12:27 +0100)]
Fix unused variable warnings
Nick Gasson [Sat, 30 Sep 2023 10:38:35 +0000 (11:38 +0100)]
Add cocotb to regression tests
Nick Gasson [Sat, 30 Sep 2023 10:13:33 +0000 (11:13 +0100)]
Fix assertion failure lowering reference to alias
Nick Gasson [Sat, 30 Sep 2023 09:51:05 +0000 (10:51 +0100)]
Fix occasional install failure with make -j
Nick Gasson [Fri, 29 Sep 2023 16:23:11 +0000 (17:23 +0100)]
Fix VHPI crash with non-static signal bounds
Nick Gasson [Thu, 28 Sep 2023 20:59:58 +0000 (21:59 +0100)]
Add Grlib to regression tests
Nick Gasson [Thu, 28 Sep 2023 20:59:26 +0000 (21:59 +0100)]
Tweak handling of pragmas outside of design units
Nick Gasson [Wed, 27 Sep 2023 20:36:58 +0000 (21:36 +0100)]
Switch from pkg-config to pkgconf on MSYS2
Nick Gasson [Wed, 27 Sep 2023 19:14:47 +0000 (20:14 +0100)]
Remove dependency initialisation code from model
Nick Gasson [Tue, 26 Sep 2023 22:04:19 +0000 (23:04 +0100)]
LLVM JIT no longer uses LLJIT interface
Nick Gasson [Tue, 26 Sep 2023 21:30:20 +0000 (22:30 +0100)]
Respect Linux CPU affinity when calculating maximum number of threads
Nick Gasson [Tue, 26 Sep 2023 20:43:21 +0000 (21:43 +0100)]
Add script to install Free Model Foundry common packages
Nick Gasson [Tue, 26 Sep 2023 20:07:57 +0000 (21:07 +0100)]
Fix visibility in block statement generic map
Nick Gasson [Mon, 25 Sep 2023 16:51:53 +0000 (17:51 +0100)]
Additional checking for LCS2016-059
Brian Padalino [Mon, 25 Sep 2023 16:03:22 +0000 (12:03 -0400)]
Add VHDL-2019 for VUnit library installation. (#764)
Nick Gasson [Sun, 24 Sep 2023 20:16:29 +0000 (21:16 +0100)]
Refactor subprogram overload resolution
Issue #761
Nick Gasson [Sun, 24 Sep 2023 21:36:28 +0000 (22:36 +0100)]
Stop including deprecated LLVM headers in cgen.c
Nick Gasson [Fri, 22 Sep 2023 19:43:01 +0000 (20:43 +0100)]
Lowering for Verilog variables with packed dimensions
Nick Gasson [Fri, 22 Sep 2023 10:45:01 +0000 (11:45 +0100)]
Detect Bison -Wcounterexamples support in configure script
Nick Gasson [Fri, 22 Sep 2023 10:37:22 +0000 (11:37 +0100)]
Lowering for Verilog if statements
Nick Gasson [Thu, 21 Sep 2023 21:13:41 +0000 (22:13 +0100)]
Lowering for Verilog delay control
Nick Gasson [Tue, 19 Sep 2023 19:49:17 +0000 (20:49 +0100)]
Look up VHPI array subtype bounds dynamically from JIT
Issue #762
Nick Gasson [Tue, 19 Sep 2023 18:19:48 +0000 (19:19 +0100)]
Optimise unsigned addition with natural
Nick Gasson [Tue, 19 Sep 2023 18:19:48 +0000 (19:19 +0100)]
Optimise equals operator for standard enum vector types
Nick Gasson [Tue, 19 Sep 2023 18:19:48 +0000 (19:19 +0100)]
Optimised subtract operation for signed/unsigned types
Nick Gasson [Tue, 19 Sep 2023 18:19:48 +0000 (19:19 +0100)]
Optimised multiply operation for signed/unsigned types
Nick Gasson [Tue, 19 Sep 2023 18:19:48 +0000 (19:19 +0100)]
Do not build VHPI model until design fully initialised
Nick Gasson [Mon, 18 Sep 2023 20:46:24 +0000 (21:46 +0100)]
Lower declarations in a single pass
Nick Gasson [Mon, 18 Sep 2023 20:44:12 +0000 (21:44 +0100)]
Avoid repeated evaluation of array bounds in aggregate
Nick Gasson [Mon, 18 Sep 2023 20:14:44 +0000 (21:14 +0100)]
Store non-constant subtype bounds in a variable
Nick Gasson [Sun, 17 Sep 2023 20:36:44 +0000 (21:36 +0100)]
Sync NEWS.md from 1.10 branch
Nick Gasson [Sun, 17 Sep 2023 19:15:09 +0000 (20:15 +0100)]
Bump OSVVM version to 2023.07