
Software CLooG 


CLooG  Chunky Loop Generator
Date of the last release: 11 October 2013
Person in charge : BASTOUL Cédric
CLooG is a free software and library to generate code for scanning Zpolyhedra. That is, it finds a code (e.g. in C, FORTRAN...) that reaches each integral point of one or more parameterized polyhedra. CLooG has been originally written to solve the code generation problem for optimizing compilers based on the polytope model. Nevertheless it is used now in various area e.g. to build control automata for highlevel synthesis or to find the best polynomial approximation of a function. CLooG may help in any situation where scanning polyhedra matters. While the user has full control on generated code quality, CLooG is designed to avoid control overhead and to produce a very effective code.
More information: http://www.cloog.org
Software  Licence : LGPL
Research activities
Compilation
Members
BASTOUL Cédric
Group
Parallel Systems




Software & patents 


DATACERTDataCert: A coq library for Data Intensive Languages and Systems Certification PINTFormal analysis of dynamics for largescale biological networks SUNFLUIDH (COLLABORATION LIMSI)CPU/GPU solver for NavierStokes equations




