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