projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ab3a932 4adef63)
Merge pull request #3383 from jix/write_formal_map_roms
authorJannis Harder <me@jix.one>
Fri, 17 Jun 2022 17:08:14 +0000 (19:08 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Jun 2022 17:08:14 +0000 (19:08 +0200)
smt2, btor: Use memory_map -rom-only to make ROMs usable for k-induction


Trivial merge