projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Models for codatatypes. Fixes bug 662.
[cvc5.git] / test / system /
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-05-30 Morgan DetersUpdate submission make rules. tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersFix makefile dependence for system tests. tree | commitdiff
2014-02-21 Kshitij Bansaldisable test cvc3_main, attempt to fix dist_check tree | commitdiff
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-14 Morgan DetersSome patches to CVC3 compatibility layer tests; Thanks... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' 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-05-03 Tim KingMerging branch 'soiquickexplain'. tree | commitdiff
2013-05-03 Tim KingMerge branch 'fcexplanations' tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-29 Morgan DetersSome fixes for GCC 4.2, and for Java on Mac tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... 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-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-17 Kshitij BansalMerge branch '1.0.x' 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-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-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' 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-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
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-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 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-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 Morgan Deters* tuple and record support in compatibility library tree | commitdiff
2012-12-01 Morgan Detersfix java system test dependences tree | commitdiff
2012-11-15 Tim KingFix for bug 447. tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-10-08 Morgan Deters* Models' SubstitutionMaps are now attached to the... tree | commitdiff
2012-10-05 Morgan DetersBug-related: tree | commitdiff
2012-09-28 Morgan DetersPublic interface review items: tree | commitdiff
2012-09-28 Morgan Deters* fix compatibility library naming for SMT-LIBv1 tree | commitdiff
2012-09-26 Morgan Detersdisable building of cvc3_george system-test object... tree | commitdiff
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... tree | commitdiff
2012-08-28 Morgan DetersImproved compatibility layer, now supports quantifiers... tree | commitdiff
2012-07-31 Morgan DetersOptions merge. This commit: tree | commitdiff
2012-07-18 Morgan Detersa few fixes for java system test tree | commitdiff
2012-07-16 Morgan Detersnow passes "make distcheck", which does important check... tree | commitdiff
2012-07-16 Morgan Detersstronger two_smt_engines test tree | commitdiff
2012-07-16 Morgan Detersfix inadvertent change to system test tree | commitdiff
2012-07-16 Morgan DetersSupport for having two SmtEngines with the same ExprMan... tree | commitdiff
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2012-06-14 Morgan Detersbug 346 resolved tree | commitdiff
2012-06-06 Dejan JovanovićChanges to the combination mechanism, lots of details... tree | commitdiff
2012-03-09 Morgan Detersminor fixes: to "make dist" in build directories with... tree | commitdiff
2012-02-10 Morgan Detersattempt at a fix for the local regression failure ... tree | commitdiff
2011-10-04 Morgan Deterscompatibility, bindings tree | commitdiff
2011-10-04 Morgan Deterscompat layer cleanup tree | commitdiff
2011-10-03 Morgan Detersuser push/pop support in minisat and simplification... tree | commitdiff
2011-09-29 Morgan Deterssome test fixes tree | commitdiff
2011-09-21 Morgan DetersJava binding now working. Some interface types still... tree | commitdiff
2011-09-21 Morgan Detersconsiderable bindings interface work, some improvements... tree | commitdiff
2011-09-16 Morgan Deterssome minor fixes to the cvc3 compatibility library... tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2011-05-02 Morgan Detersfix broken build; sorry, all! tree | commitdiff
2011-04-20 Morgan Detersnumerous bugfixes tree | commitdiff
2011-04-20 Morgan DetersMinor mixed-bag commit. Expected performance impact... tree | commitdiff
2011-04-20 Morgan DetersTuesday end-of-day commit. tree | commitdiff
2011-04-16 Morgan Detersalso a fix for a system test related to ParserBuilder tree | commitdiff
2011-04-11 Morgan Detersfix "make dist" issues in makefiles tree | commitdiff
2011-04-01 Morgan DetersThis commit is a merge from the "betterstats" branch... tree | commitdiff
2011-03-26 Morgan Detersfix typo tree | commitdiff
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... tree | commitdiff
next