Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-09-06 | Remove SMT1 parser. (#3228) | Mathias Preiner | |
This commit removes the SMT1 parser infrastructure and adds the SMT2 translations of the SMT1 regression tests. For now this commit removes regression test regress3/pp-regfile.smt since the SMT2 translation has a file size of 887M (vs. 172K for the SMT1 version). Fixes #2948 and fixes #1313. | |||
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean | |
This should also fix bug 325. |