Jannis Harder 41452e43b2

Merge pull request #4475 from georgerennie/skip_cover ...

smtbmc: Support skipping steps in cover mode

2025-09-01 13:53:04 +02:00

..

aiger

Merge pull request #5109 from YosysHQ/emil/aiger-map-fix-outputs

2025-06-02 15:07:19 +02:00

aiger2

abc_new: Fix PI confusion in whitebox model export

2024-12-10 14:27:29 +01:00

blif

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

btor

Merge pull request #4711 from georgerennie/george/btor_buf

2025-09-01 13:38:25 +02:00

cxxrtl

cxxrtl: Add debug items for state with private names

2025-05-26 16:58:13 +02:00

edif

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

firrtl

Remove some c_str() calls where they're no longer needed as parameters to stringf().

2025-08-18 14:20:31 +01:00

functional

Reapply "Add groups to command reference"

2025-08-06 13:52:12 +12:00

intersynth

Remove some c_str() calls where they're no longer needed as parameters to stringf().

2025-08-18 14:20:31 +01:00

jny

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

json

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

rtlil

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

simplec

Remove some c_str() calls where they're no longer needed as parameters to stringf().

2025-08-18 14:20:31 +01:00

smt2

Merge pull request #4475 from georgerennie/skip_cover

2025-09-01 13:53:04 +02:00

smv

driver: allow --no-version still write things like Generated by Yosys

2025-05-07 11:34:23 +02:00

spice

Remove some c_str() calls where they're no longer needed as parameters to stringf().

2025-08-18 14:20:31 +01:00

table

Fixing old e-mail addresses and deadnames

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

verilog

update verilog_backend according to Github comments

2025-08-08 16:17:37 +08:00