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

Tags: finnhaedicke/CVC4

Tags

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.

casc24

Toggle casc24's commit message 
Updated CASC scripts, as provided to Geoff Sutcliffe

1.2

Toggle 1.2's commit message 
Cutting release 1.2.

smteval2013

Toggle smteval2013's commit message 
update versioning

1.1

Toggle 1.1's commit message 
Cutting release 1.1.

smtcomp2012-resubmission-2

Toggle smtcomp2012-resubmission-2's commit message 
The actual resubmission to SMT-COMP 2012, which fixes both the arith …

…and BV bugs found in the competition.
0