repo.or.cz / sppoc.git / summary
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork

 
descriptionSPPoC: Symbolic Parameterized Polyhedral Calculator
homepage URLhttp://www2.lifl.fr/west/sppoc/
ownerskimo@kotnet.org
last changeMon, 23 Jun 2008 16:43:23 +0000
URLgit://repo.or.cz/sppoc.git
http://repo.or.cz/r/sppoc.git
Push URLssh://repo.or.cz/srv/git/sppoc.git
Content tags:
Add:
shortlog
2008-06-23 Sven Verdoolaegesort generating system before printing master commit | commitdiff | tree | snapshot (tar.gz zip)
2008-06-23 Sven Verdoolaegeconversion from (old) camlp4 to campl5 commit | commitdiff | tree | snapshot (tar.gz zip)
2008-06-23 Sven Verdoolaegeadd configure script to set ocaml prefix commit | commitdiff | tree | snapshot (tar.gz zip)
2008-06-23 Sven Verdoolaegeremove duplicate Matrix_Copy (available in PolyLib) commit | commitdiff | tree | snapshot (tar.gz zip)
2008-06-23 Sven Verdoolaegereplace omega 1.1 copy by omega submodule commit | commitdiff | tree | snapshot (tar.gz zip)
2008-06-21 Sven Verdoolaegecombine .cvsignore files into .gitignore file commit | commitdiff | tree | snapshot (tar.gz zip)
2006-05-04 Pierre Bouletversion adaptée par Julien Muchembled commit | commitdiff | tree | snapshot (tar.gz zip)
2006-05-04 Eric Piel- ajoute info sur CXX pour Omega commit | commitdiff | tree | snapshot (tar.gz zip)
2006-05-04 Pierre Bouletversion adaptée par Julien Muchembled commit | commitdiff | tree | snapshot (tar.gz zip)
2005-02-07 Pierre Boulet*** empty log message *** commit | commitdiff | tree | snapshot (tar.gz zip)
2004-07-25 Philippe Marquet - renommage repertoire .. (pas de latin1 dans les... commit | commitdiff | tree | snapshot (tar.gz zip)
2003-11-19 Pierre Bouletversion 1.2.1 mise sur le web commit | commitdiff | tree | snapshot (tar.gz zip)
2003-10-28 Pierre Bouletadaptation à gcc 3.3.1 commit | commitdiff | tree | snapshot (tar.gz zip)
2002-01-25 Xavier Redon*** empty log message *** commit | commitdiff | tree | snapshot (tar.gz zip)
2001-12-14 Pierre Bouletv 1.2 du 14 décembre 2001 commit | commitdiff | tree | snapshot (tar.gz zip)
2001-12-14 Pierre Bouletnuméros de pages définitifs commit | commitdiff | tree | snapshot (tar.gz zip)
...
heads
3 years ago master log | tree
SPPoC: Symbolic Parameterized Polyhedral Calculator