|
aiger
|
switch argument order to work with macOS getopt
|
2020-09-23 12:48:26 +02:00 |
|
arch
|
Update nexus arch tests to new harness
|
2020-10-29 14:42:07 +01:00 |
|
memories
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |
|
opt
|
opt_clean: Better memory handling.
|
2020-10-08 18:05:51 +02:00 |
|
opt_share
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |
|
sat
|
Merge pull request #2378 from udif/pr_dollar_high_low
|
2020-10-01 18:17:36 +02:00 |
|
simple
|
Fix begin/end in generate
|
2020-11-11 12:03:37 +09:00 |
|
tools
|
Replace opt_rmdff with opt_dff.
|
2020-08-07 13:21:03 +02:00 |
|
verilog
|
Merge pull request #2380 from Xiretza/parallel-tests
|
2020-10-01 18:12:31 +02:00 |
|
gen-tests-makefile.sh
|
tests: Parallelize
|
2020-09-21 15:07:02 +02:00 |