|
aiger
|
switch argument order to work with macOS getopt
|
2020-09-23 12:48:26 +02:00 |
|
fsm
|
tests: fsm to use a randomly-generated seed
|
2020-04-24 14:31:33 -07:00 |
|
lut
|
Forgot to commit
|
2019-07-16 12:44:26 -07:00 |
|
memfile
|
Added 'set -e' into tests/memfile/run-test.sh
|
2020-02-06 10:45:40 -03:00 |
|
memories
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |
|
opt_share
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |
|
proc
|
proc_clean: fix order of switch insertion.
|
2019-08-19 16:44:23 +00:00 |
|
sat
|
assertpmux: Fix crash on unused $pmux output.
|
2021-02-22 23:30:28 +01:00 |
|
simple
|
verilog: fix handling of nested ifdef directives
|
2021-03-01 12:28:33 -05:00 |
|
svtypes
|
Add typedef input/output test
|
2021-01-18 17:31:22 +01:00 |
|
techmap
|
Add tests for some common techmap files.
|
2021-02-24 01:07:34 +01:00 |
|
tools
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |
|
various
|
Add tests for $countbits
|
2021-02-26 12:28:58 -05:00 |
|
gen-tests-makefile.sh
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |