projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove private header from public driver.
[cvc5.git]
/
src
/
2014-10-08
Morgan Deters
Remove private header from public driver.
tree
|
commitdiff
2014-10-07
Morgan Deters
Fix a bug in tuple-record handling. Thanks to Saumya...
tree
|
commitdiff
2014-10-06
Kshitij Bansal
fix for bug586
tree
|
commitdiff
2014-10-06
Morgan Deters
Fix native language parsing of chained-store expression...
tree
|
commitdiff
2014-10-03
Morgan Deters
Fix output of integer-valued real constants in SMT...
tree
|
commitdiff
2014-10-03
Morgan Deters
Improve error in CVC parser in presence of unrecognized...
tree
|
commitdiff
2014-10-03
Morgan Deters
Minor fixes to CVC printer.
tree
|
commitdiff
2014-10-02
Morgan Deters
Fix comment in SmtEngine.
tree
|
commitdiff
2014-10-02
Morgan Deters
Fix for an array-of-record model generation assert...
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-27
Morgan Deters
Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
tree
|
commitdiff
2014-09-26
Morgan Deters
Fix bv options doc.
tree
|
commitdiff
2014-09-26
Morgan Deters
Clarify some licensing-related things.
tree
|
commitdiff
2014-09-18
Kshitij Bansal
cvc4terminate infinite loop fix
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Fix fix. There are no unsat cores in 1.4
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Fix (push) and (pop). Thanks to Christoph Sticksel...
tree
|
commitdiff
2014-08-28
lianah
fixing bug580 caused by bad bv inequality explanation
tree
|
commitdiff
2014-08-22
Morgan Deters
Fix operator-printing issue in SMT2.
tree
|
commitdiff
2014-08-22
Morgan Deters
Fix SMT1 parser :extrasorts/:extrapreds.
tree
|
commitdiff
2014-08-19
Morgan Deters
Produce error for bad indexed function names in SMT...
tree
|
commitdiff
2014-08-18
Morgan Deters
Revert a8e0ce67 and add test case (resolves bug #578).
tree
|
commitdiff
2014-08-05
lianah
fixed bug575 for bv models
tree
|
commitdiff
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
tree
|
commitdiff
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
tree
|
commitdiff
2014-07-11
Morgan Deters
Spelling.
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-11
Kshitij Bansal
Merge pull request #49 from kbansal/cvcparser
tree
|
commitdiff
2014-07-10
Kshitij Bansal
rm warning
tree
|
commitdiff
2014-07-10
Kshitij Bansal
membership cvc token changed to `IS_IN' to avoid confli...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
friendlyparser: go back upto 2 words looking for match
tree
|
commitdiff
2014-07-10
Kshitij Bansal
reorganize friendlyparser, behavior unchanged
tree
|
commitdiff
2014-07-09
Kshitij Bansal
sets cvc parser
tree
|
commitdiff
2014-07-09
Kshitij Bansal
sets cvc printer
tree
|
commitdiff
2014-07-04
Kshitij Bansal
initialize variables
tree
|
commitdiff
2014-07-03
Kshitij Bansal
change lemma generation behavior
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-30
Kshitij Bansal
Use FS as the set-logic string for theory of sets
tree
|
commitdiff
2014-06-29
Kshitij Bansal
sets: "insert" operator
tree
|
commitdiff
2014-06-28
Morgan Deters
Automatically make SMT options from command-line option...
tree
|
commitdiff
2014-06-28
Morgan Deters
Fix bug in datatypes options specification
tree
|
commitdiff
2014-06-27
Morgan Deters
Another fix for 32-bit (amends commit b825605).
tree
|
commitdiff
2014-06-27
Clark Barrett
Fix for bug543
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-26
Morgan Deters
Remove leftover debugging output.
tree
|
commitdiff
2014-06-26
Morgan Deters
Minor language bindings fixes.
tree
|
commitdiff
2014-06-26
Morgan Deters
Add missing function definition.
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
Morgan Deters
Turn strings-exp off by default (for the release)
tree
|
commitdiff
2014-06-25
Kshitij Bansal
fix sets eager lemmas
tree
|
commitdiff
2014-06-25
Kshitij Bansal
cosmetic
tree
|
commitdiff
2014-06-25
Kshitij Bansal
mv default care graph function inside the theory implem...
tree
|
commitdiff
2014-06-25
Kshitij Bansal
make emptyset construction with no arguments private
tree
|
commitdiff
2014-06-25
Kshitij Bansal
rename subseteq to subset in smtlib, all kinds and...
tree
|
commitdiff
2014-06-25
Kshitij Bansal
Merge pull request #43 from mdeters/threadstack
tree
|
commitdiff
2014-06-25
Morgan Deters
BinaryHeap unit test and some usability/build fixes...
tree
|
commitdiff
2014-06-25
Tim King
Fixing the previous bugfix.
tree
|
commitdiff
2014-06-25
Tim King
Merge branch 'master' of github.com:CVC3/CVC4
tree
|
commitdiff
2014-06-25
Tim King
Fixing the previous bugfix.
tree
|
commitdiff
2014-06-25
Morgan Deters
Stack-size portfolio fix. If using Boost 1.50, --threa...
tree
|
commitdiff
2014-06-25
Morgan Deters
Fix some #line annotations.
tree
|
commitdiff
2014-06-24
Morgan Deters
stack-size portfolio fix. boost 1.50 now required
tree
|
commitdiff
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
tree
|
commitdiff
2014-06-24
Tim King
Alternative lazier heuristic for assertion rewriting.
tree
|
commitdiff
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
tree
|
commitdiff
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
tree
|
commitdiff
2014-06-24
Tianyi Liang
Merge pull request #41 from mdeters/tianyi-merge
tree
|
commitdiff
2014-06-24
Morgan Deters
Squashed commit of the following:
tree
|
commitdiff
2014-06-23
Morgan Deters
Fatal error if --unconstrained-simp and --produce-model...
tree
|
commitdiff
2014-06-22
Kshitij Bansal
Renaming of SMT2 operator names, kinds for set theory
tree
|
commitdiff
2014-06-22
Morgan Deters
Output language "cvc3" (as opposed to "cvc" or "cvc4...
tree
|
commitdiff
2014-06-22
Morgan Deters
Minor cleanup stuff.
tree
|
commitdiff
2014-06-22
Morgan Deters
Re-enable UNTERMINATED_QUOTED_SYMBOL rules.
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 #39 from mdeters/bv-warnings
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-22
Morgan Deters
Fix compiler warnings (mostly unused variables).
tree
|
commitdiff
2014-06-22
Morgan Deters
API documentation improvements.
tree
|
commitdiff
2014-06-22
Morgan Deters
Fix compiler warnings in BV-related code (unused vars...
tree
|
commitdiff
2014-06-22
Morgan Deters
Fix to the compatibility library (this does fix the...
tree
|
commitdiff
2014-06-21
Morgan Deters
Fix compat-Java layer, should fix build.
tree
|
commitdiff
2014-06-21
Morgan Deters
Sets kinds documentation
tree
|
commitdiff
2014-06-21
Morgan Deters
Lower the Java JRE version requirement.
tree
|
commitdiff
2014-06-21
Morgan Deters
Adjust library dependencies to be more correct (fixes...
tree
|
commitdiff
2014-06-21
Morgan Deters
Add some missing functions in configuration and compat...
tree
|
commitdiff
next