Getting LooPo and Related Software
- LooPo is not under active development any more.
- If you want to try LooPo, the easiest way is to use the shell script loopo-2014-10-29.sh. This script will download LooPo and required libraries (omega, polylib, piplib) to the current directory and install them. Change the variables (at the top of the script) to adjust the install location and where the tcl/tk/swt libraries can be found.
A code generator for semi-algebraic domains (i.e., domains with polynomial bounds).
- Initial release from 2009-09-30
Information for LooPo Developers
Go to CheckingOutAndCommitting for how to checkout and commit using Subversion. LooPo team members/developers can find more information at DevelopingLooPo. See LibrariesForLooPo for a discussion on how Piplib, PolyLib, Omega and Barvinok are installed.
Some theses related to LooPo and some internal documentation can be found at http://www.infosun.fim.uni-passau.de/cl/loopo/doc/ (note: may not reflect the current state of the implementation).
For working on Polly and LLVM, see PollyDev.