Adam Vandenberg
dc0666db62
ppl: update urls
2011-10-08 09:53:09 -07:00
Adam Vandenberg
4147b05c57
Use ruby style for inheritance.
2011-03-12 11:55:09 -08:00
Adam Vandenberg
265d35bfb3
ppl 0.11.2
2011-03-11 12:50:46 -08:00
Adam Vandenberg
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
Adam Vandenberg
f29d4a513a
Add head to ppl
2010-06-04 18:59:54 -07:00
Adam Vandenberg
52f5ee0d5b
ppl - fix configure args
2010-06-04 18:57:28 -07:00
David Höppner
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
