| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-07-30 | ppl 1.0 | Brett Koonce | |
| Closes #13808. Signed-off-by: Adam Vandenberg <flangy@gmail.com> | |||
| 2011-10-08 | ppl: update urls | Adam Vandenberg | |
| 2011-03-12 | Use ruby style for inheritance. | Adam Vandenberg | |
| 2011-03-11 | ppl 0.11.2 | Adam Vandenberg | |
| 2010-07-16 | Add ARGV.build_head? and use it. | Adam Vandenberg | |
| This allows both "--HEAD" and "-H" to be used consistently, which was the intention in the first place. | |||
| 2010-06-04 | Add head to ppl | Adam Vandenberg | |
| 2010-06-04 | ppl - fix configure args | Adam Vandenberg | |
| 2010-01-30 | The Parma Polyhedra Library | David Höppner | |
| The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. | |||
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |