nick 3deb8f313e fix 6151 - adding error cases to formal backends / also adding test ...

cases

2026-09-01 14:34:28 -06:00

..

aiger

Remove trailing whitespaces

2026-06-23 07:24:59 +02:00

aiger2

read_xaiger2: remove

2026-08-11 08:56:55 +01:00

blif

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

btor

fix 6151 - adding error cases to formal backends / also adding test

2026-09-01 14:34:28 -06:00

cxxrtl

Merge pull request #6119 from Wren6991/fix-cxxrtl-looprotate

2026-08-14 15:05:07 +00:00

edif

opt_clean: move unused_bits analysis to kernel/unused_bits.h

2026-08-12 11:42:50 +02:00

firrtl

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

functional

Remove trailing whitespaces

2026-06-23 07:24:59 +02:00

intersynth

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

jny

Fixed warnings found by gcc-16

2026-06-03 13:09:38 +02:00

json

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

rtlil

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

simplec

End of file fix

2026-06-23 07:23:41 +02:00

smt2

fix 6151 - adding error cases to formal backends / also adding test

2026-09-01 14:34:28 -06:00

smv

End of file fix

2026-06-23 07:23:41 +02:00

spice

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

table

Migrate build system to CMake

2026-06-03 08:58:10 +00:00

verilog

Fix typo in comment about address collision pattern

2026-08-04 06:44:05 +02:00

CMakeLists.txt

Migrate build system to CMake

2026-06-03 08:58:10 +00:00