projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f09619) | patch
Adding precedence regressions
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 11 Feb 2010 17:10:36 +0000 (17:10 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 11 Feb 2010 17:10:36 +0000 (17:10 +0000)
commit4fa28a57ea9a2db7b035bc21d4bccd344701c72f
treeb341f44e60db15463a53dc5e87fb4dc082421a92tree
parent4f0961923bdefbc36377ed37022594fde57be513commit | diff
Adding precedence regressions
18 files changed:
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/precedence/Makefile [new file with mode: 0644] blob
test/regress/regress0/precedence/Makefile.am [new file with mode: 0644] blob
test/regress/regress0/precedence/and-not.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/and-xor.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/eq-fun.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/iff-assoc.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/iff-implies.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/implies-assoc.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/implies-iff.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/implies-or.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/not-and.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/not-eq.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/or-implies.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/or-xor.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/xor-and.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/xor-assoc.cvc [new file with mode: 0644] blob
test/regress/regress0/precedence/xor-or.cvc [new file with mode: 0644] blob