projects / cvc5.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
15 years agoparser, minisat, other things..
commit | commitdiff | tree
Morgan Deters [Thu, 12 Nov 2009 20:38:10 +0000 (20:38 +0000)]
parser, minisat, other things..

15 years agominor fixes, added contrib directory
commit | commitdiff | tree
Morgan Deters [Mon, 9 Nov 2009 21:47:30 +0000 (21:47 +0000)]
minor fixes, added contrib directory

15 years agoadditional headers and modifications; now passes syntax check
commit | commitdiff | tree
Morgan Deters [Tue, 3 Nov 2009 03:37:08 +0000 (03:37 +0000)]
additional headers and modifications; now passes syntax check

15 years agoadditional headers
commit | commitdiff | tree
Morgan Deters [Tue, 3 Nov 2009 03:07:58 +0000 (03:07 +0000)]
additional headers

15 years agocommit of project structure including autotools support
commit | commitdiff | tree
Morgan Deters [Tue, 3 Nov 2009 00:31:47 +0000 (00:31 +0000)]
commit of project structure including autotools support

15 years agoInitial setup of the cvc4 repository
commit | commitdiff | tree
Morgan Deters [Sat, 26 Sep 2009 20:35:51 +0000 (20:35 +0000)]
Initial setup of the cvc4 repository