projects / cvc5.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
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