projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
(proof-new) Make shared solver proof producing (#5169)
[cvc5.git]
/
NEWS
2020-09-26
Aina Niemetz
Restrict bvxnor to only allow two operands (was n-ary...
blob
|
commitdiff
|
raw
2020-09-08
Andres Noetzli
Make CVC/API BV div/mod semantics match SMT-LIB (#4997)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-02
Andres Noetzli
Use SMT-COMP configuration for competition build (...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-10
Andrew Reynolds
Front end support for integer AND (#4717)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-06
Andrew Reynolds
Front end support for sequences (#4690)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-03
Andres Noetzli
Remove SWIG bindings (#4683)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-30
Andres Noetzli
Update NEWS post 1.8 release (#4666)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-27
Andres Noetzli
Add API for retrieving separation heap/nil term (#4663)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andres Noetzli
Update info for 1.8 release (#4633)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Andrew Reynolds
Updates to NEWS. (#4628)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
Andres Noetzli
Add support for str.replace_re/str.replace_re_all ...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-06
Andres Noetzli
Keep definitions when global-declarations enabled ...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Haniel Barbosa
Changing default language (#4561)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Haniel Barbosa
Printing FP values as binary or indexed BVs according...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Andres Noetzli
Update Java tests to match changes in API (#4535)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-12
Andres Noetzli
Rename Java package to edu.stanford.CVC4 (#3752)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-04
Haniel Barbosa
adding sygus news (#2934)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-21
Andres Noetzli
Add more NEWS (#2859)
blob
|
commitdiff
|
raw
|
diff to current
2019-01-16
Andres Noetzli
Update NEWS file (#2804)
blob
|
commitdiff
|
raw
|
diff to current
2018-12-17
Aina Niemetz
New C++ API: Add tests for term object. (#2755)
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
More updates to NEWS for 1.6.
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS...
blob
|
commitdiff
|
raw
|
diff to current
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-05
ajreynol
Update unit test, news.
blob
|
commitdiff
|
raw
|
diff to current
2017-06-30
Clark Barrett
Updated NEWS, README, RELEASE-NOTES.
blob
|
commitdiff
|
raw
|
diff to current
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
blob
|
commitdiff
|
raw
|
diff to current
2016-06-20
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-06-09
Clark Barrett
Dummy commit.
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-10-17
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-16
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-11
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Fix output of integer-valued real constants in SMT...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
More array constants and parsing: better error messages...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Note array const support in NEWS
blob
|
commitdiff
|
raw
|
diff to current
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-27
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-26
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Morgan Deters
New versioning for development version.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Morgan Deters
Minor.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
reword NEWS
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Update NEWS
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
lianah
Merge pull request #35 from mdeters/bv-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-21
Morgan Deters
Some minor cleanup and documentation.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Documentation clean-ups.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-19
Morgan Deters
Versioning preparation.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Tim King
Merge pull request #33 from mdeters/arith-proposal
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Documentation clean-ups.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-17
Morgan Deters
Versioning preparation.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-10
Morgan Deters
Some news about API changes.
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-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-08
Morgan Deters
Switch license default back to BSD, and add --best...
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
Better automatic handling of output language setting.
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
Java datatype API fixups, datatype API examples
blob
|
commitdiff
|
raw
|
diff to current
2013-12-22
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-18
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
next