summaryrefslogtreecommitdiff
path: root/test/regress/regress0/quantifiers/simp-typ-test.smt2
AgeCommit message (Expand)Author
2015-04-23A few more minor updates to match google repository with CVC4 repositoryClark Barrett
2015-04-21Fix file permissionsClark Barrett
2014-05-23Fix bug in E-matching Real/Int terms.Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback