The Parma Polyhedra Library Activity
A library of numerical abstractions for software/hardware verification
Brought to you by:
bagnara
Activity for The Parma Polyhedra Library
-
Roberto Bagnara committed [c34e02]
Update version.
-
Mark ChangeLog.
1