| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-17 | smt: correctly serialize array index on read (#2446) | Kevin Laeufer |
| 2021-09-13 | Bump Scala to 2.12.14 and 2.13.6 (#2356) | Jack Koenig |
| 2021-09-08 | smt: make SMT + TransitionSystem lib public (#2350) | Kevin Laeufer |
| 2021-09-08 | smt: refactor SMT expression library (#2347) | Kevin Laeufer |
| 2020-12-02 | smt: add support for uninterpreted ext modules (#1994) | Kevin Laeufer |
| 2020-09-16 | Change to Apache 2.0 License (#1901) | Chick Markley |
| 2020-08-14 | All of src/ formatted with scalafmt | chick |
| 2020-08-15 | experimental SMTLib and btor2 emitter (#1826) | Kevin Laeufer |
