Changes in apron:

  • fixed missing exception reporting in level 1 meet and join array when array elements have incompatible environments
  • new Var interface: any Java class implementing Var can now be used as variable name; the String interface is maintained for compatibility; added StringVar, a Var implementation contaning a simple String
  • made the Var interface public in JApron

See http://gappa.gforge.inria.fr/doc/apd.html for changes in gappa and gappalib-coq.

Why was merely rebuilt for the new apron and gappalib-coq builds, and should function unchanged.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2016-1b796d3800

This update has been submitted for testing by jjames.

6 years ago

This update has been pushed to testing.

6 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

6 years ago

This update has been submitted for stable by jjames.

6 years ago

This update has been pushed to stable.

6 years ago

Please login to add feedback.

Metadata
Type
enhancement
Severity
low
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
6 years ago
in testing
6 years ago
in stable
6 years ago

Automated Test Results