Skip to content

Tags: SRI-CSL/yices2

Tags

yices-2.7.0

Toggle yices-2.7.0's commit message 
preparing 2.7.0

Yices-2.6.5

Toggle Yices-2.6.5's commit message 
Revert "make smtlib-model-format default for yices-smt2"

This reverts commit 7320e76.

Yices-2.6.4

Toggle Yices-2.6.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #387 from SRI-CSL/terminology_fix

Clarified the use of variable in API comments.

Yices-2.6.3

Toggle Yices-2.6.3's commit message 
Missing function: yices_model_set_bv_from_array

2021-02-19

Toggle 2021-02-19's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #348 from kquick/yices_abort

Adds --abort-on-int cmdline flag to yices executable.

2020-08-19

Toggle 2020-08-19's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #259 from aman-goel/quantifiers

Quantifiers (ematching)

Yices-2.6.2

Toggle Yices-2.6.2's commit message 
Typo

better_caching

Toggle better_caching's commit message 
Regress test added for stupid typo

2020-02-18

Toggle 2020-02-18's commit message 
Fixed bug in symmetry breaker

2019-08-19

Toggle 2019-08-19's commit message 
Merge branch 'fix_array_solver_hash'

Fixed incorrect hash function in array solver. This fixes a bug
reported by Aman Goel (issue #112).