libpet extracts a polyhedral model from C sources using LLVM/clang to parse C code and isl to represent sets and relations.
| Licenses | BSD |
|---|---|
| Implementation | C C++ |
Recent releases


Release Notes: This release adds support for (single) variable declarations inside a scope.


Release Notes: This release adds support for "while", "break", and "continue", and takes into account overflows on signed integers.


Release Notes: Initial release.