Jannis Harder 930bcf0e75 smt2, btor: Revert calling memory_map -rom-only ...

This approach had major issues with ROMs whose initialization was not
fully defined. If required, memory_map -rom-only -keepdc should be
called early in a formal flow instead. (This does require a careful
choice of optimization passes though. Sby's scripts will be updated
accordingly.)

2022-06-29 18:28:34 +02:00

..

aiger

Add -no-startoffset option to write_aiger

2022-03-25 08:44:45 +01:00

blif

Fixing old e-mail addresses and deadnames

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

btor

smt2, btor: Revert calling memory_map -rom-only

2022-06-29 18:28:34 +02:00

cxxrtl

Add $bmux and $demux cells.

2022-01-28 23:34:41 +01:00

edif

Fixing old e-mail addresses and deadnames

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

firrtl

Use proper operator

2022-05-27 10:23:34 +02:00

intersynth

Intersynth URL

2021-06-09 12:42:52 +02:00

jny

pass jny: flipped the defaults for the inclusion of various bits of metadata

2022-04-08 08:05:15 +02:00

json

Merge pull request #3210 from rqou/json-signed

2022-03-07 09:41:25 +01:00

protobuf

Fix protobuf backend build dependencies

2021-09-17 13:36:39 +10:00

rtlil

rtlil: Dump empty connections when whole module is selected.

2021-12-12 01:22:06 +01:00

simplec

Fixing old e-mail addresses and deadnames

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

smt2

smt2, btor: Revert calling memory_map -rom-only

2022-06-29 18:28:34 +02:00

smv

Add $bmux and $demux cells.

2022-01-28 23:34:41 +01:00

spice

Fixing old e-mail addresses and deadnames

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

table

Fixing old e-mail addresses and deadnames

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

verilog

verilog backend: Emit a wire for ports as well.

2022-01-31 01:08:41 +01:00