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

Tags: barrettcw/cvc5

Tags

latest

Toggle latest's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Export ParserEndOfFileException class (cvc5#11836)

Fixes cvc5#10414 and duplicate cvc5#11146.

The function `InteractiveShell::readAndExecCommands()` is designed to
catch `ParserEndOfFile` exceptions thrown by `Lexer::parseError`.
However, if the exception class is not exported and the cvc5 binary is
linked against a shared version of the cvc5 parser library, the
exception is interpreted as its exported superclass, `ParserException`.
This results in unintended behavior.

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.

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