Skip to content

Tags: abdoo8080/cvc5

Tags

latest

Toggle latest's commit message 
Support libc++ build and upload its artifacts to latest releases.

cvc5-1.2.1

Toggle cvc5-1.2.1's commit message 
Support libc++ build and upload its artifacts to latest releases.

cvc5-1.2.0

Toggle cvc5-1.2.0's commit message 
Support libc++ build and upload its artifacts to latest releases.

v0.0.1

Toggle v0.0.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
Add missing internal-to-external mapping for BITVECTOR_BIT. (cvc5#10960)

smtcomp2019

Toggle smtcomp2019's commit message 
[SMT-COMP] No unconstrained simp for QF_LIA UC

`--unconstrained-simp` is not compatible with unsat cores.

1.7

Toggle 1.7's commit message 
Removing references to cvc4-bugs@... (cvc5#2945)

1.6

Toggle 1.6's commit message 
Cutting release 1.6.

smtcomp2018

Toggle smtcomp2018's commit message 
Version of CVC4 used for SMT-COMP 2018

1.5

Toggle 1.5's commit message 
Cutting release 1.5.

smtcomp2017

Toggle smtcomp2017's commit message 
The SMT-COMP 2017 version of CVC4

This tag recreates exactly what we submitted to the competition by taking the
commit used to compile the binaries and adding cherry-picked fixes for the
runscripts.