]> git.nickg.me.uk Git - nvc.git/log
nvc.git
18 hours agoFix crash printing active drivers at iteration limit. Fixes #885 master github/master sr.ht/master
Nick Gasson [Fri, 3 May 2024 16:49:26 +0000 (17:49 +0100)]
Fix crash printing active drivers at iteration limit. Fixes #885

2 days 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

5 days 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

8 days 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

8 days 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

9 days 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

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

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

13 days 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

13 days 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

2 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

2 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

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

2 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.

2 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

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

2 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

2 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

3 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

3 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>
3 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

3 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

3 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

3 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

3 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

3 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

3 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

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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

4 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

5 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

5 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

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

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

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

5 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

5 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

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

5 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

5 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

5 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

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

5 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

5 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

5 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

5 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

5 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

5 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

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

5 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

5 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

5 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

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

6 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.

6 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

6 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

6 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

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

6 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

7 weeks 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

7 weeks 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

7 weeks 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

7 weeks 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

7 weeks 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

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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks 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

8 weeks agoRewrite external names earlier during elaboration. Fixes #855
Nick Gasson [Tue, 5 Mar 2024 21:09:21 +0000 (21:09 +0000)]
Rewrite external names earlier during elaboration. Fixes #855

8 weeks agoStore only the instance name in T_HIER
Nick Gasson [Sun, 3 Mar 2024 21:41:38 +0000 (21:41 +0000)]
Store only the instance name in T_HIER

8 weeks agoUpdate to latest version of ax_pthread.m4
Nick Gasson [Wed, 6 Mar 2024 20:15:27 +0000 (20:15 +0000)]
Update to latest version of ax_pthread.m4

2 months agoRemove duplicated code for top-level elaboration
Nick Gasson [Sun, 3 Mar 2024 18:27:14 +0000 (18:27 +0000)]
Remove duplicated code for top-level elaboration

2 months agoRemove special cases for top-level generics/ports
Nick Gasson [Sun, 3 Mar 2024 18:11:07 +0000 (18:11 +0000)]
Remove special cases for top-level generics/ports

2 months agoAlways look up 'instance_name and 'path_name dynamically
Nick Gasson [Sun, 3 Mar 2024 17:50:13 +0000 (17:50 +0000)]
Always look up 'instance_name and 'path_name dynamically

2 months agoFix crash when view element indication references whole record
Nick Gasson [Sat, 2 Mar 2024 11:59:47 +0000 (11:59 +0000)]
Fix crash when view element indication references whole record

Fixes #854

2 months agoDeferred subprogram instantiation for packages. Fixes #654
Nick Gasson [Sat, 2 Mar 2024 11:24:01 +0000 (11:24 +0000)]
Deferred subprogram instantiation for packages. Fixes #654

2 months agoRefactor resolving of subprogram names
Nick Gasson [Fri, 1 Mar 2024 22:05:48 +0000 (22:05 +0000)]
Refactor resolving of subprogram names

2 months agoVerilog bit selects
Nick Gasson [Thu, 29 Feb 2024 19:24:23 +0000 (19:24 +0000)]
Verilog bit selects

2 months agoMissing static bounds checks for some index constraints
Nick Gasson [Wed, 28 Feb 2024 19:12:50 +0000 (19:12 +0000)]
Missing static bounds checks for some index constraints

2 months agoIncorrect record field length in FST dump. Fixes #852
Nick Gasson [Wed, 28 Feb 2024 13:40:19 +0000 (13:40 +0000)]
Incorrect record field length in FST dump. Fixes #852

2 months agoImplement Verilog case equality
Nick Gasson [Tue, 27 Feb 2024 21:43:52 +0000 (21:43 +0000)]
Implement Verilog case equality

2 months agoLook up signal bounds dynamically in FST dumper. Issue #851
Nick Gasson [Tue, 27 Feb 2024 18:07:41 +0000 (18:07 +0000)]
Look up signal bounds dynamically in FST dumper. Issue #851

2 months agoSimplify handling of element constraints in FST dumper
Nick Gasson [Tue, 27 Feb 2024 18:07:41 +0000 (18:07 +0000)]
Simplify handling of element constraints in FST dumper

2 months agoRun apt-get update before installing dependencies in GHA workflow
Nick Gasson [Tue, 27 Feb 2024 18:19:12 +0000 (18:19 +0000)]
Run apt-get update before installing dependencies in GHA workflow

2 months agoVerilog number parsing and printing improvements
Nick Gasson [Mon, 26 Feb 2024 20:41:22 +0000 (20:41 +0000)]
Verilog number parsing and printing improvements

2 months agoAdd some basic support for Verilog module instantiation
Nick Gasson [Sun, 25 Feb 2024 19:12:36 +0000 (19:12 +0000)]
Add some basic support for Verilog module instantiation

2 months agoRefactor parsing of Verilog port declarations
Nick Gasson [Sun, 25 Feb 2024 16:18:56 +0000 (16:18 +0000)]
Refactor parsing of Verilog port declarations