Age | Commit message (Expand) | Author |
---|---|---|
2021-07-27 | Minor changes from proof-new (#6937) | Andrew Reynolds |
2021-05-28 | Disable `--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-28 | Support the SMT-LIB Unicode string standard by default (#4378) | Andrew Reynolds |
2018-10-18 | Improve reduction for str.to.int (#2636) | Andrew Reynolds |