]> git.nickg.me.uk Git - nvc.git/log
nvc.git
5 months agoScrollbar stuff gui
Nick Gasson [Sun, 5 Nov 2023 23:10:19 +0000 (23:10 +0000)]
Scrollbar stuff

5 months agoSVG/CSS hell
Nick Gasson [Sun, 5 Nov 2023 21:31:05 +0000 (21:31 +0000)]
SVG/CSS hell

5 months agoMerge WaveView and WaveRender
Nick Gasson [Sun, 5 Nov 2023 14:35:35 +0000 (14:35 +0000)]
Merge WaveView and WaveRender

5 months agoClipping
Nick Gasson [Sun, 5 Nov 2023 13:52:45 +0000 (13:52 +0000)]
Clipping

5 months agoRendering improvements
Nick Gasson [Sun, 5 Nov 2023 11:43:49 +0000 (11:43 +0000)]
Rendering improvements

6 months agoPrettier
Nick Gasson [Sat, 4 Nov 2023 21:13:18 +0000 (21:13 +0000)]
Prettier

6 months agoAdd some tests for Trace
Nick Gasson [Sat, 4 Nov 2023 17:41:37 +0000 (17:41 +0000)]
Add some tests for Trace

6 months agoAdd tests for Conduit
Nick Gasson [Sat, 4 Nov 2023 16:33:58 +0000 (16:33 +0000)]
Add tests for Conduit

6 months agoWIP add a browser-based GUI
Nick Gasson [Fri, 9 Jun 2023 11:36:41 +0000 (12:36 +0100)]
WIP add a browser-based GUI

6 months agoRemove MicroHTTP dependency for WebSocket server
Nick Gasson [Sat, 4 Nov 2023 13:55:04 +0000 (13:55 +0000)]
Remove MicroHTTP dependency for WebSocket server

6 months agoAdd NEVER_WAITS attribute for some VITAL procedures
Nick Gasson [Fri, 3 Nov 2023 21:45:36 +0000 (21:45 +0000)]
Add NEVER_WAITS attribute for some VITAL procedures

6 months agoWrong data passed to 'VALUE attribute. Fixes #790
Nick Gasson [Fri, 3 Nov 2023 09:13:15 +0000 (09:13 +0000)]
Wrong data passed to 'VALUE attribute. Fixes #790

6 months agoWorkarounds for slow emulated TLS on MinGW
Nick Gasson [Thu, 2 Nov 2023 22:26:25 +0000 (22:26 +0000)]
Workarounds for slow emulated TLS on MinGW

6 months agoCreate drivers for procedure arguments with mode view indications
Nick Gasson [Thu, 2 Nov 2023 20:44:00 +0000 (20:44 +0000)]
Create drivers for procedure arguments with mode view indications

6 months agoSemantic checks for procedure parameters with mode view indication
Nick Gasson [Wed, 1 Nov 2023 22:45:48 +0000 (22:45 +0000)]
Semantic checks for procedure parameters with mode view indication

6 months agoFix crash with assignment to null signal. Fixes #787
Nick Gasson [Wed, 1 Nov 2023 19:59:32 +0000 (19:59 +0000)]
Fix crash with assignment to null signal. Fixes #787

6 months agoFix-up merging of non-matching coverage items and scopes. (#785)
Blebowski [Wed, 1 Nov 2023 19:48:57 +0000 (20:48 +0100)]
Fix-up merging of non-matching coverage items and scopes. (#785)

6 months agoCheck for and warn about emulated thread-local storage
Nick Gasson [Tue, 31 Oct 2023 18:59:58 +0000 (18:59 +0000)]
Check for and warn about emulated thread-local storage

6 months agoEscape backslash in symbol name on Windows
Nick Gasson [Tue, 31 Oct 2023 18:56:21 +0000 (18:56 +0000)]
Escape backslash in symbol name on Windows

6 months agoAdd NEVER_WAITS attribute to optimise code generation for procedures
Nick Gasson [Tue, 31 Oct 2023 17:20:36 +0000 (17:20 +0000)]
Add NEVER_WAITS attribute to optimise code generation for procedures

6 months agoAdd specialised exit handler for 'last_event
Nick Gasson [Tue, 31 Oct 2023 15:10:50 +0000 (15:10 +0000)]
Add specialised exit handler for 'last_event

6 months agoAdd specialised foreign calling convention for internal routines
Nick Gasson [Tue, 31 Oct 2023 14:39:55 +0000 (14:39 +0000)]
Add specialised foreign calling convention for internal routines

6 months agoFix occasional JIT compilation failure due to too-small code buffer
Nick Gasson [Tue, 31 Oct 2023 12:19:43 +0000 (12:19 +0000)]
Fix occasional JIT compilation failure due to too-small code buffer

6 months agoAdd intrinsics for more IEEE.MATH_REAL operations
Nick Gasson [Mon, 30 Oct 2023 20:37:26 +0000 (20:37 +0000)]
Add intrinsics for more IEEE.MATH_REAL operations

6 months agoSubprogram specification/body wrong way round in diagnostic hint
Nick Gasson [Mon, 30 Oct 2023 20:04:58 +0000 (20:04 +0000)]
Subprogram specification/body wrong way round in diagnostic hint

6 months agoElaborate external name in alias declaration exactly once
Nick Gasson [Sun, 29 Oct 2023 22:51:38 +0000 (22:51 +0000)]
Elaborate external name in alias declaration exactly once

6 months agoCheck relative pathname for enclosing concurrent region
Nick Gasson [Sun, 29 Oct 2023 20:28:24 +0000 (20:28 +0000)]
Check relative pathname for enclosing concurrent region

6 months agoElaborate external names as callback from code generation
Nick Gasson [Sun, 29 Oct 2023 20:18:33 +0000 (20:18 +0000)]
Elaborate external names as callback from code generation

Fixes #709

6 months agoImprove checking for external names with array subtype indication
Nick Gasson [Sun, 29 Oct 2023 17:21:20 +0000 (17:21 +0000)]
Improve checking for external names with array subtype indication

6 months agoTest dumping external names
Nick Gasson [Sun, 29 Oct 2023 15:51:04 +0000 (15:51 +0000)]
Test dumping external names

6 months agoPreserve declarations when simplifying case-generate statement
Nick Gasson [Sun, 29 Oct 2023 15:47:02 +0000 (15:47 +0000)]
Preserve declarations when simplifying case-generate statement

6 months agoAdd jit_for_thread helper function
Nick Gasson [Sun, 29 Oct 2023 15:46:22 +0000 (15:46 +0000)]
Add jit_for_thread helper function

6 months agoMake hash_iter skip over deleted items
Nick Gasson [Sun, 29 Oct 2023 15:45:30 +0000 (15:45 +0000)]
Make hash_iter skip over deleted items

6 months agoVisibility issue with block name in configuration
Nick Gasson [Fri, 27 Oct 2023 21:06:21 +0000 (22:06 +0100)]
Visibility issue with block name in configuration

Fixes #783

6 months agoFix crash folding package constant. Issue #782
Nick Gasson [Fri, 27 Oct 2023 18:49:22 +0000 (19:49 +0100)]
Fix crash folding package constant. Issue #782

6 months agoFix crash after malformed generate statement
Nick Gasson [Fri, 27 Oct 2023 18:38:16 +0000 (19:38 +0100)]
Fix crash after malformed generate statement

6 months agoAdd TCL echo command
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add TCL echo command

6 months agoAdd conversion functions for Verilog/VHDL interface boundary
Nick Gasson [Wed, 25 Oct 2023 20:02:13 +0000 (21:02 +0100)]
Add conversion functions for Verilog/VHDL interface boundary

6 months agoFix some typos and grammatical errors in documentation (#779)
sean-anderson-seco [Mon, 23 Oct 2023 20:42:36 +0000 (16:42 -0400)]
Fix some typos and grammatical errors in documentation (#779)

Fix a few errors I noticed while reading about FSM coverage.

6 months agoSplit src/rt/cover.c into multiple files (#780)
Nick Gasson [Mon, 23 Oct 2023 20:41:59 +0000 (21:41 +0100)]
Split src/rt/cover.c into multiple files (#780)

6 months agoImprove checking for invalid library name. Issue #778
Nick Gasson [Mon, 23 Oct 2023 17:41:13 +0000 (18:41 +0100)]
Improve checking for invalid library name. Issue #778

6 months agoRefactoring of cover. (#777)
Blebowski [Mon, 23 Oct 2023 17:18:58 +0000 (19:18 +0200)]
Refactoring of cover.  (#777)

src, test: Refactoring of cover. Rename "tag" to "item", and "tagging" to "data".

6 months agoParse Verilog inout ports
Nick Gasson [Sun, 22 Oct 2023 16:00:19 +0000 (17:00 +0100)]
Parse Verilog inout ports

6 months agoParse Verilog timescale directive
Nick Gasson [Sun, 22 Oct 2023 15:55:53 +0000 (16:55 +0100)]
Parse Verilog timescale directive

6 months agoIntegrate Verilog preprocessor with parser
Nick Gasson [Sun, 22 Oct 2023 14:51:14 +0000 (15:51 +0100)]
Integrate Verilog preprocessor with parser

6 months agoError if signal has more than 2^31 sub-elements
Nick Gasson [Sun, 22 Oct 2023 14:06:13 +0000 (15:06 +0100)]
Error if signal has more than 2^31 sub-elements

6 months agoCreate implicit aliases for predefined operators of a type
Nick Gasson [Sat, 21 Oct 2023 13:55:57 +0000 (14:55 +0100)]
Create implicit aliases for predefined operators of a type

Fixes #776

6 months agoGenerate unique name mangling for predefined functions
Nick Gasson [Sun, 22 Oct 2023 13:25:14 +0000 (14:25 +0100)]
Generate unique name mangling for predefined functions

6 months agoExclude Verilog preprocessor from coverage collection
Nick Gasson [Sun, 22 Oct 2023 10:50:19 +0000 (11:50 +0100)]
Exclude Verilog preprocessor from coverage collection

6 months agoAdd NEWS.md item for FSM state coverage
Nick Gasson [Sun, 22 Oct 2023 10:49:07 +0000 (11:49 +0100)]
Add NEWS.md item for FSM state coverage

6 months agoFSM state coverage. (#771)
Blebowski [Sun, 22 Oct 2023 10:46:54 +0000 (12:46 +0200)]
FSM state coverage. (#771)

6 months agoFix race condition in arena_by_name
Nick Gasson [Sat, 21 Oct 2023 10:05:20 +0000 (11:05 +0100)]
Fix race condition in arena_by_name

6 months agoAdd Verilog preprocessor step
Nick Gasson [Sat, 21 Oct 2023 09:34:45 +0000 (10:34 +0100)]
Add Verilog preprocessor step

6 months agoFix uninitialised variable warning in eval.c
Nick Gasson [Sat, 21 Oct 2023 08:37:11 +0000 (09:37 +0100)]
Fix uninitialised variable warning in eval.c

6 months agoRemove the unsupported --enable-jit configure option
Nick Gasson [Fri, 20 Oct 2023 18:21:25 +0000 (19:21 +0100)]
Remove the unsupported --enable-jit configure option

Issue 775

6 months agoUse master branch of cocotb for regression tests
Nick Gasson [Thu, 19 Oct 2023 18:25:35 +0000 (19:25 +0100)]
Use master branch of cocotb for regression tests

6 months agoMove PSL dumper test to test_dump.c
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Move PSL dumper test to test_dump.c

6 months agoAdd PSL until and until_ FL operators
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Add PSL until and until_ FL operators

6 months agoSupport cycle count in PSL next operator
Nick Gasson [Wed, 18 Oct 2023 19:36:27 +0000 (20:36 +0100)]
Support cycle count in PSL next operator

6 months agoType conversion between arrays with closely related elements
Nick Gasson [Tue, 17 Oct 2023 20:18:21 +0000 (21:18 +0100)]
Type conversion between arrays with closely related elements

6 months agoImprove checking for closely related types
Nick Gasson [Tue, 17 Oct 2023 19:34:56 +0000 (20:34 +0100)]
Improve checking for closely related types

6 months agoSync NEWS.md from 1.10 branch
Nick Gasson [Mon, 16 Oct 2023 16:40:19 +0000 (17:40 +0100)]
Sync NEWS.md from 1.10 branch

6 months agoMake generated .deb file names unique
Nick Gasson [Mon, 16 Oct 2023 16:05:36 +0000 (17:05 +0100)]
Make generated .deb file names unique

6 months agoMissing bounds check for aggregate with range association
Nick Gasson [Mon, 16 Oct 2023 15:14:20 +0000 (16:14 +0100)]
Missing bounds check for aggregate with range association

6 months agoAdd configure check for gettid. Fixes #774
Nick Gasson [Mon, 16 Oct 2023 14:45:19 +0000 (15:45 +0100)]
Add configure check for gettid. Fixes #774

6 months agoAdd more external projects to regression tests
Nick Gasson [Mon, 16 Oct 2023 13:39:33 +0000 (14:39 +0100)]
Add more external projects to regression tests

6 months agoFold locally static expressions with array type
Nick Gasson [Mon, 16 Oct 2023 13:30:45 +0000 (14:30 +0100)]
Fold locally static expressions with array type

6 months agoFix vhpi_get_value checks for too-small format
Nick Gasson [Sun, 15 Oct 2023 21:07:06 +0000 (22:07 +0100)]
Fix vhpi_get_value checks for too-small format

6 months agoRelax format checks in vhpi_get_value for integral types
Nick Gasson [Sun, 15 Oct 2023 20:49:30 +0000 (21:49 +0100)]
Relax format checks in vhpi_get_value for integral types

6 months agoFix crash after --relaxed warning. Issue #770
Nick Gasson [Sun, 15 Oct 2023 20:18:08 +0000 (21:18 +0100)]
Fix crash after --relaxed warning. Issue #770

6 months agoFix cyclic dependency bug with "use work.all"
Nick Gasson [Sun, 15 Oct 2023 20:10:55 +0000 (21:10 +0100)]
Fix cyclic dependency bug with "use work.all"

Fixes #769

6 months agoFix crash with unconstrained field in record aggregate
Nick Gasson [Sat, 14 Oct 2023 20:27:04 +0000 (21:27 +0100)]
Fix crash with unconstrained field in record aggregate

Issue #768

6 months agoAvoid crash with unsupported case choice expression
Nick Gasson [Sat, 14 Oct 2023 20:43:58 +0000 (21:43 +0100)]
Avoid crash with unsupported case choice expression

6 months agoAdd layout_of variant for signal types
Nick Gasson [Thu, 12 Oct 2023 19:26:12 +0000 (20:26 +0100)]
Add layout_of variant for signal types

6 months agoHandle records with globally static element bounds in VHPI
Nick Gasson [Thu, 12 Oct 2023 10:31:08 +0000 (11:31 +0100)]
Handle records with globally static element bounds in VHPI

6 months agoRename lower_const_bounds to type_const_bounds and make it public
Nick Gasson [Thu, 12 Oct 2023 10:49:59 +0000 (11:49 +0100)]
Rename lower_const_bounds to type_const_bounds and make it public

6 months agoVerilog continuous assignment and binary "&"
Nick Gasson [Tue, 10 Oct 2023 19:23:19 +0000 (20:23 +0100)]
Verilog continuous assignment and binary "&"

6 months agoVerilog blocking assignment
Nick Gasson [Tue, 10 Oct 2023 18:47:17 +0000 (19:47 +0100)]
Verilog blocking assignment

6 months agoAdd mechanism for storing comments in code blobs
Nick Gasson [Sat, 7 Oct 2023 19:20:36 +0000 (20:20 +0100)]
Add mechanism for storing comments in code blobs

6 months agoAdd missing ASAN_OPTIONS to GitHub Actions workflow
Nick Gasson [Sat, 7 Oct 2023 16:12:37 +0000 (17:12 +0100)]
Add missing ASAN_OPTIONS to GitHub Actions workflow

6 months agoUse same JIT instance for elaboration and AOT code generation
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Use same JIT instance for elaboration and AOT code generation

6 months agoPreserve JIT state between elaboration and runtime
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Preserve JIT state between elaboration and runtime

6 months agoStore the tag number rather than raw pointer in toggle callback
Nick Gasson [Sat, 7 Oct 2023 10:05:26 +0000 (11:05 +0100)]
Store the tag number rather than raw pointer in toggle callback

6 months agoMissing length checks for some ports with globally static bounds
Nick Gasson [Sat, 7 Oct 2023 09:28:13 +0000 (10:28 +0100)]
Missing length checks for some ports with globally static bounds

6 months agoAdd --vhpi-debug option for verbose VHPI error reporting
Nick Gasson [Fri, 6 Oct 2023 17:34:52 +0000 (18:34 +0100)]
Add --vhpi-debug option for verbose VHPI error reporting

6 months agoAvoid repeated calls to realpath(3) when printing diagnostics
Nick Gasson [Thu, 5 Oct 2023 18:50:40 +0000 (19:50 +0100)]
Avoid repeated calls to realpath(3) when printing diagnostics

6 months agoImprove overload resolution when argument is known to have character type
Nick Gasson [Thu, 5 Oct 2023 18:50:40 +0000 (19:50 +0100)]
Improve overload resolution when argument is known to have character type

7 months agoShrink textio LINE_BUFFER_SIZE for more efficient allocation
Nick Gasson [Wed, 4 Oct 2023 19:59:01 +0000 (20:59 +0100)]
Shrink textio LINE_BUFFER_SIZE for more efficient allocation

7 months agoImplement LCS2016-032 changes to instance/path name
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Implement LCS2016-032 changes to instance/path name

7 months agoSimplify lowering of 'instance_name and 'path_name
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Simplify lowering of 'instance_name and 'path_name

7 months agoParsing for Verilog binary & and | operators
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Parsing for Verilog binary & and | operators

7 months agoVcode thunks no longer have parameters
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Vcode thunks no longer have parameters

7 months agoRemove unused scope_flags_t
Nick Gasson [Wed, 4 Oct 2023 19:18:21 +0000 (20:18 +0100)]
Remove unused scope_flags_t

7 months agoReduce garbage collections caused by STD.TEXTIO subprograms
Nick Gasson [Tue, 3 Oct 2023 20:32:43 +0000 (21:32 +0100)]
Reduce garbage collections caused by STD.TEXTIO subprograms

7 months agoRevert "Temporarily enable debug mode in Debian package"
Nick Gasson [Tue, 3 Oct 2023 20:30:38 +0000 (21:30 +0100)]
Revert "Temporarily enable debug mode in Debian package"

This reverts commit 72468513accce6ab3f37dfce2402acc911c25c43.

7 months agoFix macOS build failure with TCL shell enabled
Nick Gasson [Tue, 3 Oct 2023 20:36:39 +0000 (21:36 +0100)]
Fix macOS build failure with TCL shell enabled

7 months agoAllow use of raw object pointer in cgen_rematerialise_object
Nick Gasson [Mon, 2 Oct 2023 21:03:08 +0000 (22:03 +0100)]
Allow use of raw object pointer in cgen_rematerialise_object

7 months agoFix bug in x86 tlab alloc stub
Nick Gasson [Mon, 2 Oct 2023 19:33:59 +0000 (20:33 +0100)]
Fix bug in x86 tlab alloc stub

7 months agoHandle $MOVE with overlapping regions in x86 backend
Nick Gasson [Mon, 2 Oct 2023 17:23:25 +0000 (18:23 +0100)]
Handle $MOVE with overlapping regions in x86 backend

7 months agoFix crash during lazy code generation
Nick Gasson [Mon, 2 Oct 2023 17:22:58 +0000 (18:22 +0100)]
Fix crash during lazy code generation

Issue #766