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

Recent releases

  •  15 Apr 2014 14:35

    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 16:59

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

      •  03 Dec 2012 10:55

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

        •  04 Jun 2012 22:21

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

          •  18 Dec 2011 12:19

            Release Notes: Initial release.

            Screenshot

            Project Spotlight

            OpenStack4j

            A Fluent OpenStack client API for Java.

            Screenshot

            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.