Nick Gasson's Git Repositories

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

3 days ago	Nick Gasson	FST dumping for nested arrays. Fixes #1071 master github/master sr.ht/master	commit \| commitdiff \| tree
3 days ago	Nick Gasson	Add a minimal VPI implementation for system tasks	commit \| commitdiff \| tree
3 days ago	Nick Gasson	Fix uninitialised variable warning in lower_port_map	commit \| commitdiff \| tree
3 days ago	Ondrej Ille	Add PSL non-consecutive and goto repetition support...	commit \| commitdiff \| tree
3 days ago	Ondrej Ille	Add SERE fusion support. (#1078)	commit \| commitdiff \| tree
5 days ago	Nick Gasson	Handle partial association of interface views. Issue...	commit \| commitdiff \| tree
5 days ago	Nick Gasson	Dumping for view declarations	commit \| commitdiff \| tree
6 days ago	Nick Gasson	Check alias of external name does not have subtype...	commit \| commitdiff \| tree
6 days ago	Ondrej Ille	PSL SERE repetition (#1053)	commit \| commitdiff \| tree
7 days ago	Nick Gasson	Allow multiple taken edges from PSL state	commit \| commitdiff \| tree
7 days ago	Nick Gasson	Get architecture type from preprocessor defines. Issue...	commit \| commitdiff \| tree
8 days ago	Nick Gasson	Improve checking of 'RANGE attribute. Fixes #1067	commit \| commitdiff \| tree
8 days ago	Nick Gasson	Move code coverage database out of library directory	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Add --no-save analysis option and deprecated --syntax	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Make VHPI memory stats less verbose	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Implement vhpiType relationship for selected names	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Bump version to 1.15-devel	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Build VHPI record elements lazily	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Build VHPI enumeration literals lazily	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Use an arena to allocate VHPI objects	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Remove vhpi_is_repetitive	commit \| commitdiff \| tree
10 days ago	Nick Gasson	Refactor building of VHPI types	commit \| commitdiff \| tree
11 days ago	Nick Gasson	Create type bounds variable for records	commit \| commitdiff \| tree
11 days ago	Nick Gasson	Wrong bounds for nested array of records in FST dump	commit \| commitdiff \| tree
11 days ago	Nick Gasson	Add debug environment variable for layouts	commit \| commitdiff \| tree
11 days ago	Nick Gasson	Separate runtime scope types for arrays and records	commit \| commitdiff \| tree
11 days ago	NikLeberg	Fix parser hang for integers in scientific notation...	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Types and subtypes are valid named entities. Fixes...	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Fix crash with external name in sensitivity list. Fixes...	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Use vhpiLazyListT for VHPI selected and indexed names	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Expand VHPI root instance lazily	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Abstract some of the VHPI lazy expansion logic	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Adjust handling of implicit component block in VHPI	commit \| commitdiff \| tree
12 days ago	Nick Gasson	Get rid of VHPI InternalRegions list	commit \| commitdiff \| tree
12 days ago	NikLeberg	Fix crash on long source lines. (#1061)	commit \| commitdiff \| tree
13 days ago	Ondrej Ille	Optimize toggle coverage performance (#1041)	commit \| commitdiff \| tree
13 days ago	NikLeberg	Handle invalid use of attribute as range (#1058)	commit \| commitdiff \| tree
13 days ago	NikLeberg	Fix crash on unexpected psl builtin function in primary...	commit \| commitdiff \| tree
2024-11-06	Nick Gasson	Handle OPEN index constraint in VHPI. Fixes #1057	commit \| commitdiff \| tree
2024-11-06	Nick Gasson	Missing check for reconstraining constrained array...	commit \| commitdiff \| tree
2024-11-06	Nick Gasson	Fix typo in cgen_pointer_mask	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Fix leak of VHPI c_tool instance	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Fix parsing of selected name in resolution indication...	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Split split_nexus into fast/slow paths	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Improve test selection in run_regr	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Keep track of all watched signals in rt_watch_t	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	MacOS LLVM only requires -L for libzstd (#1056)	commit \| commitdiff \| tree
2024-11-04	Nick Gasson	Fix some errors from Clang ubsan	commit \| commitdiff \| tree
2024-11-03	Nick Gasson	Fixes to handling of staticness of generics and constants	commit \| commitdiff \| tree
2024-11-03	Nick Gasson	Spill excess arguments to temporary storage. Fixes...	commit \| commitdiff \| tree
2024-11-03	Nick Gasson	Add a test case for issue #1030	commit \| commitdiff \| tree
2024-11-03	Nick Gasson	Missing Verilog "or" and "=" operators. Issue #1044	commit \| commitdiff \| tree
2024-11-03	Nick Gasson	Implement PSL logical operators. Issue #998	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	PSL assertions should not be postponed	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	Allow VHPI value change callback on records	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	Refactor event watching interface	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	Handle selected names in vhpi_register_cb. Issue #1045	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	Refactor vhpi_handle_by_name	commit \| commitdiff \| tree
2024-11-02	NikLeberg	Add NULL check before calling type_eq. (#1050)	commit \| commitdiff \| tree
2024-11-02	Nick Gasson	Avoid duplicate -lstd warning on macOS	commit \| commitdiff \| tree
2024-11-02	NikLeberg	Fix crash on warning of hidden declaration. Issue ...	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	PSL suffix implication. Issue #912	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Avoid use of IEEE libs in unit tests	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Add a test-and-set bit mask operation	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Refactor emission of PSL assertion failures	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Add support for PSL before operator. Issue #998	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Add support for PSL abort operator. Issue #998	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Fix translation of empty SERE repetition	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Avoid generating redundant empty blocks from PSL	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Build PSL implications recursively as with other nodes	commit \| commitdiff \| tree
2024-10-30	Nick Gasson	Fix crash with zero-length string literal and enumerate...	commit \| commitdiff \| tree
2024-10-30	Jonathan Eisch	Fix missing libzstd dependency for LLVM on macOS (...	commit \| commitdiff \| tree
2024-10-28	Nick Gasson	Implement 'last_value for record types. Fixes #1043	commit \| commitdiff \| tree
2024-10-28	Nick Gasson	Another attempt to fix line endings in test/regress...	commit \| commitdiff \| tree
2024-10-26	Nick Gasson	Sync NEWS.md from 1.14 branch	commit \| commitdiff \| tree
2024-10-26	Nick Gasson	Do not force -mpopcnt if it was explicitly disabled...	commit \| commitdiff \| tree
2024-10-26	Nick Gasson	Fix test_native unit test on X86 CPUs without SSE4.1	commit \| commitdiff \| tree
2024-10-26	Nick Gasson	Fix crash analysing VHDL-2008 concatenation in aggregate	commit \| commitdiff \| tree
2024-10-25	Nick Gasson	Fix crash after bounds checking error. Fixes #1040	commit \| commitdiff \| tree
2024-10-24	Nick Gasson	Use full path to C compiler on Windows by default....	commit \| commitdiff \| tree
2024-10-24	Nick Gasson	Use CRLF line endings for test/regress/vlog2.v	commit \| commitdiff \| tree
2024-10-23	NikLeberg	Warn on missing wait (#1034)	commit \| commitdiff \| tree
2024-10-22	Nick Gasson	Analyse unisims/retarget in install-vivado.sh. Fixes...	commit \| commitdiff \| tree
2024-10-22	Nick Gasson	Make sure set_cover_scope_name is covered in regression...	commit \| commitdiff \| tree
2024-10-22	Ondrej Ille	OSVVM functional coverage integration (#1032)	commit \| commitdiff \| tree
2024-10-21	Nick Gasson	Handle record subtypes in VHPI. Fixes #1035	commit \| commitdiff \| tree
2024-10-21	Nick Gasson	Check PSL sequence declaration. Fixes #1023	commit \| commitdiff \| tree
2024-10-20	Nick Gasson	Fix incorrect result of signal_layout_of for records...	commit \| commitdiff \| tree
2024-10-20	Nick Gasson	Check argument of PSL restrict and assume. Fixes #1026	commit \| commitdiff \| tree
2024-10-20	Nick Gasson	Fix crash with output conversion in procedure call...	commit \| commitdiff \| tree
2024-10-20	Nick Gasson	Fix crash when generic subprogram is associated with...	commit \| commitdiff \| tree
2024-10-20	Nick Gasson	Improve checking of generic maps with open associations	commit \| commitdiff \| tree
2024-10-20	Ondrej Ille	Report coverage correctly when it is 0 % (#1033)	commit \| commitdiff \| tree
2024-10-18	Nick Gasson	Fix crash when external name is passed to procedure...	commit \| commitdiff \| tree
2024-10-16	Nick Gasson	More validation of names passed to coverage API. Issue...	commit \| commitdiff \| tree
2024-10-16	Nick Gasson	Check that implicit signal parameters are static. Fixes...	commit \| commitdiff \| tree
2024-10-14	Nick Gasson	Add package for creating user-defined functional covera...	commit \| commitdiff \| tree
2024-10-14	Nick Gasson	Add analysis option to detect incomplete sensitivity...	commit \| commitdiff \| tree
2024-10-13	Nick Gasson	Recursively map generic types during elaboration. Issue...	commit \| commitdiff \| tree
2024-10-13	Nick Gasson	Refactor handling of Verilog drive strengths	commit \| commitdiff \| tree
next

VHDL compiler and simulator

RSS Atom