projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea2a214) | patch
Change "ne" to "neq" in btor2 output
authorClifford Wolf <clifford@clifford.at>
Fri, 19 Apr 2019 19:17:12 +0000 (21:17 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 19 Apr 2019 19:17:12 +0000 (21:17 +0200)
commit148caecca30ec4e8ebd459993f28560438131cb8
tree7c5e1ca3143d4003e4b42355cfd3f4187c9f0416tree
parentea2a21445efa49d2e3f4bb730ceb0a9034f7cb7acommit | diff
Change "ne" to "neq" in btor2 output

we need to do this because they changed the parser:
https://github.com/Boolector/btor2tools/commit/e97fc9cedabadeec4f621de22096e514f862c690

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/btor/btor.cc diff | blob | history