whitequark bc2de4567c Merge pull request #2518 from zachjs/recursion ... verilog: improved support for recursive functions		2021-01-01 09:32:26 +00:00
..
aiger	switch argument order to work with macOS getopt	2020-09-23 12:48:26 +02:00
arch	nexus: DSP inference support	2020-11-20 08:45:55 +00:00
asicworld
bram
errors
fsm
hana
liberty
lut
memfile
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
proc
realmath
rpc
sat	Merge pull request #2378 from udif/pr_dollar_high_low	2020-10-01 18:17:36 +02:00
select
share
simple	tests/simple: remove "nullglob" shopt	2020-09-21 15:07:02 +02:00
simple_abc9
smv
sva
svinterfaces
svtypes	tests: Centralize test collection and Makefile generation	2020-09-21 15:07:02 +02:00
techmap	tests: Centralize test collection and Makefile generation	2020-09-21 15:07:02 +02:00
tools	Replace opt_rmdff with opt_dff.	2020-08-07 13:21:03 +02:00
unit
various	Merge pull request #2518 from zachjs/recursion	2021-01-01 09:32:26 +00:00
verilog	Merge pull request #2380 from Xiretza/parallel-tests	2020-10-01 18:12:31 +02:00
vloghtb
gen-tests-makefile.sh	tests: Parallelize	2020-09-21 15:07:02 +02:00