projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-05-20 Morgan DetersUpdate THANKS to mention David Cok's contributions. commit | commitdiff | tree
2013-05-20 Morgan DetersDetect multiply-defined :named annotations and issue... commit | commitdiff | tree
2013-05-20 Morgan DetersFix parsing of SMT-LIBv2 |quoted| symbols that span... commit | commitdiff | tree
2013-05-20 Morgan DetersCompliance fixes for :named annotations: they must... commit | commitdiff | tree
2013-05-20 Morgan DetersDon't allow get-model & co after a user push/pop commit | commitdiff | tree
2013-05-20 Morgan DetersAs per SMT-LIB standard: make - and xor take n>2 args... commit | commitdiff | tree
2013-05-20 Morgan DetersFix for equality-chaining of Booleans in SMT-LIBv2. commit | commitdiff | tree
2013-05-20 Morgan DetersFix destruction issue in GetValueCommand leading to... commit | commitdiff | tree
2013-05-20 Morgan DetersBetter error on invalid logic strings. commit | commitdiff | tree
2013-05-20 Morgan DetersBetter error on illegal (pop N); also more compliant... commit | commitdiff | tree
2013-05-20 Morgan DetersA couple of fixes to the get-option command for complia... commit | commitdiff | tree
2013-05-20 Morgan DetersDisallow construction of (_ BitVec 0). commit | commitdiff | tree
2013-05-20 Morgan DetersFixed "success" response to (push N) / (pop N) with... commit | commitdiff | tree
2013-05-20 Morgan DetersFix to empty response to (get-assignment). commit | commitdiff | tree
2013-05-20 Morgan Detersconfigure fix for building with glpk on redhat, perhaps... commit | commitdiff | tree
2013-05-20 Morgan Detersminor changes to language bindings commit | commitdiff | tree
2013-05-20 Morgan Detersdisable Logic-checking with finite model finding for... commit | commitdiff | tree
2013-05-20 Morgan DetersFix erroneous results when the logic was incorrectly... commit | commitdiff | tree
2013-05-08 Morgan DetersPrerelease versioning for 1.2.x commit | commitdiff | tree
2013-05-08 Morgan DetersMerge tag 'smteval2013' commit | commitdiff | tree
2013-05-08 Morgan DetersCutting release 1.2. commit | commitdiff | tree
2013-05-08 Morgan DetersRemoving arithmetic compile warning for release commit | commitdiff | tree
2013-05-08 Morgan Detersupdate versioning commit | commitdiff | tree
2013-05-08 Morgan Detersfinal updates for smt-eval script commit | commitdiff | tree
2013-05-08 Clark BarrettFixed assertion bug commit | commitdiff | tree
2013-05-08 Morgan Detersfix for smt-eval run script commit | commitdiff | tree
2013-05-07 Morgan DetersBV strategy for SMT-EVAL commit | commitdiff | tree
2013-05-07 Morgan Detersfix for nonterminating model-based array loop commit | commitdiff | tree
2013-05-07 lianahadded type checking rule to check for bit-vector consta... commit | commitdiff | tree
2013-05-07 lianahone more fix for rewrites commit | commitdiff | tree
2013-05-07 lianahfixed bv rewrite blow-up commit | commitdiff | tree
2013-05-07 Dejan Jovanovićfix for bug500 commit | commitdiff | tree
2013-05-07 Tim KingFixes a bug with arithmetic's new attempt solution... commit | commitdiff | tree
2013-05-07 Tim KingImproving arithmetic debugging output. commit | commitdiff | tree
2013-05-07 Tim KingDisabling an incorrect prototyping line from the simple... commit | commitdiff | tree
2013-05-07 Morgan DetersChange SMT-EVAL run-script to use Tim's best QF_LRA... commit | commitdiff | tree
2013-05-07 Liana Hadareanfixed bv rewrite rule bug commit | commitdiff | tree
2013-05-06 Morgan DetersRemoving excess verbosity from ApproxSimplex (after... commit | commitdiff | tree
2013-05-06 Tim KingAdding a heuristic for guessing an optimization functio... commit | commitdiff | tree
2013-05-06 Tim KingDisables justification stop only for LRA if the problem... commit | commitdiff | tree
2013-05-06 Clark BarrettSome bug fixes for mb arrays commit | commitdiff | tree
2013-05-05 Tim KingAdding cut offs for likely integer infeasible paths. commit | commitdiff | tree
2013-05-04 Tim KingAdding a smarter technique for pivoting in solutions... commit | commitdiff | tree
2013-05-03 Tim KingFixing compilation of unit tests. These problems were... commit | commitdiff | tree
2013-05-03 Tim KingMore misc. arithmetic cleanup. Removing unused files... commit | commitdiff | tree
2013-05-03 Tim KingCode cleanup. Reducing misc. warnings in arithmetic. commit | commitdiff | tree
2013-05-03 Tim KingRemoving arithmetic legacy code and unifying functions. commit | commitdiff | tree
2013-05-03 Tim KingFixing a debug typo. commit | commitdiff | tree
2013-05-03 Tim KingMerging branch 'soiquickexplain'. commit | commitdiff | tree
2013-05-03 Tim KingMerge branch 'fcexplanations' commit | commitdiff | tree
2013-05-02 Tim KingAdding quick explain for soi simplex. commit | commitdiff | tree
2013-05-02 Dejan Jovanović* splitLemma to request atoms commit | commitdiff | tree
2013-05-02 lianahmerged master commit | commitdiff | tree
2013-05-02 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-05-01 Morgan DetersComment out some debug-related things in attribute... commit | commitdiff | tree
2013-05-01 Morgan DetersFix to dumping re: boolean terms, datatypes commit | commitdiff | tree
2013-05-01 Morgan DetersFix to boolean-terms; resolves bug #507 commit | commitdiff | tree
2013-05-01 lianahremoved tracing code causing slowdown; cleaned up some... commit | commitdiff | tree
2013-05-01 Tim KingWorking on the new explanation system. commit | commitdiff | tree
2013-05-01 lianahadded back BitwiseEq rule commit | commitdiff | tree
2013-05-01 Morgan DetersAdding a missing makefile to the dist (fixes distcheck) commit | commitdiff | tree
2013-04-30 Tim KingMaking propagation more conversative. commit | commitdiff | tree
2013-04-30 Tim KingDraft of the new propagation code. commit | commitdiff | tree
2013-04-30 lianahfixed merge conflicts commit | commitdiff | tree
2013-04-30 lianahmerged cvc4 master commit | commitdiff | tree
2013-04-30 lianahupdated the author name commit | commitdiff | tree
2013-04-30 lianahadded several rewrite rules (BitwiseSlicing, Ule/SleEli... commit | commitdiff | tree
2013-04-30 lianahadded bvule, bvsle operator elimination rulesl; added... commit | commitdiff | tree
2013-04-30 lianahadded some bv rewrite rules commit | commitdiff | tree
2013-04-30 lianahinnd examples are solved fast, but destruction assertio... commit | commitdiff | tree
2013-04-30 Liana Hadareanfixed compile error commit | commitdiff | tree
2013-04-30 lianahuncompiling new bv to bool lifting commit | commitdiff | tree
2013-04-30 lianahfinished implementing bv to bool lifting and added... commit | commitdiff | tree
2013-04-30 Liana Hadareanmore work on boolean lifting commit | commitdiff | tree
2013-04-30 lianahstarted work on bv1 to boolean lifting commit | commitdiff | tree
2013-04-30 lianahadded support for dumping the SAT problem the sat solve... commit | commitdiff | tree
2013-04-30 lianahupdated the author name commit | commitdiff | tree
2013-04-30 Andrew ReynoldsAdd option in quantifiers for clause splitting commit | commitdiff | tree
2013-04-30 lianahadded several rewrite rules (BitwiseSlicing, Ule/SleEli... commit | commitdiff | tree
2013-04-30 Kshitij Bansaladd decision_attributes.h for make dist commit | commitdiff | tree
2013-04-30 Tim KingAdding has bound counts and tracking for rows. commit | commitdiff | tree
2013-04-29 Morgan DetersSome fixes for GCC 4.2, and for Java on Mac commit | commitdiff | tree
2013-04-29 Kshitij BansalMerge pull request #9 from kbansal/master commit | commitdiff | tree
2013-04-29 Morgan DetersFixes to FCSimplex for some versions of compilers commit | commitdiff | tree
2013-04-28 Tim KingFixing the failure for make distcheck. commit | commitdiff | tree
2013-04-26 Kshitij BansalMerge experimental decisionweight branch commit | commitdiff | tree
2013-04-26 Tim KingFCSimplex branch merge commit | commitdiff | tree
2013-04-25 lianahadded bvule, bvsle operator elimination rulesl; added... commit | commitdiff | tree
2013-04-25 Morgan DetersAdd ability to run different regression levels with... commit | commitdiff | tree
2013-04-24 Morgan DetersTheory "alternates" support commit | commitdiff | tree
2013-04-22 Morgan Detersadd bit0 and bit1 constants to smt-lib v1 parser commit | commitdiff | tree
2013-04-21 lianahadded some bv rewrite rules commit | commitdiff | tree
2013-04-18 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2013-04-18 lianahmaking sure sat context is zero when user context is... commit | commitdiff | tree
2013-04-18 lianahfixing destruction order in SmtEngine commit | commitdiff | tree
2013-04-17 Kshitij Bansalbool flatten: node num_children workaround commit | commitdiff | tree
2013-04-17 lianahinnd examples are solved fast, but destruction assertio... commit | commitdiff | tree
2013-04-17 Kshitij Bansalboolean flatten: bug fix in dfs search commit | commitdiff | tree
2013-04-17 Kshitij Bansalboolean flatten rewrite: dont re-rewrite commit | commitdiff | tree
2013-04-17 Kshitij Bansalgeneralize to handle and commit | commitdiff | tree
next