Search results

Plugin for newer Eclipse version

Status: Open.

#64 In diffblue/eclipse-cbmc;

· sakehl opened on Oct 5, 2020

"File xy does not exist" when selecting several source files (Windows only)

bug

Status: Open.

#62 In diffblue/eclipse-cbmc;

· peterschrammel opened on Apr 28, 2015

Provide a way to "re-run" a property

enhancement

Status: Open.

#61 In diffblue/eclipse-cbmc;

· prapicault opened on Jan 26, 2015

Threads not shown

Status: Open.

#60 In diffblue/eclipse-cbmc;

· kroening opened on Dec 28, 2014

Variables irrelevant to the failure are not part of the trace

enhancement

Status: Open.

#56 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Use variable to point to CBMC executable

enhancement

Status: Open.

#55 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Provide a button to download CBMC

enhancement

Status: Open.

#54 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Leverage p2's ability to depend on native package

enhancement

Status: Open.

#53 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Consider moving to the Eclipse foundation

enhancement

Status: Open.

#52 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Record new video showing the tool

bug

Status: Open.

#51 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Improve presentation of pointers

enhancement

Status: Open.

#49 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014

Rethink layout of the launch configuration

enhancement

Status: Open.

#48 In diffblue/eclipse-cbmc;

· prapicault opened on Dec 18, 2014