cvc5.git
2010-09-20 Dejan Jovanovićbitvector rewriting for the core theory and testcases
2010-09-16 Tim KingBug fix to CVC4::theory::arith::VarList as well as...
2010-09-14 Tim King* added test/regress/regress0/arith for easy arithmetic...
2010-09-14 Morgan Detersensure uf/congruence closure debugging stuff isn't...
2010-09-13 Morgan Detersmake Node iterators more STL-friendly, resolves bug...
2010-09-13 Morgan Detersbuild system consistency in target names for unit test...
2010-09-13 Morgan Detersstatistics are now printed on timeout (SIGXCPU) and...
2010-09-13 Morgan Deterslink TAGS file into builds/ directory, when built....
2010-09-13 Tim King* New normal form for arithmetic is in place.
2010-09-02 Morgan Deters"Leftist NodeBuilders" are now supported.
2010-09-02 Morgan Detersrecategorize eq_diamond14 as a regress2 test (instead...
2010-09-02 Morgan Detersfix an error in TimerStat
2010-09-02 Morgan Detersneglected build system update from r848 (last commit)
2010-09-02 Morgan Deters* add TimerStat statistic type
2010-09-01 Morgan Deters"make check" now places binaries in the proper place...
2010-09-01 Morgan Detersreflect in build strings that -gmp is now the default...
2010-09-01 Morgan Detersadded documentation, closes bug 97
2010-08-24 Christopher... Making GMP default, CLN opt-in with --with-cln
2010-08-20 Dejan Jovanovićupdating the minisat restart parameters after running...
2010-08-20 Morgan Detersturn off extra-checking (which does extra theory-rewrit...
2010-08-19 Morgan DetersUF theory bug fixes, code cleanup, and extra debugging...
2010-08-18 Morgan Detersmore tests, configuration for UF
2010-08-17 Morgan DetersMerge from "cc" branch:
2010-08-17 Morgan DetersAdd "no trash" CDMap elements, so that CDMap elements...
2010-08-17 Morgan DetersChange TheoryEngine to use pointers to theories instead of
2010-08-16 Morgan Detersadd zlib checks to configure (new minisat requires...
2010-08-16 Dejan JovanovićFixing failures in minisat
2010-08-15 Dejan Jovanović(no commit message)
2010-08-15 Dejan Jovanović(no commit message)
2010-08-13 Dejan Jovanovićrenaming minisat .C to .cc
2010-08-13 Dejan JovanovićAdding the changes to the original copy
2010-08-13 Christopher... Importing MiniSat2 070721 into trunk
2010-08-13 Christopher... Removing newer version of MiniSat for Dejan's preferred...
2010-08-13 Christopher... Importing MiniSat2 2.2.0 into trunk
2010-08-13 Christopher... Removing old version of MiniSat for proper vendor import
2010-07-29 Christopher... Adding configuration_private.h to allow inlining of...
2010-07-29 Morgan Detersfix TheoryEngineWhite, add documentation; related to...
2010-07-28 Christopher... Adding TypeCheckingException to throws clause in SMT...
2010-07-28 Christopher... Forcing a type check on Node construction in debug...
2010-07-28 Morgan Detersfixed theory engine white test for new (old) theoryOf...
2010-07-27 Christopher... Moving EQ->IFF handling from TheoryEngine to parser...
2010-07-27 Christopher... Adding optional 'check' parameter to getType() methods
2010-07-22 Morgan Detersincorporate a fix from smtcomp2010 version for handling...
2010-07-22 Tim KingAdded test file for fuzzsmt bug, bug187.smt2.
2010-07-10 Morgan Detersadd >, <=, and >= comparisons for Exprs and Nodes
2010-07-10 Dejan JovanovićFix for the type in sat propagation.
2010-07-09 Dejan Jovanovićthe tableaux optimization
2010-07-08 Christopher... Moving cluster-qf_lra-full to scripts project
2010-07-08 Christopher... Moving cluster-qf_lra-benchmark to scripts project
2010-07-08 Christopher... Adding missing operators in SMT2 parser: UMINUS, DIVISI...
2010-07-08 Christopher... Fixing Array type in SMT v1.2
2010-07-08 Tim KingI am adding my smt-crunch scripts to source control...
2010-07-08 Morgan Deterscontext work to support cdmaps with elements allocated...
2010-07-08 Tim KingUpdates to the post_mortem.py script.
2010-07-07 Clark BarrettShared term manager tested and working
2010-07-07 Christopher... Making plus-mult.cvc test a bit more torturous (as...
2010-07-07 Tim KingFixes arith rewriter to allow for division by a constan...
2010-07-07 Christopher... Fixing test plus-mult.cvc by making it linear (Fixes...
2010-07-07 Morgan Detersminor changes to cdmap/cdset interface for detection...
2010-07-07 Morgan Deterschris and i committed the same fix; reverting the ...
2010-07-07 Clark BarrettUpdated headers
2010-07-07 Clark BarrettAdded shared term manager. Basic mechanism for identif...
2010-07-07 Christopher... Disabling failing tests
2010-07-07 Morgan Detersadd exit status to regression that was failing
2010-07-07 Morgan Deterssome build system changes reverted after the CLN build...
2010-07-07 Morgan Deterscompetition submission should be fully static
2010-07-07 Morgan Detersfixed submission target
2010-07-07 Morgan Detersthings for competition upload: new "make submission...
2010-07-07 Christopher... Adding tests for precedence of arithmetic in CVC inputs
2010-07-07 Christopher... Adding config.reconfig to .gitignore
2010-07-06 Tim KingFixed exit status for competition mode.
2010-07-06 Morgan DetersDon't eagerly collect zombies. This should speed up...
2010-07-06 Morgan Detersadd Configuration::isCompetitionBuild() and some main...
2010-07-06 Morgan Detersfix crash on command line parsing
2010-07-06 Clark BarrettMoved registration to theory engine
2010-07-06 Christopher... Adding Array types to SMT2 parser
2010-07-06 Christopher... Adding arithmetic symbols to CVC parser (Fixes: #176)
2010-07-06 Morgan Detersmerge from CC work: pieces of the parser need to be...
2010-07-06 Morgan DetersFixes for doubled-statistics (bug 171), a fix to muzzle...
2010-07-06 Morgan Detersadd regressions from bug reports
2010-07-05 Morgan Detersbetter exception wording, assertion-handling in multipl...
2010-07-05 Morgan Detersbetter exception wording, assertion-handling in multipl...
2010-07-05 Morgan Detersworkaround for strange CIMS installation of automake...
2010-07-05 Clark BarrettAdded Cesare to list of authors
2010-07-05 Clark BarrettChanged AUTHORS - removed references to earlier CVC...
2010-07-04 Morgan DetersConsiderably simplified the way output streams are...
2010-07-04 Morgan Detersassigning benchmark statuses
2010-07-04 Morgan Detersbetter detection for static binary building
2010-07-04 Morgan Detersfix to production build
2010-07-04 Morgan Detersenable arrays
2010-07-04 Morgan Detersdon't do extra-checking for all regressions; that's...
2010-07-04 Morgan DetersWith "-d extra-checking", rewrites are now checked...
2010-07-04 Morgan Detersbug 168 fixed (TheoryEngine::rewrite is not fully rewri...
2010-07-04 Morgan Detersmake dist && make distcheck functional, other fixes
2010-07-03 Morgan Detersfix warnings
2010-07-03 Morgan Detersbetter config.reconfig script auto-generated
2010-07-03 Morgan DetersWith this commit come a number of changes to build...
2010-07-02 Tim KingMerges the cln-test branch into the main branch.
2010-07-02 Morgan Detersre-generated comment headers of source files
2010-07-02 Morgan Detersroll back a small change that made arith fail some...
next