projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c72745e) | patch
fixing a few broken build-related items, adding test cases
authorMorgan Deters <mdeters@gmail.com>
Mon, 7 Dec 2009 23:23:33 +0000 (23:23 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 7 Dec 2009 23:23:33 +0000 (23:23 +0000)
commitabe5fb451ae66a4bedc88d870e99f76de4eb323c
tree061fe08033be593dbf982ac9b39b8cdd246398fatree
parentc72745ec66a6328ab02350cd556a1ad82fb7d85ccommit | diff
fixing a few broken build-related items, adding test cases
src/parser/cvc/Makefile.am diff | blob | history
src/parser/smt/Makefile.am diff | blob | history
test/regress/Makefile.am diff | blob | history
test/regress/simple.cvc [new file with mode: 0644] blob
test/regress/simple.smt [new file with mode: 0644] blob