projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45cd490) | patch
disable test cvc3_main, attempt to fix dist_check
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Feb 2014 15:09:00 +0000 (10:09 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 21 Feb 2014 15:09:00 +0000 (10:09 -0500)
commitda237313b4c42b5e19e73594c2e909547af782de
treeb8be9a61cd1905bc664ea692849a4b71f07b1980tree
parent45cd4907560827d1baf822ab3857b1f59efce9f0commit | diff
disable test cvc3_main, attempt to fix dist_check
src/Makefile.am diff | blob | history
src/theory/sets/Makefile [deleted file] blob | history
src/theory/sets/Makefile.am [deleted file] blob | history
test/system/Makefile.am diff | blob | history