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.
Please login to add feedback.