summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Morgan Deters [Thu, 3 Dec 2009 14:59:30 +0000 (14:59 +0000)]
parsing/expr/command/result/various other fixes
Dejan Jovanović [Tue, 1 Dec 2009 17:58:17 +0000 (17:58 +0000)]
svignore for parser and util
Dejan Jovanović [Sat, 28 Nov 2009 02:59:11 +0000 (02:59 +0000)]
Added an EmptyCommand and a CommandSequence commands and changed the parser a bit.
Dejan Jovanović [Thu, 26 Nov 2009 03:24:04 +0000 (03:24 +0000)]
Commands and the eclipse C++ project settings.
Dejan Jovanović [Thu, 26 Nov 2009 03:22:53 +0000 (03:22 +0000)]
Enough parsing for tonight. Added:
* Everything goes through the ParserState instead of coding in lex/yacc files
* Bare Boolean SMT lexer/parser
* Basic commands
To be completed: ParserState method implementations, parser.h/parser.cpp, make it compile and run...
Morgan Deters [Wed, 25 Nov 2009 00:42:52 +0000 (00:42 +0000)]
additional work on parser hookup, configuration + build
Christopher L. Conway [Tue, 24 Nov 2009 23:08:04 +0000 (23:08 +0000)]
Missed file: symbol_table.h
Christopher L. Conway [Tue, 24 Nov 2009 23:05:52 +0000 (23:05 +0000)]
Parser should be complete for Booleans
Morgan Deters [Tue, 24 Nov 2009 23:04:45 +0000 (23:04 +0000)]
oops, missed a file
Morgan Deters [Tue, 24 Nov 2009 22:51:35 +0000 (22:51 +0000)]
various fixes and updates to use and support parser
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