Search results

Extend non-termination analysis to recursion

enhancement

task

Status: Open.

#118 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Extend termination analysis to recursion

enhancement

task

Status: Open.

#117 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Implement Houdini

enhancement

task

Status: Open.

#115 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Try interpolants

enhancement

task

Status: Open.

#114 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Try SMT backends

enhancement

task

Status: Open.

#113 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Implement summary/invariant export interface

enhancement

task

Status: Open.

#112 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Implement an efficient combination of intervals and (dis)equalities

enhancement

task

Status: Open.

#110 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Implement a generic solver

enhancement

task

Status: Open.

#109 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Make local_SSAt applicable to blocks

enhancement

task

Status: Open.

#108 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Make local_SSAt incremental w.r.t. unfoldings

enhancement

task

Status: Open.

#107 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Extend SSA to properly support backward analysis

enhancement

task

Status: Open.

#105 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Check tests marked KNOWNBUG

bug

task

Status: Open.

#104 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017