projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2010-10-07 Morgan Detersoops, reverting a change to a regression test that... commit | commitdiff | tree
2010-10-07 Morgan Deterstype checking for define-fun in production builds;... commit | commitdiff | tree
2010-10-07 Morgan DetersNodeSelfIterator implementation and unit test (resolves... commit | commitdiff | tree
2010-10-07 Tim KingSmall tableau optimization. commit | commitdiff | tree
2010-10-07 Morgan DetersSMT-LIBv2 (define-fun...) command now functional; does... commit | commitdiff | tree
2010-10-06 Morgan Detersdeclare-sort, define-sort working but not thoroughly... commit | commitdiff | tree
2010-10-05 Morgan Detersparser and core support for SMT-LIBv2 commands get... commit | commitdiff | tree
2010-10-04 Morgan Detersfix gdb issues (at least for static builds); resolves... commit | commitdiff | tree
2010-10-04 Morgan Detersfix regular expressions in build system commit | commitdiff | tree
2010-10-04 Morgan Detersfixing CLN builds, which had broken the build tonight... commit | commitdiff | tree
2010-10-04 Morgan Detersre-add a dependency to fix compile warnings commit | commitdiff | tree
2010-10-04 Morgan Detersremove/shuffle some #include dependencies; fix some... commit | commitdiff | tree
2010-10-04 Tim KingFix to bug 211. ArithVar is now typedefed to uint32_t. commit | commitdiff | tree
2010-10-03 Morgan Detersfile header documentation regenerated with contributors... commit | commitdiff | tree
2010-10-02 Morgan Detersrevert a workaround fix to CDMap that was committed... commit | commitdiff | tree
2010-10-02 Morgan Detersdump statistics on abnormal output: unexpected exceptio... commit | commitdiff | tree
2010-10-02 Tim Kingbranches/arith-indexed-variables merged into the main... commit | commitdiff | tree
2010-10-01 Morgan Detersre-add no-deprecated to C sources; update some file... commit | commitdiff | tree
2010-10-01 Morgan Deterslast update broke the parser inadvertently, fixing... commit | commitdiff | tree
2010-10-01 Morgan Detersreplacement implementation for clock_gettime() on mac... commit | commitdiff | tree
2010-09-30 Morgan Detersfixed a number of problems with mac os x builds. build... commit | commitdiff | tree
2010-09-28 Morgan Detersfix predicate bug in UF; code cleanup in theory.cpp commit | commitdiff | tree
2010-09-28 Morgan Detersnode iterator work commit | commitdiff | tree
2010-09-28 Morgan Detersfix pre-registration of operator, previously committed... commit | commitdiff | tree
2010-09-28 Morgan Detersfix unit test for kinded iterators in Node/TNode commit | commitdiff | tree
2010-09-28 Morgan Detersfix TLS support for platforms (e.g. Mac OS X) where... commit | commitdiff | tree
2010-09-28 Morgan Deterscomment fix as per this morning's meeting; also, don... commit | commitdiff | tree
2010-09-27 ACSYSadd workaround for systems (i.e., Mac OS X) that don... commit | commitdiff | tree
2010-09-27 Tim King- This update adds DynamicArray<T>. This is a bare... commit | commitdiff | tree
2010-09-24 Dejan Jovanovićequality triggers for the equality engine commit | commitdiff | tree
2010-09-24 Morgan Detersroll back an unintended change with r900 commit | commitdiff | tree
2010-09-24 Morgan DetersFix build system for Mac OS X builds (resolves bug... commit | commitdiff | tree
2010-09-24 Dejan Jovanovićbasic union find for bitvectors commit | commitdiff | tree
2010-09-22 Christopher... Fixing NodeBuilderBlack commit | commitdiff | tree
2010-09-21 Christopher... Rm'ing automatic type check in NodeBuilder for vars... commit | commitdiff | tree
2010-09-21 Morgan Detersremove assertion in TNode destructor and ensure all... commit | commitdiff | tree
2010-09-21 Morgan Detersfix statistics-registry-related memory leaks commit | commitdiff | tree
2010-09-21 Morgan Deterspart of review (bug #197): coding conventions, file... commit | commitdiff | tree
2010-09-21 Morgan Deterssvn:ignore properties for new bv stuff commit | commitdiff | tree
2010-09-21 Morgan Deterssome code cleanup, documentation, review of "kinded... commit | commitdiff | tree
2010-09-21 Dejan Jovanovićiterators for tim, begin<PLUS>() and end<PLUS>() should... commit | commitdiff | tree
2010-09-21 Christopher... Rm'ing Makefile.in's commit | commitdiff | tree
2010-09-21 Christopher... Moving automatic type check to NodeBuilder (Fixes:... commit | commitdiff | tree
2010-09-20 Dejan Jovanovićhooking up the bitvector tests commit | commitdiff | tree
2010-09-20 Dejan Jovanovićbitvector rewriting for the core theory and testcases commit | commitdiff | tree
2010-09-16 Tim KingBug fix to CVC4::theory::arith::VarList as well as... commit | commitdiff | tree
2010-09-14 Tim King* added test/regress/regress0/arith for easy arithmetic... commit | commitdiff | tree
2010-09-14 Morgan Detersensure uf/congruence closure debugging stuff isn't... commit | commitdiff | tree
2010-09-13 Morgan Detersmake Node iterators more STL-friendly, resolves bug... commit | commitdiff | tree
2010-09-13 Morgan Detersbuild system consistency in target names for unit test... commit | commitdiff | tree
2010-09-13 Morgan Detersstatistics are now printed on timeout (SIGXCPU) and... commit | commitdiff | tree
2010-09-13 Morgan Deterslink TAGS file into builds/ directory, when built.... commit | commitdiff | tree
2010-09-13 Tim King* New normal form for arithmetic is in place. commit | commitdiff | tree
2010-09-02 Morgan Deters"Leftist NodeBuilders" are now supported. commit | commitdiff | tree
2010-09-02 Morgan Detersrecategorize eq_diamond14 as a regress2 test (instead... commit | commitdiff | tree
2010-09-02 Morgan Detersfix an error in TimerStat commit | commitdiff | tree
2010-09-02 Morgan Detersneglected build system update from r848 (last commit) commit | commitdiff | tree
2010-09-02 Morgan Deters* add TimerStat statistic type commit | commitdiff | tree
2010-09-01 Morgan Deters"make check" now places binaries in the proper place... commit | commitdiff | tree
2010-09-01 Morgan Detersreflect in build strings that -gmp is now the default... commit | commitdiff | tree
2010-09-01 Morgan Detersadded documentation, closes bug 97 commit | commitdiff | tree
2010-08-24 Christopher... Making GMP default, CLN opt-in with --with-cln commit | commitdiff | tree
2010-08-20 Dejan Jovanovićupdating the minisat restart parameters after running... commit | commitdiff | tree
2010-08-20 Morgan Detersturn off extra-checking (which does extra theory-rewrit... commit | commitdiff | tree
2010-08-19 Morgan DetersUF theory bug fixes, code cleanup, and extra debugging... commit | commitdiff | tree
2010-08-18 Morgan Detersmore tests, configuration for UF commit | commitdiff | tree
2010-08-17 Morgan DetersMerge from "cc" branch: commit | commitdiff | tree
2010-08-17 Morgan DetersAdd "no trash" CDMap elements, so that CDMap elements... commit | commitdiff | tree
2010-08-17 Morgan DetersChange TheoryEngine to use pointers to theories instead of commit | commitdiff | tree
2010-08-16 Morgan Detersadd zlib checks to configure (new minisat requires... commit | commitdiff | tree
2010-08-16 Dejan JovanovićFixing failures in minisat commit | commitdiff | tree
2010-08-15 Dejan Jovanović(no commit message) commit | commitdiff | tree
2010-08-15 Dejan Jovanović(no commit message) commit | commitdiff | tree
2010-08-13 Dejan Jovanovićrenaming minisat .C to .cc commit | commitdiff | tree
2010-08-13 Dejan JovanovićAdding the changes to the original copy commit | commitdiff | tree
2010-08-13 Christopher... Importing MiniSat2 070721 into trunk commit | commitdiff | tree
2010-08-13 Christopher... Removing newer version of MiniSat for Dejan's preferred... commit | commitdiff | tree
2010-08-13 Christopher... Importing MiniSat2 2.2.0 into trunk commit | commitdiff | tree
2010-08-13 Christopher... Removing old version of MiniSat for proper vendor import commit | commitdiff | tree
2010-07-29 Christopher... Adding configuration_private.h to allow inlining of... commit | commitdiff | tree
2010-07-29 Morgan Detersfix TheoryEngineWhite, add documentation; related to... commit | commitdiff | tree
2010-07-28 Christopher... Adding TypeCheckingException to throws clause in SMT... commit | commitdiff | tree
2010-07-28 Christopher... Forcing a type check on Node construction in debug... commit | commitdiff | tree
2010-07-28 Morgan Detersfixed theory engine white test for new (old) theoryOf... commit | commitdiff | tree
2010-07-27 Christopher... Moving EQ->IFF handling from TheoryEngine to parser... commit | commitdiff | tree
2010-07-27 Christopher... Adding optional 'check' parameter to getType() methods commit | commitdiff | tree
2010-07-22 Morgan Detersincorporate a fix from smtcomp2010 version for handling... commit | commitdiff | tree
2010-07-22 Tim KingAdded test file for fuzzsmt bug, bug187.smt2. commit | commitdiff | tree
2010-07-10 Morgan Detersadd >, <=, and >= comparisons for Exprs and Nodes commit | commitdiff | tree
2010-07-10 Dejan JovanovićFix for the type in sat propagation. commit | commitdiff | tree
2010-07-09 Dejan Jovanovićthe tableaux optimization commit | commitdiff | tree
2010-07-08 Christopher... Moving cluster-qf_lra-full to scripts project commit | commitdiff | tree
2010-07-08 Christopher... Moving cluster-qf_lra-benchmark to scripts project commit | commitdiff | tree
2010-07-08 Christopher... Adding missing operators in SMT2 parser: UMINUS, DIVISI... commit | commitdiff | tree
2010-07-08 Christopher... Fixing Array type in SMT v1.2 commit | commitdiff | tree
2010-07-08 Tim KingI am adding my smt-crunch scripts to source control... commit | commitdiff | tree
2010-07-08 Morgan Deterscontext work to support cdmaps with elements allocated... commit | commitdiff | tree
2010-07-08 Tim KingUpdates to the post_mortem.py script. commit | commitdiff | tree
2010-07-07 Clark BarrettShared term manager tested and working commit | commitdiff | tree
2010-07-07 Christopher... Making plus-mult.cvc test a bit more torturous (as... commit | commitdiff | tree
next