cvc5.git
2010-02-03 Dejan Jovanovićadding an option to minisat to not do any debug checks...
2010-02-03 Christopher... Fixing bad commit
2010-02-03 Christopher... Adding functions/predicates to SMT grammar
2010-02-03 Morgan DetersAddressed many of the concerns of bug 10 (build system...
2010-02-03 Dejan JovanovićELSEIF support and parser debugging with '-d parser'
2010-02-03 Dejan Jovanovićsimple ITE parsing
2010-02-03 Tim KingBy popular demand, I also added a printAst to Expr.
2010-02-03 Tim KingI hacked in a temporary way to restart minisat for...
2010-02-03 Tim KingWithin node I added printAst(..) for general purpose...
2010-02-03 Tim KingEnabled more regress tests. Takes 26s on my machine...
2010-02-03 Dejan Jovanovićcontext_mm testing
2010-02-03 Dejan Jovanovićsome more tests for the context.
2010-02-02 Dejan Jovanović(no commit message)
2010-02-02 Clark BarrettFixed bug in context code
2010-02-02 Dejan Jovanovićfor tim
2010-02-02 Dejan Jovanovićbeginings of test for CDO. one fail
2010-02-02 Dejan JovanovićRethrow rewrite in antlr_parser. Taking LT(0) to locate...
2010-02-02 Tim KingSwitched cnf conversion to go through CnfStream.
2010-02-02 Christopher... Minor changes to parser
2010-02-02 Dejan JovanovićAdding support for escapes in string literals (strings...
2010-02-02 Clark BarrettFixed compile errors
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
next