Search results

CBMC stucks with --unsigned-overflow-check

Performance Optimisations

question

Status: Open.

#7968 In diffblue/cbmc;

· cradiator opened on Oct 18, 2023

Performance of proof of 1 function

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

Performance Optimisations

Status: Open.

#7748 In diffblue/cbmc;

· rod-chapman opened on Jun 2, 2023

Use propt::lcnf when cnf_handled_well is true

Performance Optimisations

Status: Draft (not ready).

diffblue/cbmcnumber 7402

#7402 In diffblue/cbmc;

· tautschnig opened on Nov 30, 2022

Don't generate unnecessary fresh symbols for the GOTO trace

Performance Optimisations

Status: Draft (not ready).

diffblue/cbmcnumber 7021

#7021 In diffblue/cbmc;

· tautschnig opened on Jul 21, 2022

Performance with temporary variables

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

KaniBugs or features of importance to Kani Rust VerifierBugs or features of importance to Kani Rust Verifier

Performance Optimisations

Status: Open.

#7013 In diffblue/cbmc;

· zhassan-aws opened on Jul 18, 2022

Avoid redundant variables and clauses in the propositional encoding

Performance Optimisations

Status: Draft (not ready).

diffblue/cbmcnumber 7001

#7001 In diffblue/cbmc;

· tautschnig opened on Jul 7, 2022

Improve performance of cbmc's implementation of the gcc integer overflow primitives

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

Performance Optimisations

Status: Open.

#5405 In diffblue/cbmc;

· danpoe opened on Jul 2, 2020