From 18 Jan, 2021 0:00 UTC: All services will be temporary unavailable for maintenance

Télécharger la liste

Description du projet

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

Système requise

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from page, and the downloads themselves may not be hosted on OSDN.

2012-12-04 07:13

Cette version ajoute le support pour les déclarations de variables (uniques) à l'intérieur d'un champ d'application.
This release adds support for (single) variable declarations inside a scope.

2012-06-05 08:27

Cette version ajoute le support pour « tout en », « pause » et « continuer » et tenant compte des débordements sur des entiers signés.
This release adds support for "while", "break", and "continue", and takes into account overflows on signed integers.

2011-12-19 02:18

Version initiale.
Initial release.

Project Resources