projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixes to theoryof-mode; no longer static in Theory class.
[cvc5.git] / test /
2013-09-13 Morgan DetersMove some regress benchmarks around that took too long... tree | commitdiff
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... tree | commitdiff
2013-09-13 Kshitij BansalMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-09-11 Tianyi LiangTheory of strings. tree | commitdiff
2013-09-09 Andrew ReynoldsAnother minor fix for datatypes to repair my previous... tree | commitdiff
2013-09-09 Morgan DetersAdd support for check-sat with argument. tree | commitdiff
2013-09-09 Morgan DetersSupport empty (and 1-ary) tuples and records. tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-08-26 Kshitij Bansalbug 374 fix: assert litVal=desiredVal only for leaf... tree | commitdiff
2013-08-26 Kshitij BansalBug 374 benchmarks tree | commitdiff
2013-07-30 Morgan DetersMinor fixes to build system. tree | commitdiff
2013-07-29 Morgan DetersFix numerous compiler warnings on various platforms tree | commitdiff
2013-07-24 Morgan DetersRegressions now checking models on unknown too. But... tree | commitdiff
2013-07-20 Morgan Detersenable bug521 regression tests tree | commitdiff
2013-07-17 Morgan DetersFix bug 516; include some bug testcases. tree | commitdiff
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) tree | commitdiff
2013-07-10 Morgan DetersFix for bug 519; don't involve ITESimplifier in model... tree | commitdiff
2013-06-27 Morgan DetersRemove output.h from public space, to avoid clashes... tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersSupport for abs, to_int, is_int, divisible in SMT-LIB... tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-04 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-04 Morgan DetersFix clang static initialization order issue; fixes... tree | commitdiff
2013-06-03 Morgan DetersMerge tag 'casc24' tree | commitdiff
2013-05-29 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-28 Morgan DetersStandardize SMT-LIBv2 set of logics to use LogicInfo. tree | commitdiff
2013-05-23 Andrew ReynoldsRefactoring to prepare for MBQI with integer quantifica... tree | commitdiff
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-22 Andrew ReynoldsAdd regressions for finite model finding tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersFix bug 512: an assertion failure only appearing with... tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersFix incremental bug in symmetry breaker. tree | commitdiff
2013-05-20 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-20 Morgan DetersFix for equality-chaining of Booleans in SMT-LIBv2. tree | commitdiff
2013-05-17 Morgan DetersFix for equality-chaining of Booleans in SMT-LIBv2. tree | commitdiff
2013-05-09 Kshitij BansalMerge branch 'master' of ssh://github.com/CVC4/CVC4 tree | commitdiff
2013-05-09 Tim KingChanging the integer normal form to increase matching. tree | commitdiff
2013-05-07 Dejan Jovanovićfix for bug500 tree | commitdiff
2013-05-03 Tim KingFixing compilation of unit tests. These problems were... tree | commitdiff
2013-05-03 Tim KingMerging branch 'soiquickexplain'. tree | commitdiff
2013-05-03 Tim KingMerge branch 'fcexplanations' tree | commitdiff
2013-05-02 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-01 Morgan DetersFix to boolean-terms; resolves bug #507 tree | commitdiff
2013-05-01 Morgan DetersAdding a missing makefile to the dist (fixes distcheck) tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-30 Kshitij Bansaladd decision_attributes.h for make dist tree | commitdiff
2013-04-29 Morgan DetersSome fixes for GCC 4.2, and for Java on Mac tree | commitdiff
2013-04-29 Kshitij BansalMerge pull request #9 from kbansal/master tree | commitdiff
2013-04-26 Kshitij BansalMerge experimental decisionweight branch tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-04-25 Morgan DetersAdd ability to run different regression levels with... tree | commitdiff
2013-04-18 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-04-17 Kshitij Bansalboolean flatten: bug fix in dfs search tree | commitdiff
2013-04-17 Kshitij Bansalgeneralize to handle and tree | commitdiff
2013-04-16 Kshitij Bansalflatten or nodes tree | commitdiff
2013-04-05 Morgan DetersFix unit test (compile error) for new SatSolver interface tree | commitdiff
2013-04-03 Morgan DetersSome final minor changes before cutting 1.1. tree | commitdiff
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
next