]> git.nickg.me.uk Git - nvc.git/log
nvc.git
8 hours agoImprove checking for case expressions with non-locally-static subtypes master github/master sr.ht/master
Nick Gasson [Thu, 16 May 2024 21:12:12 +0000 (22:12 +0100)]
Improve checking for case expressions with non-locally-static subtypes

32 hours agoSync NEWS.md from 1.12 branch
Nick Gasson [Wed, 15 May 2024 21:22:52 +0000 (22:22 +0100)]
Sync NEWS.md from 1.12 branch

33 hours agoFix issue #887 for Windows and macOS
Nick Gasson [Wed, 15 May 2024 19:43:11 +0000 (20:43 +0100)]
Fix issue #887 for Windows and macOS

2 days agoDo not assume JIT entry point at start of first ELF section
Nick Gasson [Tue, 14 May 2024 20:37:11 +0000 (21:37 +0100)]
Do not assume JIT entry point at start of first ELF section

Issue #887

2 days agoUse a separate tree node for loops without conditions
Nick Gasson [Tue, 14 May 2024 18:46:09 +0000 (19:46 +0100)]
Use a separate tree node for loops without conditions

3 days agoImprove debug output for JIT code crashes. Issue #887
Nick Gasson [Mon, 13 May 2024 20:58:07 +0000 (21:58 +0100)]
Improve debug output for JIT code crashes. Issue #887

3 days agoUpdate install instructions for Windows users
Nick Gasson [Mon, 13 May 2024 20:38:01 +0000 (21:38 +0100)]
Update install instructions for Windows users

3 days agoImprove error message if inertial port map actual fails bounds check
Nick Gasson [Mon, 13 May 2024 20:33:02 +0000 (21:33 +0100)]
Improve error message if inertial port map actual fails bounds check

Issue #883

4 days agoFix crash when 'transaction is used with a record type
Nick Gasson [Sun, 12 May 2024 21:23:16 +0000 (22:23 +0100)]
Fix crash when 'transaction is used with a record type

4 days agoMore fixes for components with package or type generics. Issue #883
Nick Gasson [Sun, 12 May 2024 20:56:08 +0000 (21:56 +0100)]
More fixes for components with package or type generics. Issue #883

7 days agoSync NEWS.md from 1.12 branch
Nick Gasson [Thu, 9 May 2024 19:27:16 +0000 (20:27 +0100)]
Sync NEWS.md from 1.12 branch

7 days agoAdjust MSI version string for point releases
Nick Gasson [Thu, 9 May 2024 19:23:42 +0000 (20:23 +0100)]
Adjust MSI version string for point releases

8 days agoGeneric actuals do not need to be globally static. Fixes #886
Nick Gasson [Wed, 8 May 2024 20:43:02 +0000 (21:43 +0100)]
Generic actuals do not need to be globally static. Fixes #886

11 days agoFix handling of configurations and components with package generics
Nick Gasson [Sun, 5 May 2024 18:12:30 +0000 (19:12 +0100)]
Fix handling of configurations and components with package generics

11 days agoImprove checking for components with package generics
Nick Gasson [Sun, 5 May 2024 13:53:43 +0000 (14:53 +0100)]
Improve checking for components with package generics

11 days agoFix configurations where components have generic types
Nick Gasson [Sun, 5 May 2024 12:01:10 +0000 (13:01 +0100)]
Fix configurations where components have generic types

11 days agoAllow elaboration of components with type generics
Nick Gasson [Sun, 5 May 2024 10:41:48 +0000 (11:41 +0100)]
Allow elaboration of components with type generics

12 days agoDelay copying of configurations during elaboration
Nick Gasson [Sat, 4 May 2024 14:33:15 +0000 (15:33 +0100)]
Delay copying of configurations during elaboration

13 days agoRefactor elaboration of configurations
Nick Gasson [Fri, 3 May 2024 18:40:18 +0000 (19:40 +0100)]
Refactor elaboration of configurations

13 days agoFix crash printing active drivers at iteration limit. Fixes #885
Nick Gasson [Fri, 3 May 2024 16:49:26 +0000 (17:49 +0100)]
Fix crash printing active drivers at iteration limit. Fixes #885

2 weeks agoEnsure generic maps are visited before port maps
Nick Gasson [Wed, 1 May 2024 14:24:18 +0000 (15:24 +0100)]
Ensure generic maps are visited before port maps

2 weeks agoCheck for driver for external signal outside process. Fixes #884
Nick Gasson [Sun, 28 Apr 2024 16:57:25 +0000 (17:57 +0100)]
Check for driver for external signal outside process. Fixes #884

3 weeks agoImprove duplicate check when generating sensitivity list
Nick Gasson [Thu, 25 Apr 2024 20:42:07 +0000 (21:42 +0100)]
Improve duplicate check when generating sensitivity list

3 weeks agoFix assertion failure with procedure declared inside process (all)
Nick Gasson [Thu, 25 Apr 2024 20:37:44 +0000 (21:37 +0100)]
Fix assertion failure with procedure declared inside process (all)

Issue #882

3 weeks agoFix spurious error with generic package types in port list
Nick Gasson [Wed, 24 Apr 2024 19:41:27 +0000 (20:41 +0100)]
Fix spurious error with generic package types in port list

Fixes #881

3 weeks agoVerilog "forever" loops
Nick Gasson [Tue, 23 Apr 2024 21:46:54 +0000 (22:46 +0100)]
Verilog "forever" loops

3 weeks agoVerilog unary negation
Nick Gasson [Tue, 23 Apr 2024 19:40:58 +0000 (20:40 +0100)]
Verilog unary negation

3 weeks agoUse saturating addition for coverage counters. Issue #880
Nick Gasson [Sun, 21 Apr 2024 10:21:16 +0000 (11:21 +0100)]
Use saturating addition for coverage counters. Issue #880

3 weeks agoLowering for delays in Verilog procedural assignments
Nick Gasson [Sat, 20 Apr 2024 16:34:54 +0000 (17:34 +0100)]
Lowering for delays in Verilog procedural assignments

4 weeks agoUse deposits for Verilog blocking assignments
Nick Gasson [Thu, 18 Apr 2024 21:51:19 +0000 (22:51 +0100)]
Use deposits for Verilog blocking assignments

4 weeks agoParsing for delay in Verilog procedural assignments
Nick Gasson [Thu, 18 Apr 2024 20:40:22 +0000 (21:40 +0100)]
Parsing for delay in Verilog procedural assignments

4 weeks agoPlug several memory leaks
Nick Gasson [Thu, 18 Apr 2024 20:01:28 +0000 (21:01 +0100)]
Plug several memory leaks

4 weeks agoRevert "If/case statements do not count for statement coverage"
Nick Gasson [Thu, 18 Apr 2024 19:07:17 +0000 (20:07 +0100)]
Revert "If/case statements do not count for statement coverage"

This reverts commit 575349b17bccb07eb104ac9c1287b21455107012.

4 weeks agoSpeed up lock acquisition in uncontended case
Nick Gasson [Wed, 17 Apr 2024 18:58:21 +0000 (19:58 +0100)]
Speed up lock acquisition in uncontended case

4 weeks agoRefactor statement coverage emission
Nick Gasson [Sun, 14 Apr 2024 16:11:31 +0000 (17:11 +0100)]
Refactor statement coverage emission

4 weeks agoIf/case statements do not count for statement coverage
Nick Gasson [Sun, 14 Apr 2024 15:47:36 +0000 (16:47 +0100)]
If/case statements do not count for statement coverage

4 weeks agoAdd some labels to blocks in cover9 test
Nick Gasson [Sun, 14 Apr 2024 11:30:19 +0000 (12:30 +0100)]
Add some labels to blocks in cover9 test

4 weeks agoMerge duplicated irgen_op_cover_stmt and irgen_op_cover_branch
Nick Gasson [Sat, 13 Apr 2024 10:18:23 +0000 (11:18 +0100)]
Merge duplicated irgen_op_cover_stmt and irgen_op_cover_branch

4 weeks agoRefactor branch coverage to use counter rather than bit flags
Nick Gasson [Sat, 13 Apr 2024 09:56:25 +0000 (10:56 +0100)]
Refactor branch coverage to use counter rather than bit flags

Co-authored-by: Blebowski <34539154+Blebowski@users.noreply.github.com>
5 weeks agoFix crash dumping array-of-array-of-record. Fixes #878
Nick Gasson [Wed, 10 Apr 2024 19:12:17 +0000 (20:12 +0100)]
Fix crash dumping array-of-array-of-record. Fixes #878

5 weeks agoHandle force/release in all-sensitised process. Fixes #877
Nick Gasson [Tue, 9 Apr 2024 20:41:00 +0000 (21:41 +0100)]
Handle force/release in all-sensitised process. Fixes #877

5 weeks agoAdd a utility to format time strings
Nick Gasson [Sun, 7 Apr 2024 18:48:48 +0000 (19:48 +0100)]
Add a utility to format time strings

5 weeks agoBump minimum autoconf and automake versions
Nick Gasson [Sun, 7 Apr 2024 09:31:47 +0000 (10:31 +0100)]
Bump minimum autoconf and automake versions

5 weeks agoFix regex for Windows installer version
Nick Gasson [Sun, 7 Apr 2024 08:45:43 +0000 (09:45 +0100)]
Fix regex for Windows installer version

5 weeks agoUpdates for 1.12 release r1.12.0
Nick Gasson [Sun, 7 Apr 2024 08:33:42 +0000 (09:33 +0100)]
Updates for 1.12 release

5 weeks agoInclude TCL stack trace when --do fails
Nick Gasson [Sun, 7 Apr 2024 08:29:17 +0000 (09:29 +0100)]
Include TCL stack trace when --do fails

5 weeks agoUpdate manual for VHPI subprograms
Nick Gasson [Sun, 7 Apr 2024 08:29:08 +0000 (09:29 +0100)]
Update manual for VHPI subprograms

6 weeks agoAdd reusable action for Windows installer
Nick Gasson [Thu, 4 Apr 2024 19:13:21 +0000 (20:13 +0100)]
Add reusable action for Windows installer

6 weeks agoDo not advertise PSL support since it is not yet complete. Issue #834
Nick Gasson [Thu, 4 Apr 2024 19:07:56 +0000 (20:07 +0100)]
Do not advertise PSL support since it is not yet complete. Issue #834

6 weeks agoBundle TCL init scripts with Windows installer
Nick Gasson [Tue, 2 Apr 2024 20:54:34 +0000 (21:54 +0100)]
Bundle TCL init scripts with Windows installer

6 weeks agoDo not use built-in make rules
Nick Gasson [Tue, 2 Apr 2024 20:21:04 +0000 (21:21 +0100)]
Do not use built-in make rules

6 weeks agoFix several crashes after errors in package generics
Nick Gasson [Tue, 2 Apr 2024 20:18:50 +0000 (21:18 +0100)]
Fix several crashes after errors in package generics

6 weeks agoImprove error for duplicate declaration due to homograph. Fixes #875
Nick Gasson [Tue, 2 Apr 2024 18:46:18 +0000 (19:46 +0100)]
Improve error for duplicate declaration due to homograph. Fixes #875

6 weeks agoAdd basic support for VHPI foreign subprograms
Nick Gasson [Mon, 1 Apr 2024 13:57:19 +0000 (14:57 +0100)]
Add basic support for VHPI foreign subprograms

6 weeks agoFix more corner cases with aggregate subtype calculation. Fixes #874
Nick Gasson [Mon, 1 Apr 2024 10:19:18 +0000 (11:19 +0100)]
Fix more corner cases with aggregate subtype calculation. Fixes #874

6 weeks agoAdd a separate tree kind for element resolution indication
Nick Gasson [Mon, 1 Apr 2024 09:30:13 +0000 (10:30 +0100)]
Add a separate tree kind for element resolution indication

6 weeks agoRefactor calculation of aggregate bounds. Fixes #837
Nick Gasson [Fri, 29 Mar 2024 15:22:29 +0000 (15:22 +0000)]
Refactor calculation of aggregate bounds. Fixes #837

6 weeks agoRemove unused variable in vhpi_build_design_model
Nick Gasson [Fri, 29 Mar 2024 15:27:40 +0000 (15:27 +0000)]
Remove unused variable in vhpi_build_design_model

7 weeks agoImplement vhpi_get_real
Nick Gasson [Thu, 28 Mar 2024 19:03:20 +0000 (19:03 +0000)]
Implement vhpi_get_real

7 weeks agoImplement vhpi_get_cb_info
Nick Gasson [Thu, 28 Mar 2024 18:24:27 +0000 (18:24 +0000)]
Implement vhpi_get_cb_info

7 weeks agoImplement vhpi_get_next_time
Nick Gasson [Thu, 28 Mar 2024 18:18:09 +0000 (18:18 +0000)]
Implement vhpi_get_next_time

7 weeks agoRemoving pending field from VHPI c_callback
Nick Gasson [Thu, 28 Mar 2024 18:04:41 +0000 (18:04 +0000)]
Removing pending field from VHPI c_callback

7 weeks agoEnsure VHPI handles are never reused
Nick Gasson [Thu, 28 Mar 2024 15:37:04 +0000 (15:37 +0000)]
Ensure VHPI handles are never reused

7 weeks agoSimplify disabling VHPI callbacks
Nick Gasson [Thu, 28 Mar 2024 15:10:16 +0000 (15:10 +0000)]
Simplify disabling VHPI callbacks

7 weeks agoFix some corner cases enabling/disabling VHPI callbacks
Nick Gasson [Thu, 28 Mar 2024 15:00:29 +0000 (15:00 +0000)]
Fix some corner cases enabling/disabling VHPI callbacks

7 weeks agoEnsure RT_NEXT_TIME_STEP event triggers on the first cycle
Nick Gasson [Thu, 28 Mar 2024 14:10:11 +0000 (14:10 +0000)]
Ensure RT_NEXT_TIME_STEP event triggers on the first cycle

7 weeks agoReplace vhpiHandleT with a reference counted handle
Nick Gasson [Thu, 28 Mar 2024 11:59:08 +0000 (11:59 +0000)]
Replace vhpiHandleT with a reference counted handle

7 weeks agoImplement vhpiDesignUnit association for instances
Nick Gasson [Wed, 27 Mar 2024 12:36:34 +0000 (12:36 +0000)]
Implement vhpiDesignUnit association for instances

7 weeks agoRemove sem_int_lit helper function
Nick Gasson [Wed, 27 Mar 2024 10:09:51 +0000 (10:09 +0000)]
Remove sem_int_lit helper function

7 weeks agoFix crash in vhpi_iterator with --vhpi-trace
Nick Gasson [Wed, 27 Mar 2024 10:03:47 +0000 (10:03 +0000)]
Fix crash in vhpi_iterator with --vhpi-trace

7 weeks agoSuppress error for hidden declarations with --relaxed. Fixes #870
Nick Gasson [Tue, 26 Mar 2024 23:05:59 +0000 (23:05 +0000)]
Suppress error for hidden declarations with --relaxed. Fixes #870

7 weeks agoImprove checking for incomplete type declarations
Nick Gasson [Tue, 26 Mar 2024 22:06:39 +0000 (22:06 +0000)]
Improve checking for incomplete type declarations

7 weeks agoFix undefined behaviour dumping >32 bit integers to FST. Issue #869
Nick Gasson [Mon, 25 Mar 2024 20:54:53 +0000 (20:54 +0000)]
Fix undefined behaviour dumping >32 bit integers to FST. Issue #869

7 weeks agoRun all cocotb regression tests in GitHub Actions
Nick Gasson [Mon, 25 Mar 2024 20:43:02 +0000 (20:43 +0000)]
Run all cocotb regression tests in GitHub Actions

7 weeks agoFix crashes with vhpiDepositPropagate
Nick Gasson [Mon, 25 Mar 2024 20:04:49 +0000 (20:04 +0000)]
Fix crashes with vhpiDepositPropagate

7 weeks agoBump default standard version to 2008
Nick Gasson [Sat, 23 Mar 2024 13:39:04 +0000 (13:39 +0000)]
Bump default standard version to 2008

7 weeks agoAlso trace address sanitizer fake stack in mspace_gc
Nick Gasson [Sat, 23 Mar 2024 12:34:47 +0000 (12:34 +0000)]
Also trace address sanitizer fake stack in mspace_gc

7 weeks agoFix some boundary cases in mask_iter
Nick Gasson [Sat, 23 Mar 2024 09:48:14 +0000 (09:48 +0000)]
Fix some boundary cases in mask_iter

7 weeks agoAdd some additional allocation benchmarks
Nick Gasson [Sat, 23 Mar 2024 12:16:56 +0000 (12:16 +0000)]
Add some additional allocation benchmarks

8 weeks agoFix load address for symbols pointing to PE sections
Nick Gasson [Thu, 21 Mar 2024 21:31:50 +0000 (21:31 +0000)]
Fix load address for symbols pointing to PE sections

This reverts commit a16b40026cb4c62704b75fbfd59cc8ffc3ef5ad5.

8 weeks agoVHPI discovery in for-generate broken since 7dd41. Fixes #868
Nick Gasson [Wed, 20 Mar 2024 21:46:53 +0000 (21:46 +0000)]
VHPI discovery in for-generate broken since 7dd41. Fixes #868

8 weeks agoMake sure entity is rewritten before architecture. Issue #867
Nick Gasson [Wed, 20 Mar 2024 21:14:30 +0000 (21:14 +0000)]
Make sure entity is rewritten before architecture. Issue #867

8 weeks agoTemporarily disable JIT mode testing on Windows
Nick Gasson [Wed, 20 Mar 2024 21:48:15 +0000 (21:48 +0000)]
Temporarily disable JIT mode testing on Windows

8 weeks agoRemove deprecated rt_tlab_alloc
Nick Gasson [Mon, 18 Mar 2024 16:41:36 +0000 (16:41 +0000)]
Remove deprecated rt_tlab_alloc

8 weeks agoAlso pass -mno-omit-leaf-frame-pointer with --enable-frame-pointer
Nick Gasson [Sun, 17 Mar 2024 10:10:59 +0000 (10:10 +0000)]
Also pass -mno-omit-leaf-frame-pointer with --enable-frame-pointer

2 months agoFix assertion failure in jit_do_mem2reg running OSVVM tests
Nick Gasson [Thu, 14 Mar 2024 22:09:57 +0000 (22:09 +0000)]
Fix assertion failure in jit_do_mem2reg running OSVVM tests

2 months agoSkip over record element constraints when building VHPI model
Nick Gasson [Thu, 14 Mar 2024 19:56:57 +0000 (19:56 +0000)]
Skip over record element constraints when building VHPI model

Issue #866

2 months agoDump arrays-of-records when --dump-arrays is passed. Issue 856
Nick Gasson [Wed, 13 Mar 2024 20:02:03 +0000 (20:02 +0000)]
Dump arrays-of-records when --dump-arrays is passed. Issue 856

2 months agoSimplify implementation of unit_registry_flush
Nick Gasson [Wed, 13 Mar 2024 19:37:53 +0000 (19:37 +0000)]
Simplify implementation of unit_registry_flush

2 months agoCode generation crash with nested package instances. Fixes #858
Nick Gasson [Tue, 12 Mar 2024 22:08:06 +0000 (22:08 +0000)]
Code generation crash with nested package instances. Fixes #858

2 months agoImprove locking benchmark
Nick Gasson [Fri, 8 Mar 2024 16:59:35 +0000 (16:59 +0000)]
Improve locking benchmark

2 months agoFix crash when collapsing unconstrained port. Fixes #859
Nick Gasson [Fri, 8 Mar 2024 15:23:23 +0000 (15:23 +0000)]
Fix crash when collapsing unconstrained port. Fixes #859

2 months agoFix crash after error in external name. Fixes #860
Nick Gasson [Fri, 8 Mar 2024 14:29:59 +0000 (14:29 +0000)]
Fix crash after error in external name. Fixes #860

2 months agoAllow any integer type for dimension attribute in --relaxed mode
Nick Gasson [Fri, 8 Mar 2024 14:11:00 +0000 (14:11 +0000)]
Allow any integer type for dimension attribute in --relaxed mode

Issue #862

2 months agoAttribute dimension not checked for unconstrained array types
Nick Gasson [Fri, 8 Mar 2024 14:05:21 +0000 (14:05 +0000)]
Attribute dimension not checked for unconstrained array types

Fixes #863

2 months agoLost update to FILE_OPEN STATUS output. Fixes #864
Nick Gasson [Thu, 7 Mar 2024 21:28:41 +0000 (21:28 +0000)]
Lost update to FILE_OPEN STATUS output. Fixes #864

2 months agoUse Windows API directly instead of winpthreads wrapper. Fixes #861
Nick Gasson [Thu, 7 Mar 2024 19:57:59 +0000 (19:57 +0000)]
Use Windows API directly instead of winpthreads wrapper. Fixes #861

2 months agoFix typo introduced by b52c576. Issue #857
Nick Gasson [Wed, 6 Mar 2024 21:17:04 +0000 (21:17 +0000)]
Fix typo introduced by b52c576. Issue #857

2 months agoDisable Windows testing temporarily. Issue #861
Nick Gasson [Wed, 6 Mar 2024 21:22:09 +0000 (21:22 +0000)]
Disable Windows testing temporarily. Issue #861

2 months agoFix several issues with array view handling. Issue #856
Nick Gasson [Tue, 5 Mar 2024 22:05:18 +0000 (22:05 +0000)]
Fix several issues with array view handling. Issue #856