Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-02-20 | The Parma Watchdog Library has been merged into the Parma Polyhedra Library. | Roberto Bagnara | 1 | -0/+1 |
2011-10-26 | Do rename HAVE_DECL_SETRLIMIT. | Roberto Bagnara | 1 | -0/+1 |
2010-02-15 | Improve portability to systems that do not (fully) support Posix signal handl... | Roberto Bagnara | 1 | -0/+4 |
2009-03-22 | Tightened the machinery used to generate the configuration headers. | Roberto Bagnara | 1 | -65/+65 |
2009-03-22 | New machinery to create ppl-config.h and pwl-config.h. | Roberto Bagnara | 1 | -0/+65 |