projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Datatype::getCardinality() caching
[cvc5.git] / test /
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersChange exit status to be more consistent with other... tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-06 lianahfixed proof regression script and added a new uf test... tree | commitdiff
2013-11-04 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-10-24 Clark BarrettFix for bug515 tree | commitdiff
2013-10-21 Tianyi Liangadd a string test case tree | commitdiff
2013-10-21 Tianyi Liangadd a string test case tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-21 Tianyi Liangadds regular expression range tree | commitdiff
2013-10-16 Tianyi Liangadds fmf for strings tree | commitdiff
2013-10-15 Tianyi Liangbug fix: string cache cleaning tree | commitdiff
2013-10-14 Tianyi Liangadd another regexp test tree | commitdiff
2013-10-14 Tianyi LiangAdds Regular Expression support. tree | commitdiff
2013-10-11 Tianyi LiangAdds regular expression support, it is actually CFL... tree | commitdiff
2013-10-07 Liana Hadareanmerged golden tree | commitdiff
2013-10-03 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-10-02 Tianyi Liangadds partial function substr. the use of this function... tree | commitdiff
2013-10-02 Tianyi Liangadds partial function substr. the use of this function... tree | commitdiff
2013-10-01 Tianyi Liangreplace with a new method for disequality, move to... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-27 Morgan DetersSome fixes to recent strings commits. tree | commitdiff
2013-09-27 Morgan DetersMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-09-27 Tianyi Liangadds communication with arith engine tree | commitdiff
2013-09-27 Tianyi Liangremoves unsound cases, adds unrolling tree | commitdiff
2013-09-27 Tianyi Liangadds model generation for strings, and a hacked way... tree | commitdiff
2013-09-27 Tianyi Liangremoves unsound cases, adds unrolling tree | commitdiff
2013-09-24 Tianyi Liangadds model generation for strings, and a hacked way... tree | commitdiff
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. tree | commitdiff
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
next