dc0666db62
ppl: update urls
2011-10-08 09:53:09 -07:00
4147b05c57
Use ruby style for inheritance.
2011-03-12 11:55:09 -08:00
265d35bfb3
ppl 0.11.2
2011-03-11 12:50:46 -08:00
8c56f544b7
Add ARGV.build_head? and use it.
...
This allows both "--HEAD" and "-H" to be used consistently, which was the
intention in the first place.
2010-07-16 09:09:39 -07:00
f29d4a513a
Add head to ppl
2010-06-04 18:59:54 -07:00
52f5ee0d5b
ppl - fix configure args
2010-06-04 18:57:28 -07:00
facc5a3bf8
The Parma Polyhedra Library
...
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
targeted at applications in the field of analysis and verification of complex
systems.
2010-01-30 14:18:04 +01:00
Adam Vandenberg
David Höppner