https://github.com/markpal/traco
The software can be downloaded with the svn repository (recommended). TRACO is currently under development and testing. The TRACO license is GNU GPL.
SVN is available at the sourceforge.net website
$svn checkout http://svn.code.sf.net/p/traco/code/trunk traco-code
http://sourceforge.net/projects/traco/and see INSTALL_ISSF file or run ./install_ubuntu
Command options
$ issf
Usage PAR:
issf input_file.c [--codegen=0,1,2 --tc=0,1,2, --silent=0,1
(moredebug in tmp/debug.txt)]
Usage TILE:
--tiling5, --permute
Usage PAR+TILE:
--partile (obsolete)
Usage (other):
--scc, --simplify (slow polyhedral hull for better code), --slicing,
--fs, --acc, --scop
Iterate closure:
--rplus=iterate
An example:
$issf loops.c
See output