Emil J. Tywoniak 76102f0bc5 $not now passes test_cell!

2024-06-19 18:55:40 +02:00

..

aiger

write_aiger: Include $assert and $assume cells in -ywmap output

2024-03-04 16:53:03 +01:00

blif

100%

2024-06-14 17:26:48 +02:00

btor

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

cxxrtl

100%

2024-06-14 17:26:48 +02:00

edif

73%

2024-06-13 22:50:21 +02:00

firrtl

100%

2024-06-14 17:26:48 +02:00

intersynth

73%

2024-06-13 22:50:21 +02:00

jny

100%

2024-06-14 17:26:48 +02:00

json

100%

2024-06-14 17:26:48 +02:00

rtlil

$not now passes test_cell!

2024-06-19 18:55:40 +02:00

simplec

tests: use /usr/bin/env for bash.

2023-08-12 11:59:39 +10:00

smt2

smtbmc: Improvements for --incremental and .yw fixes

2024-05-07 17:57:37 +02:00

smv

Ignore $scopeinfo in write_smv

2024-02-06 17:51:29 +01:00

spice

Ignore $scopeinfo in write_spice

2024-02-06 17:51:29 +01:00

table

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

verilog

100%

2024-06-14 17:26:48 +02:00