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

Tags: rowhit/CVC4

Tags

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.

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. :-(
0