Projects / libpet

libpet

libpet extracts a polyhedral model from C sources using LLVM/clang to parse C code and isl to represent sets and relations.

Licenses
Implementation

RSS Recent releases

  •  15 Apr 2014 22:06

    Release Notes: This release adds support for more types of operations in statements, multiple scops, member accesses, macro statements, enum constants, and the pencil independent pragma.

    •  26 Jun 2013 20:30

      Release Notes: This release keeps better track of doubles and adds support for cast expressions.

      •  03 Dec 2012 22:13

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

        •  04 Jun 2012 23:27

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

          •  18 Dec 2011 17:18

            Release Notes: Initial release.

            Screenshot

            Project Spotlight

            lnav

            A log file navigator.

            Screenshot

            Project Spotlight

            PHP DataGrid

            A simple but powerful tool for generating data-bound grid control.