projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8beb91c) | patch
Parsing support for define-fun-rec/define-funs-rec.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 23 Mar 2015 16:54:55 +0000 (17:54 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 23 Mar 2015 16:54:55 +0000 (17:54 +0100)
commit4247dc59f1219695750a33db776ae02b244cee7f
treeb0c37453d1fdb2b68a5635423b346a4ea3343767tree
parent8beb91c3113dae4a858a30c7a21387e833d60527commit | diff
Parsing support for define-fun-rec/define-funs-rec.
src/parser/smt2/Smt2.g diff | blob | history
test/regress/regress0/quantifiers/Makefile.am diff | blob | history
test/regress/regress0/quantifiers/is-even-pred.smt2 [new file with mode: 0644] blob
test/regress/regress0/quantifiers/is-even.smt2 [new file with mode: 0644] blob
test/regress/regress0/quantifiers/simp-len.smt2 [new file with mode: 0644] blob