wiki:WikiStart

Getting LooPo and Related Software

LooPo

  • 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.

CADGen

A code generator for semi-algebraic domains (i.e., domains with polynomial bounds).

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.

Last modified 3 years ago Last modified on Jan 21, 2015 8:56:48 AM