cvc5.git
2010-02-02 Clark BarrettUpdates to context:
2010-02-01 Dejan JovanovićFixing the CVC grammar for parsing Boolean expressions...
2010-02-01 Morgan Detersfix node manager code (bugzilla #15, comment #2) in...
2010-02-01 Tim KingAdded this test back to avoid make check problems.
2010-01-30 Morgan Deterscnf conversion (variable-introducing), cleanups, fixes...
2010-01-30 Tim KingChecking in small test fixes for node_black
2010-01-29 Dejan Jovanovićfixing the last context build problem, it compiles now
2010-01-29 Clark Barrettone more bug
2010-01-29 Clark BarrettFixed compile errors
2010-01-29 Christopher... Adding Makefile.in to svn:ignore
2010-01-29 Christopher... Adding Makefile.in to svn:ignore
2010-01-29 Christopher... Fixing boolean operator precedences
2010-01-29 Clark BarrettUpdate of context module
2010-01-29 Morgan Detersfixed CNF conversion, and more modular; CNF conversion...
2010-01-28 Christopher... Removing Makefile.in's
2010-01-28 Christopher... Replacing hand-coded autogen.sh with buildconf version
2010-01-27 Morgan Deterssupport "make check" in src/ subdirs for unit-testing...
2010-01-27 Morgan Deterstest framework fixes; bug 13 closed
2010-01-27 Tim KingAdded additional tests to node_black.h. CVC4 currently...
2010-01-26 Tim KingUndoing stupid commit mistake. Rolling back to -r...
2010-01-26 Tim KingAdded test/regress/boolean.cvc
2010-01-26 Morgan Deterscnf conversion
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes...
2010-01-25 Morgan Detersminor fixes to scoped-context node manager
2010-01-25 Morgan Detersscoped node managers
2010-01-23 Tim KingAdded pure PL regression tests. Mostly CNF
2010-01-22 Tim KingAdded regression test
2010-01-19 Morgan Detersminor changes to Theory
2010-01-05 Christopher... Changes to configure.ac from code review
2009-12-18 Dejan JovanovićMore fixes fot the parser tests.
2009-12-18 Dejan JovanovićChanging some deatils on the parser. Now we know we...
2009-12-18 Dejan JovanovićMore fixes
2009-12-18 Morgan Detersnumerous fixes to nodes; more coming
2009-12-18 Christopher... Updated parser tests, which are all kinds of FAIL
2009-12-18 Dejan JovanovićChanges to the parser tests to make them compile.
2009-12-18 Morgan Detersmore build system fix-ups
2009-12-18 Dejan JovanovićLots of parser changes to make Chris happy. Yet more...
2009-12-17 Morgan Detersmore build system fix-ups
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates...
2009-12-17 Christopher... Adding more parser tests
2009-12-17 Christopher... Adding more parser tests
2009-12-17 Morgan Deterscoding standard fix on SmtEngine; fix recursive make
2009-12-17 Christopher... CvcParserBlack and supporting Makefile changes
2009-12-17 Morgan Deters+ test infrastructure fixes
2009-12-17 Morgan Detersadd system regression testing infrastructure
2009-12-17 Morgan Detersfix typos in Makefile.am for unit testing
2009-12-17 Morgan Detersaddressed some concerns raised by Clark in bug #6 ...
2009-12-17 Morgan Detersmaking config/mkbuilddir executable
2009-12-17 Clark BarrettMinor changes from code review
2009-12-17 Morgan Detersbuild system cleanup; test system separation into white...
2009-12-17 Morgan Deterstesting infrastructure fixes
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., "....
2009-12-16 Morgan Deters+ refactoring fixes for expr package based on code...
2009-12-16 Tim KingSmall refactoring changes for the expr package.
2009-12-16 Christopher... Spelling correction in comments
2009-12-16 Christopher... Standardizing configure arguments for ANTLR/CxxTest
2009-12-16 Morgan DetersFixes to the build system:
2009-12-15 Christopher... Minor changes to parser files from code review.
2009-12-15 Clark BarrettAdded context_mm (haven't tested compilation yet...)
2009-12-15 Morgan Detersminor: fixing typos
2009-12-11 Dejan JovanovićExtracted the public Expr and ExprManager interface...
2009-12-11 Morgan Detersbuild fixes, configuration simplifications
2009-12-10 Dejan Jovanovićkilling expr into node...
2009-12-10 Morgan Deterscleanups, assert work, add a stubbed uf theory, fix...
2009-12-09 Morgan Deterssome fixes and organizational adjustments to assert...
2009-12-09 Dejan JovanovićA mess of changes in the expression manager, simple...
2009-12-08 Morgan Detersfinal (?) fixes to parser/generated build directory...
2009-12-08 Morgan Detersparser build fixes
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files...
2009-12-08 Morgan Detersbroken formula
2009-12-08 Morgan Deterswork on propositional layer, expression builder support...
2009-12-07 Morgan Detersfixing a few broken build-related items, adding test...
2009-12-07 Morgan Detersbig check-in of various fixes and adjustments
2009-12-07 Dejan Jovanovićantlr parser for the cvc4 language (boolean only)
2009-12-06 Dejan JovanovićBig chunk of changes:
2009-12-05 Morgan Detersmore build system work
2009-12-04 Morgan Detersmore build system work
2009-12-04 Dejan JovanovićMore changes to configure.ac to include the smt grammar...
2009-12-04 Dejan JovanovićForgot to commit changes to configure.ac
2009-12-04 Dejan JovanovićAdding support for ANTLR checking in autogen.sh (config...
2009-12-03 Dejan JovanovićEclipse CVC4 settings (with code style)
2009-12-03 Morgan Detersadditional build system fixes
2009-12-03 Morgan Detersfirst attempt at new build system
2009-12-03 Morgan Detersparsing/expr/command/result/various other fixes
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
next