cvc5.git
2010-02-17 Tim KingInitial draft of TheoryUF. Should compile without probl...
2010-02-17 Morgan Detersfix bug 27: --with-cxxtest-dir=(relative-path) now...
2010-02-16 Christopher... Moving parser error checking into AntlrParser
2010-02-16 Christopher... Adding --parse-only option
2010-02-16 Dejan Jovanovićremoving assertion and warning that shouldn't be there...
2010-02-16 Christopher... Removing spurious commit of configure
2010-02-16 Christopher... Converting semantic predicates in parser to AlwaysAsser...
2010-02-13 Dejan Jovanovićsimplification minisat
2010-02-13 Dejan JovanovićImprovements to CNF conversion when already in CNF
2010-02-12 Dejan Jovanovićbuild fix
2010-02-12 Dejan JovanovićFix to compile out Debug(...) << ... statements in...
2010-02-12 Dejan JovanovićChanges to hashing that solve the xinetd boolean benchm...
2010-02-11 Dejan Jovanovićsvn ignore
2010-02-11 Christopher... Adding precedence regressions
2010-02-10 Morgan Detersnote on setup(); for discussion at 2010.02.11 meeting
2010-02-10 Morgan Deterssvn:ignore for build stuff; add Liana to AUTHORS
2010-02-10 Dejan Jovanovićfixing annoying eclipse build settings, no more broken...
2010-02-10 Clark BarrettAdded calls to destructor in CDList plus optional flag...
2010-02-09 Dejan JovanovićChanges to the CNF conversion and the SAT solver. All...
2010-02-09 Morgan Detersremoving other pieces of autotools stuff to fix bug #24
2010-02-09 Morgan Detersmoving built-in kinds out of the kind.h prologue/middle...
2010-02-09 Dejan Jovanovićempty stubs for push and pop to fix the build fail
2010-02-08 Dejan JovanovićDisabling the failing test case for the context.
2010-02-08 Dejan JovanovićFixing the test case, it had a unary or. The cnf conver...
2010-02-08 Dejan JovanovićPush/Pop parsing and commands
2010-02-08 Dejan JovanovićMoving the template stuff back into the header in order...
2010-02-07 Christopher... Documenting type.h/cpp
2010-02-06 Morgan Detersforce sorting of AC_CONFIG_FILES, otherwise different...
2010-02-06 Christopher... Preliminary support for types in parser
2010-02-05 Morgan Detersfinal fixes to addsourcedir source-directory-Makefile...
2010-02-05 Morgan Detersauto-generated list of AC_CONFIG_FILES so that you...
2010-02-05 Morgan Detersautomatic generator script for sourcedir Makefiles...
2010-02-05 Morgan Detersremove the last vestiges of support for "make build...
2010-02-04 Morgan Detersminor interface changes to TheoryEngine/Theory after...
2010-02-04 Morgan Detersfix run_regression script
2010-02-04 Dejan Jovanovićbeautification of the prop engine
2010-02-04 Morgan Detersassign expected-status to regressions
2010-02-04 Morgan Detersbuild system for multi-level regressions
2010-02-04 Morgan Detersremove warnings from use of __gnu_cxx::hash_map<>;...
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it...
2010-02-04 Tim KingChanged mapping from atoms to literals in the prop...
2010-02-04 Tim KingMoved regressions into various levels based on running...
2010-02-04 Morgan Deterstest infrastructure updated for multiple-level regressions
2010-02-04 Morgan Detersminor cleanup; give the main driver a different exit...
2010-02-04 Morgan Deterssrc/expr/kind.h is now automatically generated.
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright...
2010-02-04 Morgan Detersadded bool and arith theory makefiles to AC_CONFIG_FILE...
2010-02-04 Morgan DetersAdded theory output channel interfaces and "Interrupted...
2010-02-04 Tim KingFixes to the cnf converter. Also a barebones utility...
2010-02-03 Christopher... Adding extra test to parser
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
next