projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Fix ufho issues (#3551)
[cvc5.git]
/
src
/
options
/
options.h
2019-12-10
Haniel Barbosa
Fix ufho issues (#3551)
blob
|
commitdiff
|
raw
2019-10-20
Andrew V. Jones
Cleaning-up the declaration of wrapped functions/method...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Mathias Preiner
Remove option --continued-execution. (#3189)
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
Haniel Barbosa
Parsing THF and adding several regressions (#3131)
blob
|
commitdiff
|
raw
|
diff to current
2019-07-18
Andrew V. Jones
Removing forward-declaration of undefined function...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-21
Andres Noetzli
Fix and simplify handling of --force-logic (#3062)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-10-04
Aina Niemetz
New C++ API: Add checks for Sorts. (#2519)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-01-17
Tim King
Removes yet more throw specifiers. Updating the documen...
blob
|
commitdiff
|
raw
|
diff to current
2018-01-14
Tim King
Removing throw specifiers from OptionsHandler. (#1510)
blob
|
commitdiff
|
raw
|
diff to current
2018-01-09
Tim King
Removing more miscellaneous throw specifiers. (#1488)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-03
Andrew Reynolds
Sygus clean main (#1297)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Andrew Reynolds
Merge pull request #122 from 4tXJ7f/fix_lfsc_str
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
guykatzz
Merge pull request #120 from 4tXJ7f/fix_f_pp_holes
blob
|
commitdiff
|
raw
|
diff to current
2017-01-04
Andrew Reynolds
Merge pull request #121 from 4tXJ7f/fix_lfsc_mem_leaks
blob
|
commitdiff
|
raw
|
diff to current
2016-12-29
Tim King
Changing getTearDownIncremental() to return the type...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2016-03-22
Tim King
New version of the recursive options parsing strategy.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-28
Tim King
Adding listeners to Options.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-06
Tim King
Add SmtGlobals Class
blob
|
commitdiff
|
raw
|
diff to current
2015-12-30
Tim King
Shuffling around public vs. private headers
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-10-24
Tim King
Switching Options::current() to return a pointer. This...
blob
|
commitdiff
|
raw
|
diff to current
2015-10-14
Kshitij Bansal
Merge pull request #77 from kbansal/macsegfault
blob
|
commitdiff
|
raw
|
diff to current
2015-10-13
Kshitij Bansal
remove options infrastructure code which depended on...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge pull request #25 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-04-28
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
blob
|
commitdiff
|
raw
|
diff to current
2014-04-19
Kshitij Bansal
Eh, what?
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-07-23
Morgan Deters
(get-info :all-options) to get option values; also...
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-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-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-17
Kshitij Bansal
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Morgan Deters
Merge branch '1.0.x'
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
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Tim King
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-08
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Kshitij Bansal
Merge remote-tracking branch 'origin/1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-05
Morgan Deters
Merge branch '1.0.x'
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
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-02-02
lianah
merged master into branch
blob
|
commitdiff
|
raw
|
diff to current
2013-02-01
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-31
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-28
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-27
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-25
Morgan Deters
Fix errors and reduce warnings on clang (merge from...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-11
Morgan Deters
Standardizing copyright notice. Touches **ALL** source...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-20
Morgan Deters
some bugfixes that come as a result of debugging some...
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-08-06
Morgan Deters
Support setting :regular-output-channel and :diagnostic...
blob
|
commitdiff
|
raw
|
diff to current
2012-07-31
Morgan Deters
Options merge. This commit:
blob
|
commitdiff
|
raw
|
diff to current