Dag Lem 26db5a11d3 Resolve struct member package types		2023-01-29 13:51:44 -05:00
..
aiger
arch	fabulous: Allow adding extra custom prims and map rules	2022-11-17 13:34:58 +01:00
asicworld
bind
blif	Adding check for BLIF names command input plane size.	2022-08-21 23:18:20 -05:00
bram
errors
fsm
hana
liberty
lut
memfile
memlib
memories
opt	simplemap: Map $xnor to $_XNOR_ cells	2022-11-29 19:06:45 +01:00
opt_share
proc
realmath
rpc
sat
select
share
sim	Replace GNU specific invocation of basename(1) with the equivalent	2022-10-23 11:02:18 +13:00
simple	verilog: Support module-scoped task/function calls	2022-10-29 15:14:11 -04:00
simple_abc9
smv
sva
svinterfaces
svtypes	Resolve struct member package types	2023-01-29 13:51:44 -05:00
techmap	Reenable existing equiv_opt tests	2022-10-07 16:04:51 +02:00
tools	support file locations containing spaces	2022-08-08 20:30:50 +02:00
unit
various	simplify: regression test for AST_CELLARRAY simplification issue	2022-12-07 18:41:55 +01:00
verilog
vloghtb
xprop	New xprop pass to encode 3-valued x-propagation using 2-valued logic	2022-11-30 19:01:28 +01:00
gen-tests-makefile.sh	support file locations containing spaces	2022-08-08 20:30:50 +02:00