projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add --lte-restrict-inst-closure option. Push dt.size fairness constraints inside...
[cvc5.git]
/
src
/
main
/
2015-01-14
Morgan Deters
sygus input language and benchmark
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-12
Morgan Deters
Fix tokenization of "reset" in SMT-LIB v2.0. It's...
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-08
Morgan Deters
Some minor cleanup.
tree
|
commitdiff
2014-10-08
Morgan Deters
Remove private header from public driver.
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-30
Morgan Deters
Fix improper #inclusion of private header outside library.
tree
|
commitdiff
2014-09-30
Morgan Deters
Fix a command-replay bug in tear-down-incremental mode...
tree
|
commitdiff
2014-09-30
Morgan Deters
Proofs- and cores-related segfault fixes (mainly a...
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-18
Kshitij Bansal
cvc4terminate infinite loop fix
tree
|
commitdiff
2014-09-18
Kshitij Bansal
cvc4terminate infinite loop fix
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-04
Kshitij Bansal
Update command_executor_portfolio.cpp
tree
|
commitdiff
2014-09-03
Kshitij Bansal
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2014-09-03
ajreynol
Work on conjecture generator : do not generalize subter...
tree
|
commitdiff
2014-08-26
Morgan Deters
Improved SMT-LIBv2 language support for unsat cores.
tree
|
commitdiff
2014-08-23
Morgan Deters
Unsat core printing.
tree
|
commitdiff
2014-08-23
Morgan Deters
Some fixes for dump- and get-unsat-core.
tree
|
commitdiff
2014-07-11
Kshitij Bansal
fix for windows build
tree
|
commitdiff
2014-07-11
Kshitij Bansal
Merge pull request #48 from kbansal/segfaultfix
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-04
Kshitij Bansal
initialize variables
tree
|
commitdiff
2014-07-01
Kshitij Bansal
Update portfolio_util.cpp
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Kshitij Bansal
chat about thread creation
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-27
Morgan Deters
Another fix for 32-bit (amends commit b825605).
tree
|
commitdiff
2014-06-26
Kshitij Bansal
Merge pull request #46 from mdeters/bug573
tree
|
commitdiff
2014-06-26
Morgan Deters
Fix for 32-bit (esp. win32 failing build).
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-26
Morgan Deters
Potential fix for bug 573.
tree
|
commitdiff
2014-06-26
Morgan Deters
Ignore error result when an error is squelched via...
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
tree
|
commitdiff
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
tree
|
commitdiff
2014-06-25
Kshitij Bansal
Merge pull request #43 from mdeters/threadstack
tree
|
commitdiff
2014-06-25
Morgan Deters
Stack-size portfolio fix. If using Boost 1.50, --threa...
tree
|
commitdiff
2014-06-24
Morgan Deters
stack-size portfolio fix. boost 1.50 now required
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
Morgan Deters
QuitCommand needs "success" output for trace executor...
tree
|
commitdiff
2014-06-22
Morgan Deters
Final fixes for smtcomp2014-application.
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-21
Morgan Deters
Add some missing functions in configuration and compat...
tree
|
commitdiff
2014-06-19
Morgan Deters
Better --segv-spin messages.
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix for mac readline.
tree
|
commitdiff
2014-06-19
Morgan Deters
Some reversions of recent commits re: portfolio failure.
tree
|
commitdiff
2014-06-19
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-19
Morgan Deters
Some fixes for tear-down-incremental and "success"...
tree
|
commitdiff
2014-06-19
Morgan Deters
Better --segv-spin messages.
tree
|
commitdiff
2014-06-18
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-06-18
Morgan Deters
Fix for mac readline.
tree
|
commitdiff
2014-06-18
Morgan Deters
Some reversions of recent commits re: portfolio failure.
tree
|
commitdiff
2014-06-17
Morgan Deters
Some reversions of recent commits re: portfolio failure.
tree
|
commitdiff
2014-06-17
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-17
Morgan Deters
Some fixes for tear-down-incremental and "success"...
tree
|
commitdiff
2014-06-17
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-17
Morgan Deters
Some fixes for tear-down-incremental and "success"...
tree
|
commitdiff
2014-06-16
Morgan Deters
Careful there aren't too many "success" messages with...
tree
|
commitdiff
2014-06-12
lianah
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2014-06-11
Morgan Deters
Flush output stream after result printed in portfolio.
tree
|
commitdiff
2014-06-11
Morgan Deters
Fix for competition mode + parallel.
tree
|
commitdiff
2014-06-11
Morgan Deters
Some clean-up, post bv-merge.
tree
|
commitdiff
2014-06-10
lianah
reverting portfolio hack
tree
|
commitdiff
2014-06-10
lianah
Merging CAV14 paper bit-vector work.
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
tree
|
commitdiff
2014-06-06
Kshitij Bansal
option to hide stats which are zero (off by default...
tree
|
commitdiff
2014-06-04
Morgan Deters
Fix usability issue with tear-down incremental mode.
tree
|
commitdiff
2014-06-01
Morgan Deters
Fix for Windows builds (rlimit doesn't exist on Windows).
tree
|
commitdiff
2014-05-28
Andrew Reynolds
Add option to avoid dumping partial models/proofs.
tree
|
commitdiff
2014-05-27
Kshitij Bansal
Merge pull request #27 from kbansal/statistics
tree
|
commitdiff
2014-05-27
Morgan Deters
New --tear-down-incremental mode, useful for debugging...
tree
|
commitdiff
2014-05-27
Kshitij Bansal
Revert "timespec printing bug"
tree
|
commitdiff
2014-05-27
Kshitij Bansal
timespec printing bug
tree
|
commitdiff
2014-05-12
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-05-11
Andrew Reynolds
More preparation for CASC proofs. Minor fix for sort...
tree
|
commitdiff
2014-05-09
Andrew Reynolds
Add variable ordering to ambqi. Bug fix to macros...
tree
|
commitdiff
2014-04-29
Morgan Deters
Fix for --force-logic to extend its reach to the parser.
tree
|
commitdiff
next