]> git.nickg.me.uk Git - nvc.git/log
nvc.git
3 days agoRefactor branch coverage to use counter rather than bit flags master github/master sr.ht/master
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>
6 days 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

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

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

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

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

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

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

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

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

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

2 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

2 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

2 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

2 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

2 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

2 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

2 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

2 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

2 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

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

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

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

2 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

2 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

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

2 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

2 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

2 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

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

2 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

2 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

3 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

3 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

3 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

3 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

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

3 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

3 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

3 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

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

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

3 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

3 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

3 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

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

4 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

4 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

4 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

4 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

4 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

5 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

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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

5 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

7 weeks agoAdd support for Verilog supply net type. Issue #808
Nick Gasson [Sat, 24 Feb 2024 11:04:25 +0000 (11:04 +0000)]
Add support for Verilog supply net type. Issue #808

7 weeks agoIntroduce a cache for translated Verilog modules
Nick Gasson [Sat, 24 Feb 2024 10:42:23 +0000 (10:42 +0000)]
Introduce a cache for translated Verilog modules

7 weeks agoAdd Canola project to regression tests
Nick Gasson [Sat, 24 Feb 2024 10:40:17 +0000 (10:40 +0000)]
Add Canola project to regression tests

7 weeks agoAvoid calling memcpy when updating single-element signals
Nick Gasson [Fri, 23 Feb 2024 15:48:00 +0000 (15:48 +0000)]
Avoid calling memcpy when updating single-element signals

7 weeks agoSchedule initial process execution in reset_process
Nick Gasson [Fri, 23 Feb 2024 14:27:06 +0000 (14:27 +0000)]
Schedule initial process execution in reset_process

7 weeks agoAllow use of triggers for more process types
Nick Gasson [Fri, 23 Feb 2024 14:12:13 +0000 (14:12 +0000)]
Allow use of triggers for more process types

7 weeks agoUse triggers for sensitised VHDL processes
Nick Gasson [Fri, 23 Feb 2024 11:11:07 +0000 (11:11 +0000)]
Use triggers for sensitised VHDL processes

7 weeks agoVerilog pullup and pulldown gate instances
Nick Gasson [Thu, 22 Feb 2024 16:36:45 +0000 (16:36 +0000)]
Verilog pullup and pulldown gate instances

7 weeks agoUse foreign functions for predefined FILE_CLOSE and ENDFILE
Nick Gasson [Thu, 22 Feb 2024 20:35:45 +0000 (20:35 +0000)]
Use foreign functions for predefined FILE_CLOSE and ENDFILE

7 weeks agoAllow jit_do_cprop to copy arbitrary values
Nick Gasson [Thu, 22 Feb 2024 20:35:45 +0000 (20:35 +0000)]
Allow jit_do_cprop to copy arbitrary values

7 weeks agoAdd register allocator for x86 JIT backend
Nick Gasson [Tue, 20 Feb 2024 14:53:07 +0000 (14:53 +0000)]
Add register allocator for x86 JIT backend

8 weeks agoSimplify JIT frame layout
Nick Gasson [Tue, 20 Feb 2024 20:40:08 +0000 (20:40 +0000)]
Simplify JIT frame layout

8 weeks agoAdd memory-to-register promotion pass for JIT IR
Nick Gasson [Mon, 19 Feb 2024 22:29:32 +0000 (22:29 +0000)]
Add memory-to-register promotion pass for JIT IR

8 weeks agoUse --without-system-cc to disable AOT compilation
Nick Gasson [Sun, 18 Feb 2024 18:06:00 +0000 (18:06 +0000)]
Use --without-system-cc to disable AOT compilation

8 weeks agoAdjust read only library check for Windows
Nick Gasson [Sun, 18 Feb 2024 16:41:11 +0000 (16:41 +0000)]
Adjust read only library check for Windows

8 weeks agoAdd MSI installer for Windows
Nick Gasson [Sun, 18 Feb 2024 16:41:02 +0000 (16:41 +0000)]
Add MSI installer for Windows

8 weeks agoOption --exit-severity now also controls exit status. Fixes #850
Nick Gasson [Sun, 18 Feb 2024 11:27:22 +0000 (11:27 +0000)]
Option --exit-severity now also controls exit status. Fixes #850

8 weeks agoMove assert counter logic into rt/assert.c
Nick Gasson [Sun, 18 Feb 2024 11:07:40 +0000 (11:07 +0000)]
Move assert counter logic into rt/assert.c

8 weeks agoFix crash in port conversion for array-of-array
Nick Gasson [Sat, 17 Feb 2024 18:02:29 +0000 (18:02 +0000)]
Fix crash in port conversion for array-of-array