projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Some reversions of recent commits re: portfolio failure.
[cvc5.git]
/
src
/
main
/
driver_unified.cpp
2014-06-18
Morgan Deters
Some reversions of recent commits re: portfolio failure.
blob
|
commitdiff
|
raw
2014-06-17
Morgan Deters
More application-track fixes for use with trace executor.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Some fixes for tear-down-incremental and "success"...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-16
Morgan Deters
Careful there aren't too many "success" messages with...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-06
Kshitij Bansal
option to hide stats which are zero (off by default...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-04
Morgan Deters
Fix usability issue with tear-down incremental mode.
blob
|
commitdiff
|
raw
|
diff to current
2014-05-27
Kshitij Bansal
Merge pull request #27 from kbansal/statistics
blob
|
commitdiff
|
raw
|
diff to current
2014-05-27
Morgan Deters
New --tear-down-incremental mode, useful for debugging...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Tim King
Merge pull request #21 from pcc/ite-fix
blob
|
commitdiff
|
raw
|
diff to current
2014-04-06
Kshitij Bansal
fix for hiding prompt/header in shell, error-behavior...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-26
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
blob
|
commitdiff
|
raw
|
diff to current
2014-03-19
Morgan Deters
Set dumping options from (set-option..) and API more...
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-03-11
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-21
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-02-19
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-09
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-08
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-01-02
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-27
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-24
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-22
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-22
Morgan Deters
Fix to interactive mode determination.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-29
Morgan Deters
Fix portfolio compile error.
blob
|
commitdiff
|
raw
|
diff to current
2013-11-27
Morgan Deters
Incremental is now on by default when using from API...
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Morgan Deters
Change exit status to be more consistent with other...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-08-13
Morgan Deters
--segv-nospin is now default.
blob
|
commitdiff
|
raw
|
diff to current
2013-07-11
Morgan Deters
Support for TPTP's TFF0 (with arithmetic)
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
blob
|
commitdiff
|
raw
|
diff to current
2013-04-02
Morgan Deters
update copyrights
blob
|
commitdiff
|
raw
|
diff to current
2013-03-27
lianah
Merge branch 'master' into bv-core
blob
|
commitdiff
|
raw
|
diff to current
2013-03-26
Morgan Deters
Make --incremental the default when running interactively
blob
|
commitdiff
|
raw
|
diff to current
2013-03-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-14
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-13
lianah
post failed attempts at getting the incremental solver...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-26
lianah
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-26
lianah
Merge branch '1.0.x' of https://github.com/CVC4/CVC4...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-17
Kshitij Bansal
Merge pull request #6 from kbansal/decNewoptions
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Fix version identification for new git repository.
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
prvs commit: lower warning to notice
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
Merge pull request #5 from kbansal/1.0.x
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Kshitij Bansal
make incremental+portfolio experimental
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-04
Morgan Deters
driver::totalTime statistic is now reported correctly...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-03
Morgan Deters
correct output language bug with --dump-to
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-30
Morgan Deters
correct output language bug with --dump-to
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Kshitij Bansal
typo
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Kshitij Bansal
bugfix: isQuantified, bugfix: flush
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Morgan Deters
* Clean up some options documentation
blob
|
commitdiff
|
raw
|
diff to current
2012-09-29
Morgan Deters
Fix a few segfaults in driver.
blob
|
commitdiff
|
raw
|
diff to current
2012-09-28
Morgan Deters
Public interface review items:
blob
|
commitdiff
|
raw
|
diff to current
2012-09-27
Morgan Deters
* Rename SMT parts (printer, parser) to SMT1
blob
|
commitdiff
|
raw
|
diff to current
2012-09-26
Morgan Deters
The Tuesday Afternoon Catch-All Commit (TACAC):
blob
|
commitdiff
|
raw
|
diff to current
2012-09-24
Morgan Deters
Fix the memout issue seen in recent nightly regressions...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-22
Morgan Deters
Separate public-facing and internal-facing interfaces...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-21
Morgan Deters
better verbosity support (so it's sensible when the...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-14
Morgan Deters
Fix a few minor issues in options processing, improving...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-08
Morgan Deters
Some minor changes after reviewing the portfolio "unifi...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-08
Kshitij Bansal
Single driver for both sequential and portfolio
blob
|
commitdiff
|
raw
|
diff to current