projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph...
[cvc5.git]
/
NEWS
2014-09-27
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
2014-09-26
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
blob
|
commitdiff
|
raw
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
blob
|
commitdiff
|
raw
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
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
some config changes: new --bsd option, readline gives...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
First attempt at incorporating LFSC proof checker into...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-15
Tianyi Liang
resolve merge issue.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-13
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-11
Morgan Deters
Update NEWS.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-09
Morgan Deters
Initializing 1.3.x branch.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-06
Morgan Deters
Initializing 1.3.x branch.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
Fix NEWS.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-05
Morgan Deters
NEWS reorganization.
blob
|
commitdiff
|
raw
|
diff to current
2013-12-04
Morgan Deters
Don't put define-funs in model output; bug 411 testcase...
blob
|
commitdiff
|
raw
|
diff to current
2013-12-03
Tianyi Liang
change string news
blob
|
commitdiff
|
raw
|
diff to current
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-02
Morgan Deters
Update NEWS file.
blob
|
commitdiff
|
raw
|
diff to current
2013-11-27
Morgan Deters
Some versioning in advance of the 1.3 release.
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-11-11
Morgan Deters
Change exit status to be more consistent with other...
blob
|
commitdiff
|
raw
|
diff to current
2013-09-30
Liana Hadarean
merged golden
blob
|
commitdiff
|
raw
|
diff to current
2013-09-13
Kshitij Bansal
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-09-11
Tianyi Liang
Theory of strings.
blob
|
commitdiff
|
raw
|
diff to current
2013-09-09
Morgan Deters
Support per-command verbosity settings.
blob
|
commitdiff
|
raw
|
diff to current
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-07-11
Morgan Deters
Support for TPTP's TFF0 (with arithmetic)
blob
|
commitdiff
|
raw
|
diff to current
2013-06-25
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-06-25
Morgan Deters
Support for abs, to_int, is_int, divisible in SMT-LIB...
blob
|
commitdiff
|
raw
|
diff to current
2013-06-03
Morgan Deters
Merge tag 'casc24'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-29
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-29
Morgan Deters
Per SMT-LIB spec, allow (set-info..) command to succeed...
blob
|
commitdiff
|
raw
|
diff to current
2013-05-22
Andrew Reynolds
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Merge branch '1.2.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-05-20
Morgan Deters
Don't allow get-model & co after a user push/pop
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Prerelease versioning for 1.2.x
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
Cutting release 1.2.
blob
|
commitdiff
|
raw
|
diff to current
2013-05-08
Morgan Deters
update versioning
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Pre-release versioning
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Morgan Deters
Some final minor changes before cutting 1.1.
blob
|
commitdiff
|
raw
|
diff to current
2013-04-03
Liana Hadarean
updated NEWS to include inequality solver
blob
|
commitdiff
|
raw
|
diff to current
2013-04-01
Morgan Deters
Merging some cleanup work:
blob
|
commitdiff
|
raw
|
diff to current
2013-03-27
lianah
added model generation for bv subtheories and bv-inequa...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-23
Dejan Jovanović
Merge remote-tracking branch 'dddejan/c++11'
blob
|
commitdiff
|
raw
|
diff to current
2013-03-22
Morgan Deters
Support for Boolean term conversion in datatypes.
blob
|
commitdiff
|
raw
|
diff to current
2013-03-21
lianah
Merge branch 'master' into bv-core
blob
|
commitdiff
|
raw
|
diff to current
2013-03-20
Morgan Deters
Interactive mode support for multiline input
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-13
lianah
post failed attempts at getting the incremental solver...
blob
|
commitdiff
|
raw
|
diff to current
2013-03-05
Morgan Deters
Merge branch '1.0.x'
blob
|
commitdiff
|
raw
|
diff to current
next