cvc5.git
2009-12-01 Dejan Jovanovićsvignore for parser and util
2009-11-28 Dejan JovanovićAdded an EmptyCommand and a CommandSequence commands...
2009-11-26 Dejan JovanovićCommands and the eclipse C++ project settings.
2009-11-26 Dejan JovanovićEnough parsing for tonight. Added:
2009-11-25 Morgan Detersadditional work on parser hookup, configuration + build
2009-11-24 Christopher... Missed file: symbol_table.h
2009-11-24 Christopher... Parser should be complete for Booleans
2009-11-24 Morgan Detersoops, missed a file
2009-11-24 Morgan Detersvarious fixes and updates to use and support parser
2009-11-24 Christopher... Stubbing commands
2009-11-24 Christopher... Stubbing commandsmake
2009-11-24 Christopher... Parser for boolean exprs (no commands)
2009-11-24 Christopher... Partial parser for booleans
2009-11-24 Morgan Detersconfigure option adjustments as per 11/24 meeting;...
2009-11-23 Morgan Detersfixups, file comments
2009-11-20 Morgan Detersfixes to build/test system
2009-11-20 Morgan Detersfix to expr #includes; better test-environment configur...
2009-11-19 Morgan Deterstesting framework, configure fixes, incorporations...
2009-11-18 Morgan Deterswork on exprs, driver, util
2009-11-17 Morgan Detersignored items
2009-11-17 Morgan Detersfrom meeting
2009-11-17 Morgan Detersfrom meeting
2009-11-17 Morgan Detersfrom meeting
2009-11-17 Morgan Detersfixes/redesign of source layout from meeting
2009-11-17 Morgan Detersanother pass
2009-11-17 Morgan Detersfixes and additions
2009-11-12 Morgan Detersminor fixes
2009-11-12 Morgan Detersparser, minisat, other things..
2009-11-09 Morgan Detersminor fixes, added contrib directory
2009-11-03 Morgan Detersadditional headers and modifications; now passes syntax...
2009-11-03 Morgan Detersadditional headers
2009-11-03 Morgan Deterscommit of project structure including autotools support
2009-09-26 Morgan DetersInitial setup of the cvc4 repository