summaryrefslogtreecommitdiff
path: root/test/regress/regress1/strings/stoi-400million.smt2
AgeCommit message (Expand)Author
2021-07-27Minor changes from proof-new (#6937)Andrew Reynolds
2021-05-28Disable `--jh-rlv-order` for slow regressions (#6633)Andres Noetzli
2021-03-16[proof-new] Renaming proof option to be in sync with SMT-LIB (#6154)Haniel Barbosa
2021-03-16[proof-new] Disabling proofs on regressions with known bug (#6151)Haniel Barbosa
2020-04-28Support the SMT-LIB Unicode string standard by default (#4378)Andrew Reynolds
2018-10-18Improve reduction for str.to.int (#2636)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback