projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Some reversions of recent commits re: portfolio failure.
[cvc5.git] / src / main / command_executor.h
2014-06-18 Morgan DetersSome reversions of recent commits re: portfolio failure. blob | commitdiff | raw
2014-06-17 Morgan DetersSome fixes for tear-down-incremental and "success"... blob | commitdiff | raw | diff to current
2014-05-27 Kshitij BansalMerge pull request #27 from kbansal/statistics blob | commitdiff | raw
2014-05-27 Morgan DetersNew --tear-down-incremental mode, useful for debugging... blob | commitdiff | raw
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-02-28 Kshitij BansalMerge pull request #11 from kbansal/improve-stats-every... blob | commitdiff | raw | diff to current
2014-02-27 Kshitij Bansal--stats-every-query option: print increment in addition... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-11 Morgan DetersSupport for TPTP's TFF0 (with arithmetic) blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-29 Morgan DetersFix a few segfaults in driver. blob | commitdiff | raw | diff to current
2012-09-28 Kshitij BansalSome fixes to portfolio blob | commitdiff | raw | diff to current
2012-09-22 Morgan DetersSeparate public-facing and internal-facing interfaces... blob | commitdiff | raw | diff to current
2012-09-08 Morgan DetersSome minor changes after reviewing the portfolio "unifi... blob | commitdiff | raw | diff to current