projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa5d5ad) | patch
Use `-no-startoffset`, avoiding index mismatch between aiger and smt2
authorJannis Harder <me@jix.one>
Fri, 25 Mar 2022 10:38:22 +0000 (11:38 +0100)
committerJannis Harder <me@jix.one>
Fri, 25 Mar 2022 10:41:08 +0000 (11:41 +0100)
commit079df4d95f6955b9f4dc0b48b8fd282b0c0983ac
tree00dc6ce8de464de7d80c04fc958bac31fefaab4dtree
parentfa5d5ad831dcbea08ea1d9d6ff81df697183eaa1commit | diff
Use `-no-startoffset`, avoiding index mismatch between aiger and smt2
sbysrc/sby_core.py diff | blob | history