Search results

RFC : turn the interpreter into the reference semantics for GOTO programs

RFCRequest for commentRequest for comment

Status: Open.

#8277 In diffblue/cbmc;

· martin-cs opened on May 8, 2024

[RFC] Introduction of a namespace for CBMC

RFCRequest for commentRequest for comment

Version 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump

Status: Open.

#8004 In diffblue/cbmc;

· esteffin opened on Nov 9, 2023

Changelogs for releases

RFCRequest for commentRequest for comment

Status: Open.

#7907 In diffblue/cbmc;

· tautschnig opened on Sep 20, 2023

CBMC-SSM limitations

Instrumentations

Property Instrumentation

RFCRequest for commentRequest for comment

Status: Open.

#7757 In diffblue/cbmc;

· remi-delmas-3000 opened on Jun 6, 2023

[RFC] Version 6

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

RFCRequest for commentRequest for comment

Version 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump

Status: Open.

#7743 In diffblue/cbmc;

· TGWDB opened on May 31, 2023

New binary for inspection of properties of goto-programs: <code>goto-inspect</code>

RFCRequest for commentRequest for comment

Status: Open.

#7674 In diffblue/cbmc;

· NlightNFotis opened on Apr 19, 2023

[RFC] Remove SATABS documentation

RFCRequest for commentRequest for comment

Status: Open.

#7478 In diffblue/cbmc;

· tautschnig opened on Jan 12, 2023

Construction of with expression in <code>lowering/byte_operators.cpp</code> does not match getters in <code>with_exprt</code> [rfc]

RFCRequest for commentRequest for comment

Version 6Pull requests and issues requiring a major version bumpPull requests and issues requiring a major version bump

Status: Open.

#7272 In diffblue/cbmc;

· thomasspriggs opened on Oct 25, 2022

[RFC] Make conversion failures in the propositional back-end fatal [depends-on: #6914, #6915]

dependent - do not merge

RFCRequest for commentRequest for comment

Status: Draft (not ready).

diffblue/cbmcnumber 6655

#6655 In diffblue/cbmc;

· tautschnig opened on Feb 9, 2022

RFC: Documenting and checking "normal form" properties of goto_models

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

aws-medium

RFCRequest for commentRequest for comment

Status: Open.

#6495 In diffblue/cbmc;

· martin-cs opened on Dec 1, 2021

RFC: Unreachable properties should be marked "UNREACHABLE" not "SUCCESS"

awsBugs or features of importance to AWS CBMC usersBugs or features of importance to AWS CBMC users

RFCRequest for commentRequest for comment

Status: Open.

#6276 In diffblue/cbmc;

· danielsn opened on Aug 5, 2021

[RFC] SMT Plan

cleanup

documentation

RFCRequest for commentRequest for comment

SMT Backend Interface

Solvers

Status: Open.

#6134 In diffblue/cbmc;

· TGWDB opened on May 21, 2021