]> Nick Gasson's Git Repositories - nvc.git/log
nvc.git
2 days agoFix crash with partial association and conversion function master github/master sr.ht/master
Nick Gasson [Tue, 18 Feb 2025 08:54:05 +0000 (08:54 +0000)]
Fix crash with partial association and conversion function

Issue #1161

4 days agoMove --ieee-warnings to global options. Issue #1151
Nick Gasson [Sun, 16 Feb 2025 20:35:06 +0000 (20:35 +0000)]
Move --ieee-warnings to global options. Issue #1151

4 days agoFix VHPI crash with record element subtype constraint. Issue #1161
Nick Gasson [Sun, 16 Feb 2025 17:23:12 +0000 (17:23 +0000)]
Fix VHPI crash with record element subtype constraint. Issue #1161

5 days agoFix wrong FILE_PATH result with relative path. Fixes #1162
Nick Gasson [Sun, 16 Feb 2025 14:41:15 +0000 (14:41 +0000)]
Fix wrong FILE_PATH result with relative path. Fixes #1162

5 days agoAdd experimental --preserve-case analysis option. Issue #723
Nick Gasson [Sun, 16 Feb 2025 12:41:06 +0000 (12:41 +0000)]
Add experimental --preserve-case analysis option. Issue #723

5 days agoLazily generate strings for VHPI names
Nick Gasson [Sun, 16 Feb 2025 12:16:14 +0000 (12:16 +0000)]
Lazily generate strings for VHPI names

5 days agoFix some case sensitivity issues in library lookup
Nick Gasson [Sun, 16 Feb 2025 09:58:38 +0000 (09:58 +0000)]
Fix some case sensitivity issues in library lookup

5 days agoFix multiple occurrences of "too many errors" message
Nick Gasson [Sun, 16 Feb 2025 09:43:46 +0000 (09:43 +0000)]
Fix multiple occurrences of "too many errors" message

6 days agoUse scope_for_type for records
Nick Gasson [Sat, 15 Feb 2025 10:02:48 +0000 (10:02 +0000)]
Use scope_for_type for records

8 days agoImprove test for VHDL-2019 FILE_PATH. Issue #1162
Nick Gasson [Thu, 13 Feb 2025 08:21:18 +0000 (08:21 +0000)]
Improve test for VHDL-2019 FILE_PATH. Issue #1162

10 days agoFix crash with partially constrained element in record subtype
Nick Gasson [Tue, 11 Feb 2025 08:58:34 +0000 (08:58 +0000)]
Fix crash with partially constrained element in record subtype

Issue #1155

11 days agoUppercase unit names when saving library
Nick Gasson [Sun, 9 Feb 2025 20:05:24 +0000 (20:05 +0000)]
Uppercase unit names when saving library

12 days agoUse case-insensitive lookup for library units
Nick Gasson [Sun, 9 Feb 2025 12:02:02 +0000 (12:02 +0000)]
Use case-insensitive lookup for library units

12 days agoAdd a generic hash type
Nick Gasson [Sun, 3 Mar 2024 18:59:22 +0000 (18:59 +0000)]
Add a generic hash type

12 days agoUse case-insensitive lookup for predefined attributes
Nick Gasson [Sun, 9 Feb 2025 10:51:22 +0000 (10:51 +0000)]
Use case-insensitive lookup for predefined attributes

12 days agoUse case-insensitive hashing in symbol table
Nick Gasson [Sat, 8 Feb 2025 21:43:14 +0000 (21:43 +0000)]
Use case-insensitive hashing in symbol table

12 days agoUse a custom hash table for symbol lookups
Nick Gasson [Sat, 8 Feb 2025 16:17:50 +0000 (16:17 +0000)]
Use a custom hash table for symbol lookups

12 days agoMove generic rewriting to instance_fixup
Nick Gasson [Sat, 8 Feb 2025 13:44:34 +0000 (13:44 +0000)]
Move generic rewriting to instance_fixup

12 days agoCoverage minor fixes (#1158)
Ondrej Ille [Sun, 9 Feb 2025 09:41:19 +0000 (10:41 +0100)]
Coverage minor fixes (#1158)

* mask out highest bit when reporting bins -> Holds unreachability of toggle coverage.

* clarify unreachability on expressions in manual.

* allow X or U with "count-from-undefined".

13 days agoFix various issues with chaining package generics
Nick Gasson [Sat, 8 Feb 2025 10:24:12 +0000 (10:24 +0000)]
Fix various issues with chaining package generics

2 weeks agoFix parsing of external name in concurrent signal assignment
Nick Gasson [Thu, 6 Feb 2025 20:02:48 +0000 (20:02 +0000)]
Fix parsing of external name in concurrent signal assignment

Fixes #1156

2 weeks agofix missing functional coverage when summing subhierarchies. (#1157)
Ondrej Ille [Thu, 6 Feb 2025 19:58:17 +0000 (20:58 +0100)]
fix missing functional coverage when summing subhierarchies. (#1157)

2 weeks agoInclude type name in range_of backtrace message. Issue #1155
Nick Gasson [Thu, 6 Feb 2025 08:30:28 +0000 (08:30 +0000)]
Include type name in range_of backtrace message. Issue #1155

2 weeks agoMake t_item_range_value a signed 64-bit value. Fixes #1153
Nick Gasson [Thu, 6 Feb 2025 08:29:11 +0000 (08:29 +0000)]
Make t_item_range_value a signed 64-bit value. Fixes #1153

2 weeks agoAdd parsing of compiler directive `default_nettype (#1148)
Ansel [Thu, 6 Feb 2025 08:15:43 +0000 (09:15 +0100)]
Add parsing of compiler directive `default_nettype (#1148)

2 weeks agoCoverage does not require AOT. Issue #1151
Nick Gasson [Wed, 5 Feb 2025 08:59:19 +0000 (08:59 +0000)]
Coverage does not require AOT. Issue #1151

2 weeks agoImprove error message for obsolete dependencies. Issue #1152
Nick Gasson [Tue, 4 Feb 2025 10:39:52 +0000 (10:39 +0000)]
Improve error message for obsolete dependencies. Issue #1152

2 weeks agoDo not promote warnings to errors in unit tests
Nick Gasson [Mon, 3 Feb 2025 21:15:01 +0000 (21:15 +0000)]
Do not promote warnings to errors in unit tests

2 weeks agoRename the release packages workflow
Nick Gasson [Sun, 2 Feb 2025 10:14:18 +0000 (10:14 +0000)]
Rename the release packages workflow

2 weeks agoRemove MSYS2 packages from release artifacts
Nick Gasson [Sun, 2 Feb 2025 10:03:04 +0000 (10:03 +0000)]
Remove MSYS2 packages from release artifacts

2 weeks agoIgnore protected functions for expression coverage. Issue #1150
Nick Gasson [Sun, 2 Feb 2025 09:42:47 +0000 (09:42 +0000)]
Ignore protected functions for expression coverage. Issue #1150

2 weeks agoFix placement of LLVM unreachable instructions. Fixes #1145
Nick Gasson [Sun, 2 Feb 2025 09:36:21 +0000 (09:36 +0000)]
Fix placement of LLVM unreachable instructions. Fixes #1145

2 weeks agoFix regression with temporary variables in property. Issue #1150
Nick Gasson [Sat, 1 Feb 2025 22:53:49 +0000 (22:53 +0000)]
Fix regression with temporary variables in property. Issue #1150

3 weeks agoAllow reading signals during static elaboration. Fixes #1144
Nick Gasson [Wed, 29 Jan 2025 22:41:26 +0000 (22:41 +0000)]
Allow reading signals during static elaboration. Fixes #1144

3 weeks agoShare model between elaboration and runtime
Nick Gasson [Sat, 25 Jan 2025 11:05:55 +0000 (11:05 +0000)]
Share model between elaboration and runtime

3 weeks agoFix stack trace inside port conversion
Nick Gasson [Wed, 29 Jan 2025 20:31:09 +0000 (20:31 +0000)]
Fix stack trace inside port conversion

3 weeks agoOnly compact objects when writing to disk
Nick Gasson [Sat, 25 Jan 2025 17:19:03 +0000 (17:19 +0000)]
Only compact objects when writing to disk

3 weeks agoMove some JIT tests to test_model
Nick Gasson [Sat, 25 Jan 2025 12:50:30 +0000 (12:50 +0000)]
Move some JIT tests to test_model

3 weeks agoimplement rose, fell and stable PSL built-in functions. (#1140)
Ondrej Ille [Sat, 25 Jan 2025 10:05:57 +0000 (11:05 +0100)]
implement rose, fell and stable PSL built-in functions. (#1140)

3 weeks agoFix crash with index constraint on file type (#1146)
NikLeberg [Sat, 25 Jan 2025 09:39:49 +0000 (22:39 +1300)]
Fix crash with index constraint on file type (#1146)

3 weeks agoCover fix long report names (#1142)
Ondrej Ille [Sat, 25 Jan 2025 09:39:19 +0000 (10:39 +0100)]
Cover fix long report names (#1142)

4 weeks agoSync NEWS.md from 1.15 branch
Nick Gasson [Wed, 22 Jan 2025 10:53:29 +0000 (10:53 +0000)]
Sync NEWS.md from 1.15 branch

4 weeks agoExtend PSL prev with configurable cycle count. (#1139)
Ondrej Ille [Mon, 20 Jan 2025 21:01:43 +0000 (22:01 +0100)]
Extend PSL prev with configurable cycle count. (#1139)

4 weeks agoImplement PSL prev() built-in function. Fixes #1135
Nick Gasson [Sun, 19 Jan 2025 14:57:50 +0000 (14:57 +0000)]
Implement PSL prev() built-in function. Fixes #1135

4 weeks agoAllow properties to have internal state
Nick Gasson [Sun, 19 Jan 2025 14:11:04 +0000 (14:11 +0000)]
Allow properties to have internal state

4 weeks agoRefactor JIT entry point generation
Nick Gasson [Sun, 19 Jan 2025 12:55:24 +0000 (12:55 +0000)]
Refactor JIT entry point generation

4 weeks agoParse PSL built-in calls inside VHDL expressions
Nick Gasson [Sun, 19 Jan 2025 10:25:37 +0000 (10:25 +0000)]
Parse PSL built-in calls inside VHDL expressions

4 weeks agoSeparate tree nodes of PSL directives and declarations
Nick Gasson [Sat, 18 Jan 2025 23:08:21 +0000 (23:08 +0000)]
Separate tree nodes of PSL directives and declarations

4 weeks agoFix error parsing PSL statement split over multiple lines
Nick Gasson [Sat, 18 Jan 2025 20:05:39 +0000 (20:05 +0000)]
Fix error parsing PSL statement split over multiple lines

Issue #1135

4 weeks agoBetter reporting for TCL errors
Nick Gasson [Sat, 18 Jan 2025 16:32:34 +0000 (16:32 +0000)]
Better reporting for TCL errors

4 weeks agoBundle tcllib with Windows installer. Fixes #1136
Nick Gasson [Sat, 18 Jan 2025 14:33:47 +0000 (14:33 +0000)]
Bundle tcllib with Windows installer. Fixes #1136

4 weeks agoFix build failure on 32-bit systems. Fixes #1133
Nick Gasson [Sat, 18 Jan 2025 11:35:06 +0000 (11:35 +0000)]
Fix build failure on 32-bit systems. Fixes #1133

4 weeks agoFix a regression in aggregate type checking. Fixes #1138
Nick Gasson [Sat, 18 Jan 2025 10:36:19 +0000 (10:36 +0000)]
Fix a regression in aggregate type checking. Fixes #1138

4 weeks agoFix build status badge in README
Nick Gasson [Sat, 18 Jan 2025 09:38:53 +0000 (09:38 +0000)]
Fix build status badge in README

4 weeks agoFix crash with null array in constant record aggregate
Nick Gasson [Sat, 18 Jan 2025 09:23:17 +0000 (09:23 +0000)]
Fix crash with null array in constant record aggregate

Fixes #1137

5 weeks agoParse Verilog for loops
Nick Gasson [Tue, 14 Jan 2025 20:45:55 +0000 (20:45 +0000)]
Parse Verilog for loops

5 weeks agoPSL built-in functions are only allowed where Boolean would be
Nick Gasson [Mon, 13 Jan 2025 20:27:54 +0000 (20:27 +0000)]
PSL built-in functions are only allowed where Boolean would be

Issue #1001

5 weeks agoReplace redundant copy of libraryName with missing copy of modelName (#1132)
Simon Voigt Nesbo [Mon, 13 Jan 2025 08:31:08 +0000 (09:31 +0100)]
Replace redundant copy of libraryName with missing copy of modelName (#1132)

5 weeks agoFix crash with call with too many named arguments. Issue #1091 (#1130)
NikLeberg [Sun, 12 Jan 2025 09:13:25 +0000 (22:13 +1300)]
Fix crash with call with too many named arguments. Issue #1091 (#1130)

5 weeks agoBump version to 1.16-devel
Nick Gasson [Sat, 11 Jan 2025 10:53:59 +0000 (10:53 +0000)]
Bump version to 1.16-devel

5 weeks agoUpdate for 1.15 release r1.15.0
Nick Gasson [Sat, 11 Jan 2025 10:44:05 +0000 (10:44 +0000)]
Update for 1.15 release

5 weeks agoUpdate OSVVM and UVVM versions
Nick Gasson [Sat, 11 Jan 2025 10:32:19 +0000 (10:32 +0000)]
Update OSVVM and UVVM versions

5 weeks agoFix mis-parsed comment inside PSL directive. Fixes #1129
Nick Gasson [Sat, 11 Jan 2025 09:51:36 +0000 (09:51 +0000)]
Fix mis-parsed comment inside PSL directive. Fixes #1129

5 weeks agoAvoid heap allocation in type_set_push
Nick Gasson [Sat, 11 Jan 2025 09:29:08 +0000 (09:29 +0000)]
Avoid heap allocation in type_set_push

5 weeks agoSpurious error when trying to apply condition conversion operator
Nick Gasson [Sat, 11 Jan 2025 09:13:16 +0000 (09:13 +0000)]
Spurious error when trying to apply condition conversion operator

Fixes #1124

6 weeks agoCorrect VHPI type name for nested array element subtype
Nick Gasson [Thu, 9 Jan 2025 20:15:23 +0000 (20:15 +0000)]
Correct VHPI type name for nested array element subtype

Fixes #1127

6 weeks agoAdd support for `'*_name` attributes of generate block label (#1126)
NikLeberg [Thu, 9 Jan 2025 19:52:09 +0000 (08:52 +1300)]
Add support for `'*_name` attributes of generate block label (#1126)

Fixes #1125

6 weeks agoFix crash with invalid range type for aggregate (#1123)
NikLeberg [Thu, 9 Jan 2025 19:48:15 +0000 (08:48 +1300)]
Fix crash with invalid range type for aggregate (#1123)

6 weeks agoFix crash with invalid aggregate field name (#1121)
NikLeberg [Tue, 7 Jan 2025 20:58:20 +0000 (09:58 +1300)]
Fix crash with invalid aggregate field name (#1121)

6 weeks agoPSL never properties always fail. Fixes #1117
Nick Gasson [Sun, 5 Jan 2025 16:57:48 +0000 (16:57 +0000)]
PSL never properties always fail. Fixes #1117

6 weeks agoFix assertion failure after local allocation in property
Nick Gasson [Sun, 5 Jan 2025 16:57:02 +0000 (16:57 +0000)]
Fix assertion failure after local allocation in property

Issue #1117

6 weeks agoImprove tracing of vhpi_register_cb parameters
Nick Gasson [Sun, 5 Jan 2025 15:29:27 +0000 (15:29 +0000)]
Improve tracing of vhpi_register_cb parameters

Issue #1114

6 weeks agoFix crash instantiating a subprogram containing a file type
Nick Gasson [Sun, 5 Jan 2025 13:59:45 +0000 (13:59 +0000)]
Fix crash instantiating a subprogram containing a file type

Fixes #1118

6 weeks agoFix crash with instantiation of unexpected kind (#1120)
NikLeberg [Sun, 5 Jan 2025 13:55:01 +0000 (02:55 +1300)]
Fix crash with instantiation of unexpected kind (#1120)

6 weeks agoFix crash in overload check of invalid alias declarations (#1119)
NikLeberg [Sun, 5 Jan 2025 13:54:40 +0000 (02:54 +1300)]
Fix crash in overload check of invalid alias declarations (#1119)

7 weeks agoWrong debug output for VHPI callback in vhpiDisable state
Nick Gasson [Thu, 2 Jan 2025 20:48:08 +0000 (20:48 +0000)]
Wrong debug output for VHPI callback in vhpiDisable state

Issue #1114

7 weeks agoFix crash when PSL sequence starts with indexed name. Fixes #1115
Nick Gasson [Thu, 2 Jan 2025 20:47:11 +0000 (20:47 +0000)]
Fix crash when PSL sequence starts with indexed name. Fixes #1115

7 weeks agoCorrect error location after Verilog macro expansion
Nick Gasson [Tue, 31 Dec 2024 22:18:37 +0000 (22:18 +0000)]
Correct error location after Verilog macro expansion

7 weeks agoDefine Verilog preprocessor macros on command line
Nick Gasson [Mon, 30 Dec 2024 20:17:06 +0000 (20:17 +0000)]
Define Verilog preprocessor macros on command line

Based on code from @Blebowski in #1110

7 weeks agoCache external names at use site
Nick Gasson [Sat, 28 Dec 2024 21:22:39 +0000 (21:22 +0000)]
Cache external names at use site

7 weeks agoMove all external name resolution to runtime
Nick Gasson [Sat, 28 Dec 2024 18:56:39 +0000 (18:56 +0000)]
Move all external name resolution to runtime

7 weeks agoAdd intrinsics for unsigned comparison
Nick Gasson [Sat, 28 Dec 2024 15:01:15 +0000 (15:01 +0000)]
Add intrinsics for unsigned comparison

7 weeks agoFix corner case with trigger update order
Nick Gasson [Sat, 28 Dec 2024 13:20:49 +0000 (13:20 +0000)]
Fix corner case with trigger update order

7 weeks agoEnsure thread-local buffer is reset correctly
Nick Gasson [Sat, 28 Dec 2024 12:54:56 +0000 (12:54 +0000)]
Ensure thread-local buffer is reset correctly

7 weeks agoElide driver update in some cases
Nick Gasson [Sat, 28 Dec 2024 10:57:39 +0000 (10:57 +0000)]
Elide driver update in some cases

7 weeks agoDisable output port collapsing
Nick Gasson [Fri, 27 Dec 2024 22:33:32 +0000 (22:33 +0000)]
Disable output port collapsing

7 weeks agoOptimised copy and comparison functions in runtime
Nick Gasson [Fri, 27 Dec 2024 21:54:03 +0000 (21:54 +0000)]
Optimised copy and comparison functions in runtime

7 weeks agoOptimise conversion function memory usage
Nick Gasson [Sun, 22 Dec 2024 15:40:01 +0000 (15:40 +0000)]
Optimise conversion function memory usage

8 weeks agoAdd redzone around runtime static allocations
Nick Gasson [Fri, 27 Dec 2024 11:41:43 +0000 (11:41 +0000)]
Add redzone around runtime static allocations

8 weeks agoFix unused variable warning on release build
Nick Gasson [Thu, 26 Dec 2024 11:23:56 +0000 (11:23 +0000)]
Fix unused variable warning on release build

8 weeks agoFix 'last_active when port has conversion function
Nick Gasson [Wed, 25 Dec 2024 19:35:11 +0000 (19:35 +0000)]
Fix 'last_active when port has conversion function

8 weeks agoRemove remaining uses of ptr_list_t
Nick Gasson [Wed, 25 Dec 2024 17:20:08 +0000 (17:20 +0000)]
Remove remaining uses of ptr_list_t

2 months agoRefactor implementation of conversion functions. Fixes #1094
Nick Gasson [Thu, 19 Dec 2024 21:23:02 +0000 (21:23 +0000)]
Refactor implementation of conversion functions. Fixes #1094

2 months agoFix 'driving_value when prefix is a record
Nick Gasson [Sat, 21 Dec 2024 10:31:48 +0000 (10:31 +0000)]
Fix 'driving_value when prefix is a record

2 months agoFix crash with type interface in function parameters. Issue #1108 (#1111)
NikLeberg [Sun, 22 Dec 2024 12:20:18 +0000 (02:20 -1000)]
Fix crash with type interface in function parameters. Issue #1108 (#1111)

2 months agoMake usage of signal initial / driving area more explicit
Nick Gasson [Fri, 20 Dec 2024 18:28:05 +0000 (18:28 +0000)]
Make usage of signal initial / driving area more explicit

2 months agoParse Verilog concatenation
Nick Gasson [Thu, 19 Dec 2024 19:28:48 +0000 (19:28 +0000)]
Parse Verilog concatenation

2 months agoParse more Verilog datatypes
Nick Gasson [Thu, 19 Dec 2024 08:59:54 +0000 (08:59 +0000)]
Parse more Verilog datatypes

2 months agoParse Verilog `begin_keywords and `end_keywords
Nick Gasson [Wed, 18 Dec 2024 22:15:26 +0000 (22:15 +0000)]
Parse Verilog `begin_keywords and `end_keywords

2 months agoHandle external name referencing package body
Nick Gasson [Wed, 18 Dec 2024 22:03:52 +0000 (22:03 +0000)]
Handle external name referencing package body