projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Some defensive programming at destruction time, and fix a latent dangling pointer...
[cvc5.git]
/
src
/
options
/
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
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
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-28
Morgan Deters
Automatically make SMT options from command-line option...
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
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
Tim King
Merge branch 'master' of github.com:CVC3/CVC4
tree
|
commitdiff
2014-06-25
Morgan Deters
Fix some #line annotations.
tree
|
commitdiff
2014-06-22
Morgan Deters
Output language "cvc3" (as opposed to "cvc" or "cvc4...
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
tree
|
commitdiff
2014-06-21
Morgan Deters
Minor fixes for man pages.
tree
|
commitdiff
2014-06-19
lianah
fixed merge conflict
tree
|
commitdiff
2014-06-19
Morgan Deters
Proper escaping in option documentation.
tree
|
commitdiff
2014-06-19
Morgan Deters
Options script fix.
tree
|
commitdiff
2014-06-19
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-19
Morgan Deters
More doc fixes; fixes some lintian warnings.
tree
|
commitdiff
2014-06-19
Morgan Deters
Proper escaping in option documentation.
tree
|
commitdiff
2014-06-18
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-06-18
Morgan Deters
Options script fix.
tree
|
commitdiff
2014-06-17
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-17
Morgan Deters
More application-track fixes for use with trace executor.
tree
|
commitdiff
2014-06-16
Morgan Deters
Careful there aren't too many "success" messages with...
tree
|
commitdiff
2014-06-09
Kshitij Bansal
Merge pull request #29 from kbansal/alternatefix
tree
|
commitdiff
2014-06-09
Morgan Deters
Add missing set of braces, fixes --trace.
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
tree
|
commitdiff
2014-06-06
Kshitij Bansal
-{d,t} help => --show-{debug,trace}-tags
tree
|
commitdiff
2014-06-06
Kshitij Bansal
option to hide stats which are zero (off by default...
tree
|
commitdiff
2014-05-17
Kshitij Bansal
Merge pull request #26 from kbansal/sets
tree
|
commitdiff
2014-05-16
Kshitij Bansal
minor improvements (fixes) to did-you-mean suggestions
tree
|
commitdiff
2014-04-30
Morgan Deters
Mostly resolves bug #561 memory leaks, and more.
tree
|
commitdiff
2014-04-29
Kshitij Bansal
fixed couple of more warnings
tree
|
commitdiff
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge pull request #25 from kbansal/sets
tree
|
commitdiff
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-04-19
Kshitij Bansal
Eh, what?
tree
|
commitdiff
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-04-09
Kshitij Bansal
Merge pull request #24 from kbansal/sets-model
tree
|
commitdiff
2014-04-09
Morgan Deters
Minor change to better support parameterized partial...
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-21
Kshitij Bansal
Merge pull request #22 from kbansal/sets-model
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Fix for rewriterules build breakage.
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-01
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-02-28
Kshitij Bansal
Merge pull request #11 from kbansal/improve-stats-every...
tree
|
commitdiff
2014-02-27
Kshitij Bansal
--stats-every-query option: print increment in addition...
tree
|
commitdiff
2014-02-26
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-02-25
Morgan Deters
New translation work, support Z3-str-style string const...
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
tree
|
commitdiff
2014-02-21
Kshitij Bansal
add new theory (sets)
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-09
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-08
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Update copyright year.
tree
|
commitdiff
2013-12-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-23
Morgan Deters
Proof-checking code; fixups of segfaults and missing...
tree
|
commitdiff
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-29
Morgan Deters
Fix proofs build.
tree
|
commitdiff
2013-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-11-11
Morgan Deters
Some fixes to build system with dependency-tracking...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-09-13
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-09-11
Tianyi Liang
Theory of strings.
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-08-13
Morgan Deters
--segv-nospin is now default.
tree
|
commitdiff
2013-07-29
Morgan Deters
Fix numerous compiler warnings on various platforms
tree
|
commitdiff
2013-07-24
Morgan Deters
Fixes for building with mingw win64.
tree
|
commitdiff
2013-07-24
Morgan Deters
Don't allow --stats if not a statistics-enabled build
tree
|
commitdiff
2013-07-24
Morgan Deters
Some fixes for (get-info :all-options)
tree
|
commitdiff
2013-07-23
Morgan Deters
fix for win32 option parsing via mingw32
tree
|
commitdiff
2013-07-23
Morgan Deters
(get-info :all-options) to get option values; also...
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-06
Dejan Jovanović
IDL example theory (to be used with --use-theory=idl).
tree
|
commitdiff
2013-05-22
Andrew Reynolds
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-05-20
Morgan Deters
A couple of fixes to the get-option command for complia...
tree
|
commitdiff
2013-05-17
Morgan Deters
A couple of fixes to the get-option command for complia...
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
tree
|
commitdiff
next