yosys/backends/btor
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
..
.gitignore Add missing gitignores for test artifacts 2020-08-31 19:43:51 +02:00
Makefile.inc Add skeleton for new BTOR back-end 2017-11-23 06:38:57 +01:00
btor.cc smt2, btor: Revert calling memory_map -rom-only 2022-06-29 18:28:34 +02:00
test_cells.sh Respect \A_SIGNED for $shift 2020-08-18 19:36:24 +02:00