Yilou Wang 935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)		2026-04-20 07:43:18 +02:00
..
t	Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)	2026-04-20 07:43:18 +02:00
.gdbinit	…
.gitignore	…
CMakeLists.txt	Remove multi-threaded FST tracing (#7443)	2026-04-19 16:02:12 +01:00
Makefile	Test: Remove old Makefile rules	2026-04-13 21:09:09 -04:00
Makefile_obj	Add SPDX copyright identifiers, and get 'reuse' clean. No functional change.	2026-01-26 20:24:34 -05:00
driver.py	Remove multi-threaded FST tracing (#7443)	2026-04-19 16:02:12 +01:00
input.vc	…
input.xsim.vc	…