Télécharger la liste

Sponsored link

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 Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2012-12-04 07:13
0.03

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
0.02

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
0.01

Version initiale.
Initial release.

Project Resources