libpet extracts a polyhedral model from C sources using LLVM/clang to parse C code and isl to represent sets and relations.
Release Notes: This release keeps better track of doubles and adds support for cast expressions.
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.