projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2013-05-09 Tim KingChanging the integer normal form to increase matching. commit | commitdiff | tree
2013-05-09 Andrew ReynoldsAdd new method for checking candidate models, --fmf... commit | commitdiff | tree
2013-05-08 Morgan DetersPrerelease versioning for master 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
2013-04-16 Kshitij Bansalflatten or nodes commit | commitdiff | tree
2013-04-16 Liana Hadareanfixed compile error commit | commitdiff | tree
2013-04-16 lianahuncompiling new bv to bool lifting commit | commitdiff | tree
2013-04-12 lianahfinished implementing bv to bool lifting and added... commit | commitdiff | tree
2013-04-11 Clark BarrettImproved speed of no redundant lemma assertion by using... commit | commitdiff | tree
2013-04-11 Clark BarrettFixes for getModelVal in bv theory commit | commitdiff | tree
2013-04-11 Clark BarrettAdded check for infinite lemma loop commit | commitdiff | tree
2013-04-11 lianahfixed getModelValue to only query the value of leaves... commit | commitdiff | tree
2013-04-10 Liana Hadareanmore work on boolean lifting commit | commitdiff | tree
2013-04-10 lianahstarted work on bv1 to boolean lifting commit | commitdiff | tree
2013-04-09 Morgan DetersChange TPTP parser to not use the STRING type; this... commit | commitdiff | tree
2013-04-08 lianahadded support for dumping the SAT problem the sat solve... commit | commitdiff | tree
2013-04-05 Morgan DetersFix unit test (compile error) for new SatSolver interface commit | commitdiff | tree
2013-04-03 Dejan Jovanović* changing the bitblast-eager to bitblast on pre-register commit | commitdiff | tree
2013-04-03 Morgan DetersPrerelease versioning for master. commit | commitdiff | tree
next