projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Regenerated copyrights: canonicalized names, no emails
[cvc5.git] / test /
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-04-02 Morgan DetersFixes for two bugs: tree | commitdiff
2013-04-01 Tim KingAdding tests for the previous commit. tree | commitdiff
2013-04-01 Morgan DetersMerging some cleanup work: tree | commitdiff
2013-04-01 Tim KingFix for iff terms over equalities between the same... tree | commitdiff
2013-04-01 Morgan DetersFix bug 491 and related issues with checkModel() and... tree | commitdiff
2013-04-01 lianahfixed TheoryBool rewriter bug tree | commitdiff
2013-03-29 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-27 lianahadded model generation for bv subtheories and bv-inequa... tree | commitdiff
2013-03-23 lianahnon-incremental inequality solver seems to be bug-free... tree | commitdiff
2013-03-23 Dejan JovanovićMerge remote-tracking branch 'dddejan/c++11' tree | commitdiff
2013-03-22 Morgan DetersSupport for Boolean term conversion in datatypes. tree | commitdiff
2013-03-22 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 Dejan JovanovićMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2013-03-21 Morgan DetersSome model and printing fixes for defined functions... tree | commitdiff
2013-03-21 lianahadded regression test for constant eval tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 lianahadded more tests tree | commitdiff
2013-03-21 lianahgeneralized bv inequality reasoning to handle both... tree | commitdiff
2013-03-21 Morgan DetersFix to bug 497: make justification heuristic's ITE... tree | commitdiff
2013-03-20 Morgan DetersInteractive mode support for multiline input tree | commitdiff
2013-03-20 Morgan DetersProperly |quote| symbols in SMT-LIBv2 output. tree | commitdiff
2013-03-20 Liana Hadareanone more ineq regression tree | commitdiff
2013-03-20 Liana Hadareanfixed reversed concat in core theory tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-20 Liana Hadareaninequality reasoning works on small examples added... tree | commitdiff
2013-03-19 Morgan DetersFixes for miplib-trick application (and a new testcase) tree | commitdiff
2013-03-16 lianahstarted work on the inequality bv subtheory tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... tree | commitdiff
2013-02-26 lianahfix for bv crash in incremental mode; this is a tempora... tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed). tree | commitdiff
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for recor... tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersFix to miplib trick to make it less "cautious" and... tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate... tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Andrew ReynoldsModel no longer adds subterms of quantifiers to equalit... tree | commitdiff
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options tree | commitdiff
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902... tree | commitdiff
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-genera... tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-29 Andrew Reynoldscurrently disabling bug486 regression. we need to... tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it tree | commitdiff
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it tree | commitdiff
2013-01-28 Morgan Deterssome fixes for win32, including ability to "make check... tree | commitdiff
2013-01-27 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-23 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection... tree | commitdiff
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection... tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-19 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-08 Morgan DetersSMT-LIB get-model output now is easier to machine-parse... tree | commitdiff
2012-12-22 Dejan JovanovićMerge branch '1.0.x' tree | commitdiff
2012-12-18 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2012-12-15 Tim KingMerging in patch from branch '1.0.x'. tree | commitdiff
2012-12-15 Tim KingAdding unit test for different versions of division. tree | commitdiff
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... tree | commitdiff
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x', getting fix for bug 480 tree | commitdiff
2012-12-11 Morgan DetersSMT-LIB compliance fix to get-assignment; resolves... tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x' (getting fix for bug 479) tree | commitdiff
2012-12-11 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). tree | commitdiff
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error... tree | commitdiff
2012-12-07 François BobotMerge release branch '1.0.x' tree | commitdiff
2012-12-06 François BobotMerge branch 'release-1.0.x' tree | commitdiff
2012-12-06 Clark BarrettFix for fuzzer-found model bug tree | commitdiff
2012-12-06 Morgan Deters* tuple and record support in compatibility library tree | commitdiff
2012-12-03 Clark BarrettFix for fuzzer-found model bug tree | commitdiff
2012-12-01 Morgan Detersremove an obsolete (and incorrect) assertion in boolean... tree | commitdiff
2012-12-01 Morgan Detersfix java system test dependences tree | commitdiff
2012-12-01 Morgan DetersSome fixes for boolean arrays tree | commitdiff
next