summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Christopher L. Conway [Tue, 24 Nov 2009 21:55:37 +0000 (21:55 +0000)]
Stubbing commands
Christopher L. Conway [Tue, 24 Nov 2009 21:54:09 +0000 (21:54 +0000)]
Stubbing commandsmake
Christopher L. Conway [Tue, 24 Nov 2009 21:30:50 +0000 (21:30 +0000)]
Parser for boolean exprs (no commands)
Christopher L. Conway [Tue, 24 Nov 2009 21:28:03 +0000 (21:28 +0000)]
Partial parser for booleans
Morgan Deters [Tue, 24 Nov 2009 21:03:35 +0000 (21:03 +0000)]
configure option adjustments as per 11/24 meeting; various fixes and improvements
Morgan Deters [Mon, 23 Nov 2009 16:42:12 +0000 (16:42 +0000)]
fixups, file comments
Morgan Deters [Fri, 20 Nov 2009 23:47:56 +0000 (23:47 +0000)]
fixes to build/test system
Morgan Deters [Fri, 20 Nov 2009 20:10:43 +0000 (20:10 +0000)]
fix to expr #includes; better test-environment configuration
Morgan Deters [Thu, 19 Nov 2009 22:07:01 +0000 (22:07 +0000)]
testing framework, configure fixes, incorporations from meeting, continued work
Morgan Deters [Wed, 18 Nov 2009 22:02:11 +0000 (22:02 +0000)]
work on exprs, driver, util
Morgan Deters [Tue, 17 Nov 2009 17:27:56 +0000 (17:27 +0000)]
ignored items
Morgan Deters [Tue, 17 Nov 2009 17:11:35 +0000 (17:11 +0000)]
from meeting
Morgan Deters [Tue, 17 Nov 2009 17:09:13 +0000 (17:09 +0000)]
from meeting
Morgan Deters [Tue, 17 Nov 2009 17:06:57 +0000 (17:06 +0000)]
from meeting
Morgan Deters [Tue, 17 Nov 2009 16:40:19 +0000 (16:40 +0000)]
fixes/redesign of source layout from meeting
Morgan Deters [Tue, 17 Nov 2009 08:39:27 +0000 (08:39 +0000)]
another pass
Morgan Deters [Tue, 17 Nov 2009 07:19:39 +0000 (07:19 +0000)]
fixes and additions
Morgan Deters [Thu, 12 Nov 2009 20:39:30 +0000 (20:39 +0000)]
minor fixes
Morgan Deters [Thu, 12 Nov 2009 20:38:10 +0000 (20:38 +0000)]
parser, minisat, other things..
Morgan Deters [Mon, 9 Nov 2009 21:47:30 +0000 (21:47 +0000)]
minor fixes, added contrib directory
Morgan Deters [Tue, 3 Nov 2009 03:37:08 +0000 (03:37 +0000)]
additional headers and modifications; now passes syntax check
Morgan Deters [Tue, 3 Nov 2009 03:07:58 +0000 (03:07 +0000)]
additional headers
Morgan Deters [Tue, 3 Nov 2009 00:31:47 +0000 (00:31 +0000)]
commit of project structure including autotools support
Morgan Deters [Sat, 26 Sep 2009 20:35:51 +0000 (20:35 +0000)]
Initial setup of the cvc4 repository
projects / cvc5.git / log