Search results

Assertion failure on <code>get_cstrs</code> of simple abstract domain

Status: Open.

#24 In VERIMAG-Polyhedra/VPL;

· rmonat opened on Apr 10, 2025

Assume_back: renormalization

bug

Status: Open.

#23 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Apr 4, 2019

· 

PLP-based domain

Assume_back: merge regions

bug

Status: Open.

#22 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Apr 4, 2019

· 

PLP-based domain

Handelman Normalization

enhancement

Status: Open.

#21 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Apr 2, 2019

· 

Linearization

Better maintenance of regions in IneqSet

Status: Open.

#20 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Mar 4, 2019

· 

PLP-based domain

Fix trace generation

bug

Status: Open.

#19 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 22, 2019

· 

Library usage

Code normalization

enhancement

Status: Open.

#18 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019

· 

Library usage

Handelman oracle

bug

Status: Open.

#17 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019

· 

Linearization

Intervalization

enhancement

Status: Open.

#16 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019

· 

Linearization

Check VPL dependencies

Status: Open.

#15 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019

· 

Library usage

Reuse PLP regions

enhancement

Status: Open.

#14 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019

· 

PLP-based domain

New operator: projection and inclusion testing

enhancement

Status: Open.

#13 In VERIMAG-Polyhedra/VPL;

· MarechalAlex opened on Feb 19, 2019