Nick Gasson's Git Repositories

]> Nick Gasson's Git Repositories - nvc.git/shortlog

2 days ago	Nick Gasson	Parse Verilog for loops master github/master sr.ht/master	commit \| commitdiff \| tree
4 days ago	Nick Gasson	PSL built-in functions are only allowed where Boolean...	commit \| commitdiff \| tree
4 days ago	Simon Voigt...	Replace redundant copy of libraryName with missing...	commit \| commitdiff \| tree
5 days ago	NikLeberg	Fix crash with call with too many named arguments....	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Bump version to 1.16-devel	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Update for 1.15 release v1.15-branch github/v1.15-branch sr.ht/v1.15-branch r1.15.0	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Update OSVVM and UVVM versions	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Fix mis-parsed comment inside PSL directive. Fixes...	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Avoid heap allocation in type_set_push	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Spurious error when trying to apply condition conversio...	commit \| commitdiff \| tree
8 days ago	Nick Gasson	Correct VHPI type name for nested array element subtype	commit \| commitdiff \| tree
8 days ago	NikLeberg	Add support for `'*_name` attributes of generate block...	commit \| commitdiff \| tree
8 days ago	NikLeberg	Fix crash with invalid range type for aggregate (#1123)	commit \| commitdiff \| tree
10 days ago	NikLeberg	Fix crash with invalid aggregate field name (#1121)	commit \| commitdiff \| tree
12 days ago	Nick Gasson	PSL never properties always fail. Fixes #1117	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Fix assertion failure after local allocation in property	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Improve tracing of vhpi_register_cb parameters	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Fix crash instantiating a subprogram containing a file...	commit \| commitdiff \| tree
12 days ago	NikLeberg	Fix crash with instantiation of unexpected kind (#1120)	commit \| commitdiff \| tree
12 days ago	NikLeberg	Fix crash in overload check of invalid alias declaratio...	commit \| commitdiff \| tree
2025-01-02	Nick Gasson	Wrong debug output for VHPI callback in vhpiDisable...	commit \| commitdiff \| tree
2025-01-02	Nick Gasson	Fix crash when PSL sequence starts with indexed name...	commit \| commitdiff \| tree
2024-12-31	Nick Gasson	Correct error location after Verilog macro expansion	commit \| commitdiff \| tree
2024-12-31	Nick Gasson	Define Verilog preprocessor macros on command line	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Cache external names at use site	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Move all external name resolution to runtime	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Add intrinsics for unsigned comparison	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Fix corner case with trigger update order	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Ensure thread-local buffer is reset correctly	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Elide driver update in some cases	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Disable output port collapsing	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Optimised copy and comparison functions in runtime	commit \| commitdiff \| tree
2024-12-28	Nick Gasson	Optimise conversion function memory usage	commit \| commitdiff \| tree
2024-12-27	Nick Gasson	Add redzone around runtime static allocations	commit \| commitdiff \| tree
2024-12-26	Nick Gasson	Fix unused variable warning on release build	commit \| commitdiff \| tree
2024-12-25	Nick Gasson	Fix 'last_active when port has conversion function	commit \| commitdiff \| tree
2024-12-25	Nick Gasson	Remove remaining uses of ptr_list_t	commit \| commitdiff \| tree
2024-12-22	Nick Gasson	Refactor implementation of conversion functions. Fixes...	commit \| commitdiff \| tree
2024-12-22	Nick Gasson	Fix 'driving_value when prefix is a record	commit \| commitdiff \| tree
2024-12-22	NikLeberg	Fix crash with type interface in function parameters...	commit \| commitdiff \| tree
2024-12-20	Nick Gasson	Make usage of signal initial / driving area more explicit	commit \| commitdiff \| tree
2024-12-19	Nick Gasson	Parse Verilog concatenation	commit \| commitdiff \| tree
2024-12-19	Nick Gasson	Parse more Verilog datatypes	commit \| commitdiff \| tree
2024-12-18	Nick Gasson	Parse Verilog `begin_keywords and `end_keywords	commit \| commitdiff \| tree
2024-12-18	Nick Gasson	Handle external name referencing package body	commit \| commitdiff \| tree
2024-12-17	Nick Gasson	Handle `undef in Verilog preprocessor	commit \| commitdiff \| tree
2024-12-17	Nick Gasson	Parse Verilog conditional expression and more binary...	commit \| commitdiff \| tree
2024-12-17	NikLeberg	Fix crash when new instance with generics is created...	commit \| commitdiff \| tree
2024-12-17	NikLeberg	Fix crash with duplicate aliases in name resolution...	commit \| commitdiff \| tree
2024-12-17	Nick Gasson	Parse Verilog parameter declarations	commit \| commitdiff \| tree
2024-12-17	NikLeberg	Fix crash with missing choices in aggregate. (#1104)	commit \| commitdiff \| tree
2024-12-17	Ondrej Ille	Mark onehot,onehot0 PSL built-ins as implemented. ...	commit \| commitdiff \| tree
2024-12-15	Nick Gasson	Refactor driving and effective value calculation	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Parse Verilog wait statements	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Verilog relational operators	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Improve error when no overload applicable in context	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Warn if VHPI non-object callback has non-NULL obj/value...	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Set exit code from vhpi_assert (#1060)	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	JIT support for Windows-on-Arm	commit \| commitdiff \| tree
2024-12-14	Nick Gasson	Tentatively re-enable wave tests on Windows	commit \| commitdiff \| tree
2024-12-13	Nick Gasson	Limit object graph traversal in gc_mark_from_root....	commit \| commitdiff \| tree
2024-12-13	Nick Gasson	Do missing object type check only once at startup	commit \| commitdiff \| tree
2024-12-13	Oscar Gustafsson	Update README to include the Surfer waveform viewer...	commit \| commitdiff \| tree
2024-12-12	Ondrej Ille	Add PSL 2010 features breakdown to HTML docs. (#1081)	commit \| commitdiff \| tree
2024-12-12	NikLeberg	Raise error when entity aspect is missing in configurat...	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Pass Vivado vhdl_analyze_order to nvc -a -f directly...	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Slightly improve code generation for object_visit	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Error rather than crash on incremental binding. Issue...	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Tweak reporting of invalid formal names	commit \| commitdiff \| tree
2024-12-11	NikLeberg	Raise error when formal part is illegal. (#1093)	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Avoid newline in AC_CHECK_FUNCS. Fixes #1095	commit \| commitdiff \| tree
2024-12-11	Nick Gasson	Fix crash with array-of-record in conversion function...	commit \| commitdiff \| tree
2024-12-09	Nick Gasson	Parsing for Verilog task and function declarations	commit \| commitdiff \| tree
2024-12-07	Nick Gasson	Fix crash after circular package reference. Fixes ...	commit \| commitdiff \| tree
2024-12-07	Nick Gasson	Handle expression in Verilog net declarations	commit \| commitdiff \| tree
2024-12-07	Nick Gasson	Parse Verilog shift operators	commit \| commitdiff \| tree
2024-12-05	Nick Gasson	Fix parser crash after invalid PSL directive. Fixes...	commit \| commitdiff \| tree
2024-12-05	Nick Gasson	Raise error when parameter list contains type interface...	commit \| commitdiff \| tree
2024-12-05	NikLeberg	Fix crash on package definition in interface decl....	commit \| commitdiff \| tree
2024-12-05	NikLeberg	Fix crash on duplicated protected body. (#1087)	commit \| commitdiff \| tree
2024-12-03	NikLeberg	Fix parser hang for bit string literals. (#1085)	commit \| commitdiff \| tree
2024-12-03	NikLeberg	Fix crash on invalid subtype indication. (#1082)	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Add support for package external names. Fixes #1072	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Fix error parsing nested compound SERE	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Add support for PSL length matching &&. Fixes 996	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Fix memory leaks in PSL FSM construction	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Reuse edges when simplifying PSL state graph	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Prune unreachable states	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Collapse PSL epsilon edges before lowering	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Allow combining PSL guards with boolean operators	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Avoid writing intermediate .dot file for PSL graph	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Improve error recovery in Verilog parser	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Parsing for more Verilog loop structures	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Add stub implementation for $monitor	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Build VPI objects for module, nets, and variables	commit \| commitdiff \| tree
2024-12-01	Nick Gasson	Add a utility to dump VPI object model	commit \| commitdiff \| tree
2024-12-01	NikLeberg	Fix crash on type mark error for protected func. (...	commit \| commitdiff \| tree
2024-11-23	Nick Gasson	Sync NEWS.md from 1.14 branch	commit \| commitdiff \| tree
2024-11-23	Nick Gasson	Avoid use of nproc on macOS	commit \| commitdiff \| tree
2024-11-22	Nick Gasson	Fix crash with subtype in element association range...	commit \| commitdiff \| tree
next

VHDL compiler and simulator

RSS Atom