Krystine Sherwin 07e3d648aa Add check_mem command ... Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878. Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files.		2026-05-29 18:40:23 +12:00
..
aiger	Do not use Makefile.conf	2026-05-19 14:29:06 +02:00
alumacc	Use generic testing on few more places	2026-04-16 11:00:44 +02:00
arch	Add matching for fused mac operations for Nexus (fix #5906).	2026-05-28 09:58:18 +02:00
arith_tree	Update arith_tree tests	2026-04-16 11:04:14 +02:00
asicworld	Convert autotest script wrapper	2026-04-16 11:00:44 +02:00
bind	Use generic testing on few more places	2026-04-16 11:00:44 +02:00
blif	Cleanup	2026-04-16 11:00:44 +02:00
bram	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
bugpoint	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
check_mem	Add check_mem command	2026-05-29 18:40:23 +12:00
cxxrtl	Cleanup	2026-04-16 11:00:44 +02:00
errors	Rename the generic "Syntax error" message from the Verilog/SystemVerilog parser into unique,	2018-10-25 02:37:56 +03:00
fmt	Cleanup	2026-04-16 11:00:44 +02:00
fsm	Did share, opt_share and fsm	2026-04-16 11:00:44 +02:00
functional	Fix functional tests	2026-05-19 14:42:08 +02:00
hana	Convert autotest script wrapper	2026-04-16 11:00:44 +02:00
liberty	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
lut	Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.	2025-07-22 10:38:38 +00:00
memfile	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
memlib	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
memories	Make better validation	2026-05-18 08:50:38 +02:00
opt	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00
opt_share	Did share, opt_share and fsm	2026-04-16 11:00:44 +02:00
peepopt	Converted some more	2026-04-16 11:00:44 +02:00
proc	Converted some more	2026-04-16 11:00:44 +02:00
pyosys	Revert "Fix tests due to ABC improvements"	2026-05-11 14:47:08 +02:00
realmath	Cleanup	2026-04-16 11:00:44 +02:00
rpc	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
rtlil	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
sat	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00
sdc	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
select	Converted some more	2026-04-16 11:00:44 +02:00
share	Did share, opt_share and fsm	2026-04-16 11:00:44 +02:00
sim	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00
simple	Convert autotest script wrapper	2026-04-16 11:00:44 +02:00
simple_abc9	Convert autotest script wrapper	2026-04-16 11:00:44 +02:00
smv	Remove references to ilang	2024-11-05 12:36:31 +13:00
sva	Expose SBY binary location	2026-05-19 16:08:21 +02:00
svinterfaces	Cleanup	2026-04-16 11:00:44 +02:00
svtypes	Support positional assignment patterns for unpacked arrays	2026-04-23 14:29:38 -07:00
techmap	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
tools	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
unit	threading: whitespace	2026-05-18 16:26:14 +02:00
various	proc: ignore nosync temporaries in always_latch checks	2026-05-26 00:56:07 +08:00
verific	Convert gen-tests shell script to python	2026-04-16 11:00:44 +02:00
verilog	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
vloghtb	tests: use /usr/bin/env for bash.	2023-08-12 11:59:39 +10:00
xprop	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
.gitignore	Save results, and create summary and report	2026-04-16 11:00:44 +02:00
common.mk	Putting back some Makefile.conf	2026-05-28 11:13:29 +02:00
gen_tests_makefile.py	Add check_mem command	2026-05-29 18:40:23 +12:00
Makefile	Make out of tree build testing possible	2026-05-19 14:26:07 +02:00
pass-fuzzing.md	Add AFL++ Grammar-Generator grammar for RTLIL fuzzing, and instructions for how to use it.	2025-12-22 21:56:26 +00:00