Miodrag Milanovic 2cb3d671d6 yosys-witness: give error on justice property, support only 'b'		2026-07-07 12:19:38 +02:00
..
aiger
aiger2
blif
btor
cxxrtl
edif
firrtl
functional
intersynth
jny
json
rtlil
simplec
smt2	yosys-witness: give error on justice property, support only 'b'	2026-07-07 12:19:38 +02:00
smv
spice
table
verilog
CMakeLists.txt