]>
Nick Gasson's Git Repositories - nvc.git/log
Nick Gasson [Sun, 7 Jul 2024 07:45:27 +0000 (08:45 +0100)]
Remove remaining uses of search_decls
Nick Gasson [Fri, 5 Jul 2024 21:07:21 +0000 (22:07 +0100)]
Remove uses of search_decls from parser
Nick Gasson [Fri, 5 Jul 2024 18:44:45 +0000 (19:44 +0100)]
Remove use of search_decls in VHPI
Nick Gasson [Thu, 4 Jul 2024 19:31:27 +0000 (20:31 +0100)]
Crash after missing file in coverage report. Fixes #909
Nick Gasson [Thu, 4 Jul 2024 18:41:32 +0000 (19:41 +0100)]
Fix crash with 'val on target of signal assignment. Issue #908
Nick Gasson [Thu, 4 Jul 2024 18:29:27 +0000 (19:29 +0100)]
Implicit 'transaction should toggle when signal is active
Nick Gasson [Wed, 3 Jul 2024 19:03:37 +0000 (20:03 +0100)]
Refactor driving value calculation
Nick Gasson [Wed, 3 Jul 2024 18:38:02 +0000 (19:38 +0100)]
Unify handling of deposit and force/release
Nick Gasson [Sun, 30 Jun 2024 17:22:26 +0000 (18:22 +0100)]
Skip toggle coverage for unconstrained signal. Fixes #906
Nick Gasson [Sun, 30 Jun 2024 15:09:10 +0000 (16:09 +0100)]
Improve error message when external name type does not match
Issue #907
Nick Gasson [Sun, 30 Jun 2024 14:59:07 +0000 (15:59 +0100)]
Separate tree kind for report statements
Nick Gasson [Sun, 30 Jun 2024 11:15:35 +0000 (12:15 +0100)]
Remove calls to search_decls from unit tests
Nick Gasson [Sun, 30 Jun 2024 10:43:48 +0000 (11:43 +0100)]
Avoid call to search_decls in try_solve_attr_ref
Nick Gasson [Sun, 30 Jun 2024 10:34:08 +0000 (11:34 +0100)]
Use a delta encoding for reading/writing locations
Nick Gasson [Sun, 30 Jun 2024 09:52:02 +0000 (10:52 +0100)]
Rename loc_file_ref_t to file_ref_t
Nick Gasson [Sun, 30 Jun 2024 08:35:24 +0000 (09:35 +0100)]
Add NVC_CONCURRENT_JOBS environment variable
Nick Gasson [Sun, 30 Jun 2024 08:34:47 +0000 (09:34 +0100)]
Prefetch the next task in deferq_run
Nick Gasson [Sat, 29 Jun 2024 21:04:01 +0000 (22:04 +0100)]
Crash when dumping waveform with PSL enabled. Fixes #904
Nick Gasson [Sat, 29 Jun 2024 20:43:36 +0000 (21:43 +0100)]
Separate local allocation buffers from main heap
Nick Gasson [Sat, 29 Jun 2024 14:52:03 +0000 (15:52 +0100)]
Limit amount of zeroing/deduplication of JIT constant pool
Nick Gasson [Sat, 29 Jun 2024 14:52:41 +0000 (15:52 +0100)]
Speed up search for matching vcode constants
Nick Gasson [Wed, 26 Jun 2024 17:43:37 +0000 (18:43 +0100)]
Fix crash with return in if-statement when branch coverage enabled
Fixes #903
Nick Gasson [Mon, 24 Jun 2024 18:50:53 +0000 (19:50 +0100)]
Additional error checking for file read/write operations
Nick Gasson [Wed, 19 Jun 2024 21:37:16 +0000 (22:37 +0100)]
Simplify runtime interface for file write
Nick Gasson [Mon, 24 Jun 2024 21:17:52 +0000 (22:17 +0100)]
Allow external names as subprogram signal actuals. Fixes #900
Nick Gasson [Wed, 19 Jun 2024 20:03:02 +0000 (21:03 +0100)]
Correct rounding when converting physical literals to base unit
Fixes #899
Nick Gasson [Tue, 18 Jun 2024 21:12:03 +0000 (22:12 +0100)]
Parse Verilog specify blocks
Nick Gasson [Tue, 18 Jun 2024 18:51:27 +0000 (19:51 +0100)]
Fix parsing of non-ANSI Verilog port declarations. Issue 811
Nick Gasson [Tue, 18 Jun 2024 18:36:26 +0000 (19:36 +0100)]
Fix test_jit failure on arm64 macOS
Nick Gasson [Sun, 16 Jun 2024 10:24:19 +0000 (11:24 +0100)]
Reduce number of recursive calls to object_copy_root_closure
Nick Gasson [Sun, 16 Jun 2024 09:39:18 +0000 (10:39 +0100)]
Avoid assertion failure when scalar type has null range
Nick Gasson [Fri, 14 Jun 2024 18:45:31 +0000 (19:45 +0100)]
Implement `ifdef, `ifndef, etc. in Verilog preprocessor
Nick Gasson [Thu, 13 Jun 2024 21:42:42 +0000 (22:42 +0100)]
Update fstapi.c to GtkWave
23838d736a
Nick Gasson [Thu, 13 Jun 2024 21:21:28 +0000 (22:21 +0100)]
Experiment with emitting FST enums instead of strings (disabled)
Issue #897
Blebowski [Thu, 13 Jun 2024 20:48:01 +0000 (16:48 -0400)]
Add vlog celldefine (#898)
src/vlog: Flag verilog modules as CELL when parsed after `celldefine directive.
Co-authored-by: ondrej.ille <ondrej.ille@tropicsquare.com>
Nick Gasson [Wed, 12 Jun 2024 18:15:48 +0000 (19:15 +0100)]
Bump OS versions used in GitHub Actions
Nick Gasson [Tue, 11 Jun 2024 21:24:34 +0000 (22:24 +0100)]
Handle more error cases for generic packages
Nick Gasson [Tue, 11 Jun 2024 21:25:06 +0000 (22:25 +0100)]
Fix pointer signedness warning in __nvc_do_exit
Nick Gasson [Mon, 10 Jun 2024 21:34:29 +0000 (22:34 +0100)]
Selectively disable missing body check in unit tests
Nick Gasson [Sun, 9 Jun 2024 20:57:29 +0000 (21:57 +0100)]
Optimise large copies in code_blob_emit
Nick Gasson [Sun, 9 Jun 2024 20:11:29 +0000 (21:11 +0100)]
Optimise ident_read
Nick Gasson [Sun, 9 Jun 2024 19:43:13 +0000 (20:43 +0100)]
Require foreign subprograms to have bodies
Nick Gasson [Sun, 9 Jun 2024 17:55:38 +0000 (18:55 +0100)]
FOREIGN attribute is not null-terminated in jit_bind_foreign
Nick Gasson [Sun, 9 Jun 2024 17:50:01 +0000 (18:50 +0100)]
Refactor checking for missing subprogram bodies
Nick Gasson [Sun, 9 Jun 2024 15:44:28 +0000 (16:44 +0100)]
Check for instance of protected type before body elaborated
Nick Gasson [Sun, 9 Jun 2024 12:13:18 +0000 (13:13 +0100)]
Website tweaks
Nick Gasson [Sun, 9 Jun 2024 10:33:33 +0000 (11:33 +0100)]
Check for use of deferred constant before full declaration
Nick Gasson [Sun, 2 Jun 2024 10:08:42 +0000 (11:08 +0100)]
Fix return of wrong value from unit_registry_get_parent
Nick Gasson [Sat, 1 Jun 2024 19:13:11 +0000 (20:13 +0100)]
Always pass unit registry to eval_* functions
Nick Gasson [Sun, 9 Jun 2024 08:49:44 +0000 (09:49 +0100)]
Allow linkage port to be connected to buffer
Nick Gasson [Sun, 9 Jun 2024 08:04:01 +0000 (09:04 +0100)]
Check for subprogram called before elaboration of body
Nick Gasson [Sun, 9 Jun 2024 08:49:23 +0000 (09:49 +0100)]
Add bodies to foreign subprograms in env-body.vhdl
Nick Gasson [Sun, 9 Jun 2024 07:48:13 +0000 (08:48 +0100)]
Refactor handling of nonobject aliases
Nick Gasson [Wed, 5 Jun 2024 20:21:13 +0000 (21:21 +0100)]
Fix crash constant folding expression in generic package
Nick Gasson [Wed, 5 Jun 2024 20:11:26 +0000 (21:11 +0100)]
Fix crash when using record type in inertial actual
Nick Gasson [Sat, 1 Jun 2024 11:59:23 +0000 (12:59 +0100)]
Check number of arguments for overloaded operator
Nick Gasson [Sat, 1 Jun 2024 10:40:14 +0000 (11:40 +0100)]
Check aggregate element bounds at analysis time
Nick Gasson [Sat, 1 Jun 2024 10:33:14 +0000 (11:33 +0100)]
Additional checking for buffer ports
Nick Gasson [Sat, 1 Jun 2024 06:10:19 +0000 (07:10 +0100)]
Stricter checking for underscores in literals
Nick Gasson [Sat, 1 Jun 2024 05:35:09 +0000 (06:35 +0100)]
Missing static index constraint checks for array type declarations
Nick Gasson [Sat, 1 Jun 2024 05:03:38 +0000 (06:03 +0100)]
Check staticness of scalar range constraint
Nick Gasson [Sat, 1 Jun 2024 04:39:24 +0000 (05:39 +0100)]
Detect duplicated enumeration literals
Nick Gasson [Sat, 1 Jun 2024 04:22:13 +0000 (05:22 +0100)]
Check prefix of 'TRANSACTION is readable
Nick Gasson [Sat, 1 Jun 2024 04:16:34 +0000 (05:16 +0100)]
Check that return statement in function has an expression
Nick Gasson [Fri, 31 May 2024 20:03:25 +0000 (21:03 +0100)]
Improve checking of guarded signal assignments
Nick Gasson [Thu, 30 May 2024 19:38:05 +0000 (20:38 +0100)]
Improve error message for identifiers with illegal underscores
Nick Gasson [Thu, 30 May 2024 19:20:48 +0000 (20:20 +0100)]
Allow aliases of packages. Fixes #893
Matthias Wächter [Thu, 30 May 2024 14:41:39 +0000 (16:41 +0200)]
Fix basic_identifier parsing regarding underscores
Matthias Wächter [Thu, 30 May 2024 14:41:09 +0000 (16:41 +0200)]
Add test for basic_identifier checking vs underscores
VHDL (at least 2008 LRM) defines that underscores
are allowed, but not as the last identifier character
and not in succession to each other. This test verifier
that this is not wrongly parsed. Red/Green tested
by adding the failing test case in the first step.
Nick Gasson [Tue, 28 May 2024 19:41:10 +0000 (20:41 +0100)]
Improve checking for scalar subtype declarations
Nick Gasson [Tue, 28 May 2024 19:38:05 +0000 (20:38 +0100)]
Do not declare "=" and "/=" for file types
Nick Gasson [Sun, 26 May 2024 15:24:24 +0000 (16:24 +0100)]
Check prefix of "all" selected name is readable
Nick Gasson [Sun, 26 May 2024 15:16:58 +0000 (16:16 +0100)]
Improve checking for port connections
Nick Gasson [Sun, 26 May 2024 13:48:15 +0000 (14:48 +0100)]
Report error if waiting inside sensitised process
Nick Gasson [Sun, 26 May 2024 13:09:56 +0000 (14:09 +0100)]
Fix 'SUBTYPE attribute for scalars. Issue #894
Nick Gasson [Sun, 26 May 2024 11:23:37 +0000 (12:23 +0100)]
Update run_vests.rb to also run non_compliant Billowitch tests
Nick Gasson [Sun, 26 May 2024 11:08:13 +0000 (12:08 +0100)]
Fix code generation error with real range
Nick Gasson [Sun, 26 May 2024 09:33:48 +0000 (10:33 +0100)]
Check for duplicates in target of assignment
Nick Gasson [Sun, 26 May 2024 08:51:39 +0000 (09:51 +0100)]
Fix crash with conversion function in subprogram formal
Nick Gasson [Sun, 26 May 2024 08:24:36 +0000 (09:24 +0100)]
Fix assertion failure when function name used in type mark
Nick Gasson [Sun, 26 May 2024 08:18:55 +0000 (09:18 +0100)]
Fix crash when type conversion appears in target of assignment
Nick Gasson [Fri, 24 May 2024 11:54:23 +0000 (12:54 +0100)]
Do not simplify attribute names unless they are constant
Nick Gasson [Fri, 24 May 2024 11:43:04 +0000 (12:43 +0100)]
Emit a type variable for scalar types with non-constant bounds
Issue #894
Nick Gasson [Fri, 24 May 2024 10:57:02 +0000 (11:57 +0100)]
Fix spurious error constant folding a type conversion
Nick Gasson [Fri, 24 May 2024 09:17:23 +0000 (10:17 +0100)]
Make vcode_can_elide_bounds a static function
Nick Gasson [Thu, 23 May 2024 22:04:32 +0000 (23:04 +0100)]
Missing readability checks for some signal attributes
Nick Gasson [Thu, 23 May 2024 21:53:11 +0000 (22:53 +0100)]
Fix crash after label used in qualified expression
Nick Gasson [Thu, 23 May 2024 21:00:10 +0000 (22:00 +0100)]
Fix crash generating code for 1 mod 0
Nick Gasson [Thu, 23 May 2024 20:48:33 +0000 (21:48 +0100)]
Fix crash after missing constraints in two dimensional array subtype
Nick Gasson [Wed, 22 May 2024 21:20:54 +0000 (22:20 +0100)]
Missing check for generic mode
Nick Gasson [Wed, 22 May 2024 20:12:12 +0000 (21:12 +0100)]
Improve error message for unterminated string literal
Nick Gasson [Tue, 21 May 2024 20:51:04 +0000 (21:51 +0100)]
Fix parsing of attribute specifications for "all". Fixes #889
Nick Gasson [Sun, 19 May 2024 21:20:14 +0000 (22:20 +0100)]
Update NEWS.md with recent changes
Nick Gasson [Sun, 19 May 2024 21:02:36 +0000 (22:02 +0100)]
Refactor lowering of 'instance_name and 'path_name for subprograms
Nick Gasson [Sun, 19 May 2024 20:09:23 +0000 (21:09 +0100)]
Fix rewriting attribute prefix in subprogram instantiation
Nick Gasson [Sun, 19 May 2024 18:56:09 +0000 (19:56 +0100)]
Remove unused unit_registry_put_all
Nick Gasson [Sun, 19 May 2024 16:53:07 +0000 (17:53 +0100)]
Parsing for signature in attribute name. Fixes #892
Nick Gasson [Sat, 18 May 2024 15:43:05 +0000 (16:43 +0100)]
Add support for packages in VHPI. Issue #891
Nick Gasson [Sat, 18 May 2024 10:04:20 +0000 (11:04 +0100)]
Improve checking for relative names in vhpi_handle_by_name
Nick Gasson [Fri, 17 May 2024 16:32:34 +0000 (17:32 +0100)]
Fix crash when case? alternative contains multiple choices
Issue #890