4 commits

Author	SHA1	Message	Date
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