Public Git Hosting - sppoc.git/search

2008-06-23	Sven Verdoolaege	sort generating system before printing	commit \| commitdiff \| tree
2008-06-23	Sven Verdoolaege	conversion from (old) camlp4 to campl5	commit \| commitdiff \| tree
2008-06-23	Sven Verdoolaege	add configure script to set ocaml prefix	commit \| commitdiff \| tree
2008-06-23	Sven Verdoolaege	remove duplicate Matrix_Copy (available in PolyLib)	commit \| commitdiff \| tree
2008-06-23	Sven Verdoolaege	replace omega 1.1 copy by omega submodule	commit \| commitdiff \| tree
2008-06-21	Sven Verdoolaege	combine .cvsignore files into .gitignore file	commit \| commitdiff \| tree

SPPoC: Symbolic Parameterized Polyhedral Calculator