Lofty fd6367405e Merge pull request #6077 from YosysHQ/lofty/abc-refactor-8 ...

abc_ops_reintegrate: xaiger2 compatibility

2026-08-10 13:14:40 +00:00

..

aiger

Remove trailing whitespaces

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

aiger2

write_xaiger2: don't skip adding POs to map file

2026-08-05 11:48:31 +01:00

blif

Migrate build system to CMake

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

btor

Merge pull request #5983 from YosysHQ/nak/write_btor_bweqx

2026-08-03 14:34:39 +00:00

cxxrtl

End of file fix

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

edif

End of file fix

2026-06-23 07:23:41 +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

yosys-witness: give error on justice property, support only 'b'

2026-07-07 12:19:38 +02: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