Age | Commit message (Expand) | Author |
---|---|---|
2021-03-23 | Removing unused build options and deprecated proof compile flag (#6195) | Haniel Barbosa |
2021-03-23 | Replace old sygus term reconstruction algorithm with a new one. (#5779) | Abdalrhman Mohamed |
2020-04-20 | Make option names related to CEGQI consistent (#4316) | Andrew Reynolds |
2020-03-21 | Convert V1 Sygus files to V2. (#4136) | Abdalrhman Mohamed |
2018-11-21 | Quickly recognize when PBE conjectures are infeasible (#2718) | Andrew Reynolds |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |