8000 Tags · pysmt/CVC4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: pysmt/CVC4

Tags

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.

kb-sets

Toggle kb-sets's commit message 
Tag for Kshitij's implementation of sets.

smtcomp2015-stable

Toggle smtcomp2015-stable's commit message 
Stable entry to SMT-COMP 2015

smtcomp2015-experimental

Toggle smtcomp2015-experimental's commit message 
Experimental entry to SMT-COMP 2015

1.4

Toggle 1.4's commit message 
Cutting release 1.4.

smtcomp2014-resubmission

Toggle smtcomp2014-resubmission's commit message 
Fixing the previous bugfix.

smtcomp2014-application

Toggle smtcomp2014-application's commit message 
QuitCommand needs "success" output for trace executor. :-(

smtcomp2014

Toggle smtcomp2014's commit message 
Submitted SMT-COMP 2014 version

1.3

Toggle 1.3's commit message 
Cutting release 1.3.
0