]>
git.nickg.me.uk Git - nvc.git/log
Blebowski [Wed, 15 Mar 2023 17:13:50 +0000 (18:13 +0100)]
Parse "assume_directive", "cover_directive" and optional "report". (#649)
Nick Gasson [Tue, 14 Mar 2023 19:53:20 +0000 (19:53 +0000)]
Simplify handling of subtype constraints
Nick Gasson [Mon, 13 Mar 2023 17:47:03 +0000 (17:47 +0000)]
Optimise LLVM real to integer conversion
Nick Gasson [Mon, 13 Mar 2023 17:20:02 +0000 (17:20 +0000)]
Add "nounwind" attribute to all LLVM function declarations
Nick Gasson [Sun, 12 Mar 2023 22:39:04 +0000 (22:39 +0000)]
Add missing issue646.vhd to testlist.txt
Nick Gasson [Sun, 12 Mar 2023 19:24:35 +0000 (19:24 +0000)]
Allow more cases of reading signal value during elaboration. Issue #640
Nick Gasson [Sun, 12 Mar 2023 22:15:43 +0000 (22:15 +0000)]
Avoid generating resolved value in prefix of attributes
Nick Gasson [Sun, 12 Mar 2023 21:33:46 +0000 (21:33 +0000)]
Sync FST code to GtkWave
816166e9
Nick Gasson [Sun, 12 Mar 2023 16:19:53 +0000 (16:19 +0000)]
Add optional support for using libzstd to compress library files
Nick Gasson [Sun, 12 Mar 2023 14:56:22 +0000 (14:56 +0000)]
Optimise varint decoding in fbuf_get_uint
Blebowski [Sun, 12 Mar 2023 11:43:13 +0000 (12:43 +0100)]
Add --define option for conditional analysis identifiers (#647)
Nick Gasson [Sun, 12 Mar 2023 08:59:36 +0000 (08:59 +0000)]
Implement remaining VHDL-2019 file operations
Nick Gasson [Sat, 11 Mar 2023 22:25:50 +0000 (22:25 +0000)]
Implement FILE_MODE and FILE_STATE
Nick Gasson [Sat, 11 Mar 2023 19:26:16 +0000 (19:26 +0000)]
Implement FILE_TRUNCATE procedure
Nick Gasson [Sat, 11 Mar 2023 18:14:45 +0000 (18:14 +0000)]
Implement FILE_OPEN impure function from VHDL-2019
Nick Gasson [Sat, 11 Mar 2023 16:57:23 +0000 (16:57 +0000)]
Optimise interp_get_value
Nick Gasson [Sat, 11 Mar 2023 15:27:22 +0000 (15:27 +0000)]
Batch update for all drivers in signal
Nick Gasson [Sat, 11 Mar 2023 17:24:56 +0000 (17:24 +0000)]
Limit maximum threads to eight by default
Nick Gasson [Fri, 10 Mar 2023 21:03:38 +0000 (21:03 +0000)]
Add READ_WRITE_MODE, FILE_SEEK, and FILE_REWIND from VHDL-2019
Nick Gasson [Fri, 10 Mar 2023 20:08:20 +0000 (20:08 +0000)]
Pass explicit length argument for foreign subprograms
Nick Gasson [Fri, 10 Mar 2023 19:18:41 +0000 (19:18 +0000)]
Parse Verilog continuous assignment
Nick Gasson [Fri, 10 Mar 2023 16:43:50 +0000 (16:43 +0000)]
Crash with matching case statement on unconstrained array. Fixes #643
Nick Gasson [Sat, 1 Jan 2022 06:21:27 +0000 (14:21 +0800)]
Add stub for Verilog parser
Nick Gasson [Fri, 10 Mar 2023 13:24:16 +0000 (13:24 +0000)]
Fix compatibility with old versions of check
Nick Gasson [Fri, 10 Mar 2023 10:36:13 +0000 (10:36 +0000)]
Lowering for PSL clocks
Nick Gasson [Fri, 10 Mar 2023 10:11:28 +0000 (10:11 +0000)]
Attach PSL clock declaration to properties
Nick Gasson [Thu, 9 Mar 2023 17:46:23 +0000 (17:46 +0000)]
Add some tests for PSL dumper
Nick Gasson [Mon, 6 Mar 2023 09:04:17 +0000 (09:04 +0000)]
Elaboration failure with generic function in entity. Fixes #620
Blebowski [Mon, 6 Mar 2023 08:36:44 +0000 (09:36 +0100)]
Add coverage-spec (#639)
Nick Gasson [Sun, 5 Mar 2023 19:23:02 +0000 (19:23 +0000)]
Fix parse error with nested comments
Nick Gasson [Sun, 5 Mar 2023 18:53:29 +0000 (18:53 +0000)]
Fold references and function calls in generic maps
Nick Gasson [Sun, 5 Mar 2023 18:14:40 +0000 (18:14 +0000)]
Run more VUnit tests in GHA workflow
Nick Gasson [Sun, 5 Mar 2023 17:07:55 +0000 (17:07 +0000)]
Be more conservative about folding generics
Nick Gasson [Mon, 25 Apr 2022 21:32:18 +0000 (22:32 +0100)]
Add initial support for PSL parsing. Issue #455
Nick Gasson [Sun, 5 Mar 2023 11:59:52 +0000 (11:59 +0000)]
Fix handling of indexed parameter name for signal arguments
Nick Gasson [Sun, 5 Mar 2023 11:19:14 +0000 (11:19 +0000)]
Add configure check for fseeko. Fixes #636
Nick Gasson [Sun, 5 Mar 2023 11:06:18 +0000 (11:06 +0000)]
Fix incorrect handling of inertial signal assignment
Nick Gasson [Sun, 5 Mar 2023 10:38:42 +0000 (10:38 +0000)]
Implicit signal attributes are static names. Issue #640
Nick Gasson [Sun, 5 Mar 2023 10:24:35 +0000 (10:24 +0000)]
Move VHPI sources to main libnvc.a
Nick Gasson [Thu, 2 Mar 2023 21:27:46 +0000 (21:27 +0000)]
Lower instances concurrently with elaboration
Nick Gasson [Thu, 2 Mar 2023 19:35:26 +0000 (19:35 +0000)]
Remove top_scope global variable from lower
Nick Gasson [Sat, 4 Mar 2023 21:32:14 +0000 (21:32 +0000)]
Add FST scope type for if-generate
Nick Gasson [Fri, 3 Mar 2023 21:08:05 +0000 (21:08 +0000)]
Fix uninitialised bytes at end of debug buffer
Nick Gasson [Tue, 28 Feb 2023 18:06:24 +0000 (18:06 +0000)]
Some test cases missing from testlist.txt
Brian Padalino [Wed, 1 Mar 2023 20:40:30 +0000 (15:40 -0500)]
Update entity name list parsing. (#629)
Nick Gasson [Mon, 27 Feb 2023 21:49:49 +0000 (21:49 +0000)]
Fix bug in handling of enumeration literal alias with signature
Nick Gasson [Mon, 27 Feb 2023 20:49:30 +0000 (20:49 +0000)]
Use upstream VUnit in GitHub Actions
Nick Gasson [Mon, 27 Feb 2023 20:49:26 +0000 (20:49 +0000)]
Update README.md and tidy features.html
Nick Gasson [Mon, 27 Feb 2023 19:10:32 +0000 (19:10 +0000)]
Add length check for array type conversions
Nick Gasson [Sun, 26 Feb 2023 21:42:33 +0000 (21:42 +0000)]
Add runtime checks for indices in type conversion. Issue #617
Nick Gasson [Sun, 26 Feb 2023 19:32:28 +0000 (19:32 +0000)]
Open files in shared mode on Windows
Nick Gasson [Sun, 26 Feb 2023 18:01:29 +0000 (18:01 +0000)]
Add size hint argument to code_blob_new
Blebowski [Sun, 26 Feb 2023 17:40:22 +0000 (18:40 +0100)]
Add verbose option to Coverage Report generation. (#632)
Nick Gasson [Mon, 20 Feb 2023 18:55:47 +0000 (18:55 +0000)]
Add custom object loader to replace LLJIT
Nick Gasson [Sat, 25 Feb 2023 15:12:11 +0000 (15:12 +0000)]
Only copy scalar globally static expression in elab
Nick Gasson [Sat, 25 Feb 2023 15:06:12 +0000 (15:06 +0000)]
Add runtime checks for negative delays. Issue #633
Nick Gasson [Sat, 25 Feb 2023 14:47:28 +0000 (14:47 +0000)]
Move unconstrained array bounds computation to lower phase
Nick Gasson [Fri, 24 Feb 2023 19:59:12 +0000 (19:59 +0000)]
Remove clang-format config, add contrib/STYLE.md
Nick Gasson [Wed, 22 Feb 2023 21:38:30 +0000 (21:38 +0000)]
Avoid spurious compile timeout warnings
Brian Padalino [Wed, 22 Feb 2023 08:54:17 +0000 (03:54 -0500)]
Add LCS-2016-055a (Optional Component Ending). (#630)
Brian Padalino [Tue, 21 Feb 2023 22:11:31 +0000 (17:11 -0500)]
Add LCS-2016-006f test and status. (#631)
Functionality was previously created.
Nick Gasson [Tue, 21 Feb 2023 22:10:38 +0000 (22:10 +0000)]
Use a special access token for pull request workflow
Brian Padalino [Tue, 21 Feb 2023 19:59:17 +0000 (14:59 -0500)]
Add LCS-2016-072b feature (#625)
Co-authored-by: Nick Gasson <nick@nickg.me.uk>
Nick Gasson [Mon, 20 Feb 2023 21:51:12 +0000 (21:51 +0000)]
Check index constraints for type conversion. Issue #617
Nick Gasson [Mon, 20 Feb 2023 21:55:38 +0000 (21:55 +0000)]
Give issues write permission to PR workflow
Blebowski [Mon, 20 Feb 2023 22:21:26 +0000 (23:21 +0100)]
Add fine-grained reporting in code coverage (#628)
Nick Gasson [Mon, 20 Feb 2023 18:03:31 +0000 (18:03 +0000)]
Warn after compilation takes 10 seconds. Issue #606
Nick Gasson [Sun, 19 Feb 2023 22:35:53 +0000 (22:35 +0000)]
Sync NEWS.md from 1.8 branch
Nick Gasson [Sun, 19 Feb 2023 21:47:33 +0000 (21:47 +0000)]
Add experimental --jit elaboration option
Nick Gasson [Sun, 19 Feb 2023 20:58:33 +0000 (20:58 +0000)]
Remove NVC_FOREIGN_OBJ
Nick Gasson [Sun, 19 Feb 2023 12:22:21 +0000 (12:22 +0000)]
Fix assertion failure on race with compiler thread
Nick Gasson [Sun, 19 Feb 2023 11:56:28 +0000 (11:56 +0000)]
Fix thread safety issues with LLVM JIT
Nick Gasson [Sun, 19 Feb 2023 10:45:57 +0000 (10:45 +0000)]
Always use predefined "=" for comparing fields
Nick Gasson [Sun, 19 Feb 2023 09:50:52 +0000 (09:50 +0000)]
Fix lock/unlock mixup in join_worker_threads
Nick Gasson [Sun, 19 Feb 2023 09:44:33 +0000 (09:44 +0000)]
Fix use of uninitialised value in irgen_dedup_cpool
Nick Gasson [Sat, 18 Feb 2023 21:48:45 +0000 (21:48 +0000)]
Ignore interpreter iteration limit when initialising a package
Nick Gasson [Sat, 18 Feb 2023 18:21:41 +0000 (18:21 +0000)]
Add write permission to pull request workflow
Nick Gasson [Sat, 18 Feb 2023 16:06:17 +0000 (16:06 +0000)]
Fix result of 'ASCENDING will null range unconstrained array
Nick Gasson [Sat, 18 Feb 2023 14:47:50 +0000 (14:47 +0000)]
Optimise out repeated calls to sched/clear event
Nick Gasson [Sat, 18 Feb 2023 14:41:33 +0000 (14:41 +0000)]
Yield the CPU occasionally in workq_drain
Nick Gasson [Sat, 18 Feb 2023 14:18:06 +0000 (14:18 +0000)]
Fix potential race in jit_ffi_bind
Brian Padalino [Sat, 18 Feb 2023 16:39:11 +0000 (11:39 -0500)]
Add parsing changes for LCS-2016-086 (#624)
All interface lists can be ordered.
This allows for entities and subprograms to reference earlier
elements in the interface list.
Nick Gasson [Sat, 18 Feb 2023 12:47:40 +0000 (12:47 +0000)]
Do not fold array references that may contain impure function calls
Nick Gasson [Sat, 18 Feb 2023 11:25:10 +0000 (11:25 +0000)]
Fix event not being cleared in wait-until statements
Nick Gasson [Sat, 18 Feb 2023 10:02:58 +0000 (10:02 +0000)]
Add clang-format config file
Nick Gasson [Sat, 18 Feb 2023 09:45:35 +0000 (09:45 +0000)]
Fix parse error with alias in selected name
Nick Gasson [Sat, 18 Feb 2023 08:18:40 +0000 (08:18 +0000)]
Fix JIT unit test in non-debug builds
Brian Padalino [Fri, 17 Feb 2023 22:20:36 +0000 (17:20 -0500)]
Add parsing changes for LCS-2016-071a (#621)
Brian Padalino [Fri, 17 Feb 2023 21:37:11 +0000 (16:37 -0500)]
Adding VHDL-2019 empty record (LCS-2016-082) (#623)
Nick Gasson [Fri, 17 Feb 2023 21:36:09 +0000 (21:36 +0000)]
Attempt to fix intermittent windows CI failures
Nick Gasson [Fri, 17 Feb 2023 21:12:17 +0000 (21:12 +0000)]
Fix name comparison when search for libraries
Nick Gasson [Fri, 17 Feb 2023 18:18:21 +0000 (18:18 +0000)]
Fix inconsistent behaviour between --map and --work name parsing
Nick Gasson [Sun, 12 Feb 2023 12:05:57 +0000 (12:05 +0000)]
Use a condition variable to wake worker threads
Nick Gasson [Thu, 16 Feb 2023 22:00:15 +0000 (22:00 +0000)]
Add a test of --map with versioned libraries
Nick Gasson [Thu, 16 Feb 2023 21:42:22 +0000 (21:42 +0000)]
Check for overflow in exponentiation. Issue #592
Nick Gasson [Thu, 16 Feb 2023 21:51:01 +0000 (21:51 +0000)]
Add pkg-config to macOS build dependencies
Nick Gasson [Thu, 16 Feb 2023 21:50:27 +0000 (21:50 +0000)]
Do not allow pure/impure before procedure declarations
Nick Gasson [Tue, 14 Feb 2023 21:53:38 +0000 (21:53 +0000)]
Fix crash with array of record subtypes. Issue #615
Nick Gasson [Mon, 13 Feb 2023 18:52:13 +0000 (18:52 +0000)]
Allow function call to determine ports bounds. Fixes #613
Nick Gasson [Mon, 13 Feb 2023 20:36:19 +0000 (20:36 +0000)]
Do not use lower_default_value for signals and ports