]> git.nickg.me.uk Git - nvc.git/log
nvc.git
14 months agoAdd some tests for PSL dumper
Nick Gasson [Thu, 9 Mar 2023 17:46:23 +0000 (17:46 +0000)]
Add some tests for PSL dumper

14 months agoElaboration failure with generic function in entity. Fixes #620
Nick Gasson [Mon, 6 Mar 2023 09:04:17 +0000 (09:04 +0000)]
Elaboration failure with generic function in entity. Fixes #620

14 months agoAdd coverage-spec (#639)
Blebowski [Mon, 6 Mar 2023 08:36:44 +0000 (09:36 +0100)]
Add coverage-spec (#639)

14 months agoFix parse error with nested comments
Nick Gasson [Sun, 5 Mar 2023 19:23:02 +0000 (19:23 +0000)]
Fix parse error with nested comments

14 months agoFold references and function calls in generic maps
Nick Gasson [Sun, 5 Mar 2023 18:53:29 +0000 (18:53 +0000)]
Fold references and function calls in generic maps

14 months agoRun more VUnit tests in GHA workflow
Nick Gasson [Sun, 5 Mar 2023 18:14:40 +0000 (18:14 +0000)]
Run more VUnit tests in GHA workflow

14 months agoBe more conservative about folding generics
Nick Gasson [Sun, 5 Mar 2023 17:07:55 +0000 (17:07 +0000)]
Be more conservative about folding generics

14 months agoAdd initial support for PSL parsing. Issue #455
Nick Gasson [Mon, 25 Apr 2022 21:32:18 +0000 (22:32 +0100)]
Add initial support for PSL parsing. Issue #455

14 months agoFix handling of indexed parameter name for signal arguments
Nick Gasson [Sun, 5 Mar 2023 11:59:52 +0000 (11:59 +0000)]
Fix handling of indexed parameter name for signal arguments

14 months agoAdd configure check for fseeko. Fixes #636
Nick Gasson [Sun, 5 Mar 2023 11:19:14 +0000 (11:19 +0000)]
Add configure check for fseeko. Fixes #636

14 months agoFix incorrect handling of inertial signal assignment
Nick Gasson [Sun, 5 Mar 2023 11:06:18 +0000 (11:06 +0000)]
Fix incorrect handling of inertial signal assignment

14 months agoImplicit signal attributes are static names. Issue #640
Nick Gasson [Sun, 5 Mar 2023 10:38:42 +0000 (10:38 +0000)]
Implicit signal attributes are static names. Issue #640

14 months agoMove VHPI sources to main libnvc.a
Nick Gasson [Sun, 5 Mar 2023 10:24:35 +0000 (10:24 +0000)]
Move VHPI sources to main libnvc.a

14 months agoLower instances concurrently with elaboration
Nick Gasson [Thu, 2 Mar 2023 21:27:46 +0000 (21:27 +0000)]
Lower instances concurrently with elaboration

14 months agoRemove top_scope global variable from lower
Nick Gasson [Thu, 2 Mar 2023 19:35:26 +0000 (19:35 +0000)]
Remove top_scope global variable from lower

14 months agoAdd FST scope type for if-generate
Nick Gasson [Sat, 4 Mar 2023 21:32:14 +0000 (21:32 +0000)]
Add FST scope type for if-generate

14 months agoFix uninitialised bytes at end of debug buffer
Nick Gasson [Fri, 3 Mar 2023 21:08:05 +0000 (21:08 +0000)]
Fix uninitialised bytes at end of debug buffer

14 months agoSome test cases missing from testlist.txt
Nick Gasson [Tue, 28 Feb 2023 18:06:24 +0000 (18:06 +0000)]
Some test cases missing from testlist.txt

14 months agoUpdate entity name list parsing. (#629)
Brian Padalino [Wed, 1 Mar 2023 20:40:30 +0000 (15:40 -0500)]
Update entity name list parsing. (#629)

14 months agoFix bug in handling of enumeration literal alias with signature
Nick Gasson [Mon, 27 Feb 2023 21:49:49 +0000 (21:49 +0000)]
Fix bug in handling of enumeration literal alias with signature

14 months agoUse upstream VUnit in GitHub Actions
Nick Gasson [Mon, 27 Feb 2023 20:49:30 +0000 (20:49 +0000)]
Use upstream VUnit in GitHub Actions

14 months agoUpdate README.md and tidy features.html
Nick Gasson [Mon, 27 Feb 2023 20:49:26 +0000 (20:49 +0000)]
Update README.md and tidy features.html

14 months agoAdd length check for array type conversions
Nick Gasson [Mon, 27 Feb 2023 19:10:32 +0000 (19:10 +0000)]
Add length check for array type conversions

14 months agoAdd runtime checks for indices in type conversion. Issue #617
Nick Gasson [Sun, 26 Feb 2023 21:42:33 +0000 (21:42 +0000)]
Add runtime checks for indices in type conversion. Issue #617

14 months agoOpen files in shared mode on Windows
Nick Gasson [Sun, 26 Feb 2023 19:32:28 +0000 (19:32 +0000)]
Open files in shared mode on Windows

14 months agoAdd size hint argument to code_blob_new
Nick Gasson [Sun, 26 Feb 2023 18:01:29 +0000 (18:01 +0000)]
Add size hint argument to code_blob_new

14 months agoAdd verbose option to Coverage Report generation. (#632)
Blebowski [Sun, 26 Feb 2023 17:40:22 +0000 (18:40 +0100)]
Add verbose option to Coverage Report generation. (#632)

14 months agoAdd custom object loader to replace LLJIT
Nick Gasson [Mon, 20 Feb 2023 18:55:47 +0000 (18:55 +0000)]
Add custom object loader to replace LLJIT

14 months agoOnly copy scalar globally static expression in elab
Nick Gasson [Sat, 25 Feb 2023 15:12:11 +0000 (15:12 +0000)]
Only copy scalar globally static expression in elab

14 months agoAdd runtime checks for negative delays. Issue #633
Nick Gasson [Sat, 25 Feb 2023 15:06:12 +0000 (15:06 +0000)]
Add runtime checks for negative delays. Issue #633

14 months agoMove unconstrained array bounds computation to lower phase
Nick Gasson [Sat, 25 Feb 2023 14:47:28 +0000 (14:47 +0000)]
Move unconstrained array bounds computation to lower phase

14 months agoRemove clang-format config, add contrib/STYLE.md
Nick Gasson [Fri, 24 Feb 2023 19:59:12 +0000 (19:59 +0000)]
Remove clang-format config, add contrib/STYLE.md

14 months agoAvoid spurious compile timeout warnings
Nick Gasson [Wed, 22 Feb 2023 21:38:30 +0000 (21:38 +0000)]
Avoid spurious compile timeout warnings

14 months agoAdd LCS-2016-055a (Optional Component Ending). (#630)
Brian Padalino [Wed, 22 Feb 2023 08:54:17 +0000 (03:54 -0500)]
Add LCS-2016-055a (Optional Component Ending). (#630)

14 months agoAdd LCS-2016-006f test and status. (#631)
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.

14 months agoUse a special access token for pull request workflow
Nick Gasson [Tue, 21 Feb 2023 22:10:38 +0000 (22:10 +0000)]
Use a special access token for pull request workflow

14 months agoAdd LCS-2016-072b feature (#625)
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>
14 months agoCheck index constraints for type conversion. Issue #617
Nick Gasson [Mon, 20 Feb 2023 21:51:12 +0000 (21:51 +0000)]
Check index constraints for type conversion. Issue #617

14 months agoGive issues write permission to PR workflow
Nick Gasson [Mon, 20 Feb 2023 21:55:38 +0000 (21:55 +0000)]
Give issues write permission to PR workflow

14 months agoAdd fine-grained reporting in code coverage (#628)
Blebowski [Mon, 20 Feb 2023 22:21:26 +0000 (23:21 +0100)]
Add fine-grained reporting in code coverage (#628)

14 months agoWarn after compilation takes 10 seconds. Issue #606
Nick Gasson [Mon, 20 Feb 2023 18:03:31 +0000 (18:03 +0000)]
Warn after compilation takes 10 seconds. Issue #606

14 months agoSync NEWS.md from 1.8 branch
Nick Gasson [Sun, 19 Feb 2023 22:35:53 +0000 (22:35 +0000)]
Sync NEWS.md from 1.8 branch

14 months agoAdd experimental --jit elaboration option
Nick Gasson [Sun, 19 Feb 2023 21:47:33 +0000 (21:47 +0000)]
Add experimental --jit elaboration option

14 months agoRemove NVC_FOREIGN_OBJ
Nick Gasson [Sun, 19 Feb 2023 20:58:33 +0000 (20:58 +0000)]
Remove NVC_FOREIGN_OBJ

14 months agoFix assertion failure on race with compiler thread
Nick Gasson [Sun, 19 Feb 2023 12:22:21 +0000 (12:22 +0000)]
Fix assertion failure on race with compiler thread

14 months agoFix thread safety issues with LLVM JIT
Nick Gasson [Sun, 19 Feb 2023 11:56:28 +0000 (11:56 +0000)]
Fix thread safety issues with LLVM JIT

14 months agoAlways use predefined "=" for comparing fields
Nick Gasson [Sun, 19 Feb 2023 10:45:57 +0000 (10:45 +0000)]
Always use predefined "=" for comparing fields

14 months agoFix lock/unlock mixup in join_worker_threads
Nick Gasson [Sun, 19 Feb 2023 09:50:52 +0000 (09:50 +0000)]
Fix lock/unlock mixup in join_worker_threads

14 months agoFix use of uninitialised value in irgen_dedup_cpool
Nick Gasson [Sun, 19 Feb 2023 09:44:33 +0000 (09:44 +0000)]
Fix use of uninitialised value in irgen_dedup_cpool

14 months agoIgnore interpreter iteration limit when initialising a package
Nick Gasson [Sat, 18 Feb 2023 21:48:45 +0000 (21:48 +0000)]
Ignore interpreter iteration limit when initialising a package

14 months agoAdd write permission to pull request workflow
Nick Gasson [Sat, 18 Feb 2023 18:21:41 +0000 (18:21 +0000)]
Add write permission to pull request workflow

14 months agoFix result of 'ASCENDING will null range unconstrained array
Nick Gasson [Sat, 18 Feb 2023 16:06:17 +0000 (16:06 +0000)]
Fix result of 'ASCENDING will null range unconstrained array

14 months agoOptimise out repeated calls to sched/clear event
Nick Gasson [Sat, 18 Feb 2023 14:47:50 +0000 (14:47 +0000)]
Optimise out repeated calls to sched/clear event

14 months agoYield the CPU occasionally in workq_drain
Nick Gasson [Sat, 18 Feb 2023 14:41:33 +0000 (14:41 +0000)]
Yield the CPU occasionally in workq_drain

14 months agoFix potential race in jit_ffi_bind
Nick Gasson [Sat, 18 Feb 2023 14:18:06 +0000 (14:18 +0000)]
Fix potential race in jit_ffi_bind

14 months agoAdd parsing changes for LCS-2016-086 (#624)
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.

14 months agoDo not fold array references that may contain impure function calls
Nick Gasson [Sat, 18 Feb 2023 12:47:40 +0000 (12:47 +0000)]
Do not fold array references that may contain impure function calls

14 months agoFix event not being cleared in wait-until statements
Nick Gasson [Sat, 18 Feb 2023 11:25:10 +0000 (11:25 +0000)]
Fix event not being cleared in wait-until statements

14 months agoAdd clang-format config file
Nick Gasson [Sat, 18 Feb 2023 10:02:58 +0000 (10:02 +0000)]
Add clang-format config file

14 months agoFix parse error with alias in selected name
Nick Gasson [Sat, 18 Feb 2023 09:45:35 +0000 (09:45 +0000)]
Fix parse error with alias in selected name

14 months agoFix JIT unit test in non-debug builds
Nick Gasson [Sat, 18 Feb 2023 08:18:40 +0000 (08:18 +0000)]
Fix JIT unit test in non-debug builds

14 months agoAdd parsing changes for LCS-2016-071a (#621)
Brian Padalino [Fri, 17 Feb 2023 22:20:36 +0000 (17:20 -0500)]
Add parsing changes for LCS-2016-071a (#621)

14 months agoAdding VHDL-2019 empty record (LCS-2016-082) (#623)
Brian Padalino [Fri, 17 Feb 2023 21:37:11 +0000 (16:37 -0500)]
Adding VHDL-2019 empty record (LCS-2016-082) (#623)

14 months agoAttempt to fix intermittent windows CI failures
Nick Gasson [Fri, 17 Feb 2023 21:36:09 +0000 (21:36 +0000)]
Attempt to fix intermittent windows CI failures

14 months agoFix name comparison when search for libraries
Nick Gasson [Fri, 17 Feb 2023 21:12:17 +0000 (21:12 +0000)]
Fix name comparison when search for libraries

14 months agoFix inconsistent behaviour between --map and --work name parsing
Nick Gasson [Fri, 17 Feb 2023 18:18:21 +0000 (18:18 +0000)]
Fix inconsistent behaviour between --map and --work name parsing

14 months agoUse a condition variable to wake worker threads
Nick Gasson [Sun, 12 Feb 2023 12:05:57 +0000 (12:05 +0000)]
Use a condition variable to wake worker threads

15 months agoAdd a test of --map with versioned libraries
Nick Gasson [Thu, 16 Feb 2023 22:00:15 +0000 (22:00 +0000)]
Add a test of --map with versioned libraries

15 months agoCheck for overflow in exponentiation. Issue #592
Nick Gasson [Thu, 16 Feb 2023 21:42:22 +0000 (21:42 +0000)]
Check for overflow in exponentiation. Issue #592

15 months agoAdd pkg-config to macOS build dependencies
Nick Gasson [Thu, 16 Feb 2023 21:51:01 +0000 (21:51 +0000)]
Add pkg-config to macOS build dependencies

15 months agoDo not allow pure/impure before procedure declarations
Nick Gasson [Thu, 16 Feb 2023 21:50:27 +0000 (21:50 +0000)]
Do not allow pure/impure before procedure declarations

15 months agoFix crash with array of record subtypes. Issue #615
Nick Gasson [Tue, 14 Feb 2023 21:53:38 +0000 (21:53 +0000)]
Fix crash with array of record subtypes. Issue #615

15 months agoAllow function call to determine ports bounds. Fixes #613
Nick Gasson [Mon, 13 Feb 2023 18:52:13 +0000 (18:52 +0000)]
Allow function call to determine ports bounds. Fixes #613

15 months agoDo not use lower_default_value for signals and ports
Nick Gasson [Mon, 13 Feb 2023 20:36:19 +0000 (20:36 +0000)]
Do not use lower_default_value for signals and ports

15 months agoHandle enumeration subtypes in generic arguments. Issue #618
Nick Gasson [Sun, 12 Feb 2023 22:04:59 +0000 (22:04 +0000)]
Handle enumeration subtypes in generic arguments. Issue #618

15 months agoCompletely remove rt_net_t
Nick Gasson [Sat, 11 Feb 2023 16:49:20 +0000 (16:49 +0000)]
Completely remove rt_net_t

15 months agoTrack 'LAST_EVENT in rt_nexus_t
Nick Gasson [Sat, 11 Feb 2023 16:24:13 +0000 (16:24 +0000)]
Track 'LAST_EVENT in rt_nexus_t

15 months agoRemove explicit tracking of 'LAST_ACTIVE
Nick Gasson [Sat, 11 Feb 2023 16:19:44 +0000 (16:19 +0000)]
Remove explicit tracking of 'LAST_ACTIVE

15 months agoRemove the resolved pointer from rt_nexus_t
Nick Gasson [Sat, 11 Feb 2023 16:03:49 +0000 (16:03 +0000)]
Remove the resolved pointer from rt_nexus_t

15 months agoMake forcing value a special kind of source
Nick Gasson [Sat, 11 Feb 2023 15:12:30 +0000 (15:12 +0000)]
Make forcing value a special kind of source

15 months agoUse a tagged pointer to store the pending list
Nick Gasson [Sat, 11 Feb 2023 10:28:32 +0000 (10:28 +0000)]
Use a tagged pointer to store the pending list

15 months agoAdd fast-paths for SCHED_WAVEFORM and TEST_EVENT
Nick Gasson [Wed, 8 Feb 2023 18:44:03 +0000 (18:44 +0000)]
Add fast-paths for SCHED_WAVEFORM and TEST_EVENT

15 months agoImprove checking for issue #612 test case
Nick Gasson [Sat, 11 Feb 2023 00:11:46 +0000 (00:11 +0000)]
Improve checking for issue #612 test case

15 months agoFix crash calling foreign functions with many arguments. Issue #612
Nick Gasson [Wed, 8 Feb 2023 22:04:29 +0000 (22:04 +0000)]
Fix crash calling foreign functions with many arguments. Issue #612

15 months agoSimplify handling of signal events
Nick Gasson [Fri, 10 Feb 2023 21:11:33 +0000 (21:11 +0000)]
Simplify handling of signal events

15 months agoAdd a debug interface to query the name of a symbol
Nick Gasson [Fri, 10 Feb 2023 21:15:43 +0000 (21:15 +0000)]
Add a debug interface to query the name of a symbol

15 months agoAdd fast-paths for SCHED_WAVEFORM and TEST_EVENT
Nick Gasson [Wed, 8 Feb 2023 18:44:03 +0000 (18:44 +0000)]
Add fast-paths for SCHED_WAVEFORM and TEST_EVENT

15 months agoRename $RESTORE to $TRIM
Nick Gasson [Wed, 8 Feb 2023 17:37:39 +0000 (17:37 +0000)]
Rename $RESTORE to $TRIM

15 months agoRemove legacy code generator from cgen.c
Nick Gasson [Tue, 7 Feb 2023 21:37:31 +0000 (21:37 +0000)]
Remove legacy code generator from cgen.c

15 months agoTrim local allocation buffer on return from function/procedure
Nick Gasson [Tue, 7 Feb 2023 21:05:45 +0000 (21:05 +0000)]
Trim local allocation buffer on return from function/procedure

15 months agoCover exclude unreachable (#611)
Blebowski [Tue, 7 Feb 2023 19:23:40 +0000 (20:23 +0100)]
Cover exclude unreachable (#611)

15 months agoFix Windows wave test failures due to mismatched line endings
Nick Gasson [Mon, 6 Feb 2023 19:25:51 +0000 (19:25 +0000)]
Fix Windows wave test failures due to mismatched line endings

15 months agoReimplement stateless processes in JIT code generator
Nick Gasson [Mon, 6 Feb 2023 19:00:02 +0000 (19:00 +0000)]
Reimplement stateless processes in JIT code generator

15 months agoImplement 'TRANSACTION as a true implicit signal
Nick Gasson [Sun, 5 Feb 2023 21:07:39 +0000 (21:07 +0000)]
Implement 'TRANSACTION as a true implicit signal

15 months agoConstruct equivalent process for non-static actual in lower phase
Nick Gasson [Sun, 5 Feb 2023 20:28:38 +0000 (20:28 +0000)]
Construct equivalent process for non-static actual in lower phase

15 months agoRefactor translation of 'DELAYED implicit signal. Issue #603
Nick Gasson [Sun, 5 Feb 2023 11:18:00 +0000 (11:18 +0000)]
Refactor translation of 'DELAYED implicit signal. Issue #603

15 months agoTry harder to avoid creating LLVM phi nodes. Issue #608
Nick Gasson [Sat, 4 Feb 2023 16:25:12 +0000 (16:25 +0000)]
Try harder to avoid creating LLVM phi nodes. Issue #608

15 months agoFix liveness calculation for $COPY count argument. Issue #608
Nick Gasson [Sat, 4 Feb 2023 15:57:06 +0000 (15:57 +0000)]
Fix liveness calculation for $COPY count argument. Issue #608

15 months agoRename test case issue608.vhd to issue609.vhd. Fixes #609
Nick Gasson [Sat, 4 Feb 2023 14:45:55 +0000 (14:45 +0000)]
Rename test case issue608.vhd to issue609.vhd. Fixes #609

15 months agoLost events after splitting signal. Fixes #608
Nick Gasson [Sat, 4 Feb 2023 14:22:32 +0000 (14:22 +0000)]
Lost events after splitting signal. Fixes #608