summaryrefslogtreecommitdiff
path: root/test/regress/regress1/sygus/array_search_2.sy
AgeCommit message (Expand)Author
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-23Replace old sygus term reconstruction algorithm with a new one. (#5779)Abdalrhman Mohamed
2020-04-20Make option names related to CEGQI consistent (#4316)Andrew Reynolds
2020-03-21Convert V1 Sygus files to V2. (#4136)Abdalrhman Mohamed
2018-11-21Quickly recognize when PBE conjectures are infeasible (#2718)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback