Search results

Fatal failure at src/proof/proof_node_updater.cpp:191

safe-options

Status: Open.

#781 In cvc5/cvc5-projects;

· wintered opened on Dec 30, 2025

(proof-check eager) Fatal failure at src/proof/proof_checker.cpp:106

safe-options

Status: Open.

#780 In cvc5/cvc5-projects;

· wintered opened on Dec 25, 2025

Fatal failure at src/proof/proof_node_manager.cpp:248

safe-options

Status: Open.

#777 In cvc5/cvc5-projects;

· wintered opened on Dec 5, 2025

Add a "no proofs" proof mode

Status: Open.

Feature

#761 In cvc5/cvc5-projects;

· ajreynol opened on Jan 31, 2025

Fatal failure in cvc5::internal::symfpuLiteral::traits::precondition() at src/util/floatingpoint_literal_symfpu_traits.cpp:405

experimental

murxla

murxla issueConfiguration issue in MurxlaConfiguration issue in Murxla

Status: Open.

#757 In cvc5/cvc5-projects;

· cvc5-bot opened on Jan 16, 2025

Fatal failure in cvc5::internal::theory::arith::nl::NlModel::simpleCheckModelMsum() at src/theory/arith/nl/nl_model.cpp:894

experimental

murxla

murxla issueConfiguration issue in MurxlaConfiguration issue in Murxla

Status: Open.

#755 In cvc5/cvc5-projects;

· cvc5-bot opened on Jan 15, 2025

Allow <code>const</code> arrays with symbolic elements

transferred

Status: Open.

Feature

#762 In cvc5/cvc5-projects;

· yav opened on Jan 2, 2025

Fatal failure in cvc5::internal::theory::arith::linear::ArithCongruenceManager::propagate() at src/theory/arith/linear/congruence_manager.cpp:416

experimental

murxla

Status: Open.

#742 In cvc5/cvc5-projects;

· cvc5-bot opened on Sep 24, 2024

Fatal failure in cvc5::internal::TheoryEngine::checkTheoryAssertionsWithModel() at src/theory/theory_engine.cpp:2131

experimental

murxla

Status: Open.

#741 In cvc5/cvc5-projects;

· cvc5-bot opened on Sep 13, 2024

Fatal failure in cvc5::internal::TheoryEngine::checkTheoryAssertionsWithModel() at src/theory/theory_engine.cpp:2131

experimental

murxla

Status: Open.

#740 In cvc5/cvc5-projects;

· cvc5-bot opened on Sep 10, 2024

Fatal failure in cvc5::internal::TheoryEngine::checkTheoryAssertionsWithModel() at src/theory/theory_engine.cpp:2109

experimental

murxla

Status: Open.

#735 In cvc5/cvc5-projects;

· cvc5-bot opened on Jun 26, 2024

Fatal failure in cvc5::internal::theory::eq::ProofEqEngine::explainWithProof() at src/theory/uf/proof_equality_engine.cpp:525

experimental

murxla

Status: Open.

#734 In cvc5/cvc5-projects;

· cvc5-bot opened on Jun 21, 2024