Public Git Hosting - sppoc.git/commit

commit	09f0e179963f0407abf8e3b9f5abc5976ecc6aa7
author	Pierre Boulet <Pierre.Boulet@lifl.fr>
	Thu, 4 May 2006 08:59:17 +0000 (4 08:59 +0000)
committer	Pierre Boulet <Pierre.Boulet@lifl.fr>
	Thu, 4 May 2006 08:59:17 +0000 (4 08:59 +0000)
tree	2e33d0746b5b755dc66479357675bf6f3b735a13	tree \| snapshot (tar.gz zip)
parent	09d2b9be9e7692915301ea6fa390752f664274a6	commit \| diff

version adaptée par Julien Muchembled
- nouvelle version d'Omega modifiée pour compilation par gcc 3
- séparation de la polylib et adaptation à la version 5

présentation de SPPoC
- ajout dans la doc
- adaptation des transparents à beamer
- mise à jour du contenu pour refléter la version courante

125 files changed:

Bin/gensig		diff \| blob \| blame \| history
Bin/sppoc		diff \| blob \| blame \| history
CInterface/Makefile		diff \| blob \| blame \| history
CInterface/domain.c		diff \| blob \| blame \| history
CInterface/matrix.c		diff \| blob \| blame \| history
CInterface/omega.cpp		diff \| blob \| blame \| history
CInterface/quast.c		diff \| blob \| blame \| history
CInterface/system.c		diff \| blob \| blame \| history
ChangeLog	[new file with mode: 0644]	blob
CipolCore/Common/Makefile		diff \| blob \| blame \| history
CipolCore/Common/comtypes.h		diff \| blob \| blame \| history
CipolCore/Common/matrices.c		diff \| blob \| blame \| history
CipolCore/Makefile		diff \| blob \| blame \| history
CipolCore/Polylib/Makefile		diff \| blob \| blame \| history
CipolCore/Polylib/polyconv.c		diff \| blob \| blame \| history
CipolCore/System/Makefile		diff \| blob \| blame \| history
Documentation/PresentationSPPoC/.cvsignore	[new file with mode: 0644]	blob
Documentation/PresentationSPPoC/transparents.tex	[moved from Documentation/Seminaire_Valenciennes/transparents.tex with 54% similarity]	diff \| blob \| blame \| history
Documentation/Workshop_parallelisation/.cvsignore	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/LogoCNR.gif	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/Makefile	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/lifl98.gif	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/resume.bib	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/resume.tex	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/transparents.tex	[deleted file]	blob \| blame \| history
Documentation/Workshop_parallelisation/ustl0295.gif	[deleted file]	blob \| blame \| history
Etc/Makefile.config		diff \| blob \| blame \| history
Formel/lire.p4		diff \| blob \| blame \| history
Formel/polyedre.ml		diff \| blob \| blame \| history
Formel/polyedre.mli		diff \| blob \| blame \| history
Formel/sPPoC.ml		diff \| blob \| blame \| history
Formel/sPPoC.mli		diff \| blob \| blame \| history
Makefile		diff \| blob \| blame \| history
MlTools/formatters.ml		diff \| blob \| blame \| history
Omega/.cvsignore	[new file with mode: 0644]	blob
Omega/Makefile		diff \| blob \| blame \| history
Omega/omega/Makefile		diff \| blob \| blame \| history
Omega/omega/Makefile.config		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/Bag.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/Dynamic_Array.c		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/Dynamic_Array.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/Exit.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/List.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/SimpleList.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/String.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/Tuple.c		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/assert.h		diff \| blob \| blame \| history
Omega/omega/basic/include/basic/util.h		diff \| blob \| blame \| history
Omega/omega/omega.dsw	[new file with mode: 0644]	blob
Omega/omega/omegaLIB.dsp	[new file with mode: 0644]	blob
Omega/omega/omega_lib/bin/list_to_egrep	[new file with mode: 0755]	blob
Omega/omega/omega_lib/bin/list_to_egrep.awk	[new file with mode: 0755]	blob
Omega/omega/omega_lib/bin/lorder	[new file with mode: 0755]	blob
Omega/omega/omega_lib/doc/Makefile	[new file with mode: 0644]	blob
Omega/omega/omega_lib/doc/PT-example.c	[new file with mode: 0644]	blob
Omega/omega/omega_lib/doc/example.c	[new file with mode: 0644]	blob
Omega/omega/omega_lib/doc/library_example.c	[new file with mode: 0644]	blob
Omega/omega/omega_lib/include/omega.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/PT-omega.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/RelBody.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/Rel_map.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/Relation.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/Relations.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/farkas.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/hull.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/library_version.h	[new file with mode: 0644]	blob
Omega/omega/omega_lib/include/omega/omega_core/debugging.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_core/oc.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_core/oc_i.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_cmpr.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_cnstr.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_conj.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_decl.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_dnf.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_form.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_gen.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_logic.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_quant.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_subs.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_var.h		diff \| blob \| blame \| history
Omega/omega/omega_lib/obj/.library	[new file with mode: 0644]	blob
Omega/omega/omega_lib/obj/Makefile		diff \| blob \| blame \| history
Omega/omega/omega_lib/obj/Makefile.deps		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/AST.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/RelBody.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/Relation.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/Relations.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/closure.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/farkas.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/hull.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_eq.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_exp_kill.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_global.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_print.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_query.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_quick_kill.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_simple.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_solve.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_util.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_beaut.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_cnstr.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_conj.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_decl.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_dnf.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_form.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_gen.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_logic.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_print.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_quant.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_rear.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_subs.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/pres_var.c		diff \| blob \| blame \| history
Omega/omega/omega_lib/src/ubiquitous.c		diff \| blob \| blame \| history
Pip/Makefile		diff \| blob \| blame \| history
Pip/integrer.c		diff \| blob \| blame \| history
Pip/pip.c		diff \| blob \| blame \| history
Pip/sol.c		diff \| blob \| blame \| history
Pip/tab.c		diff \| blob \| blame \| history
Pip/traiter.c		diff \| blob \| blame \| history
Test/.cvsignore		diff \| blob \| blame \| history
Test/enum.result		diff \| blob \| blame \| history
Test/omega.result		diff \| blob \| blame \| history
Test/omega2.result		diff \| blob \| blame \| history
Test/omega3.result		diff \| blob \| blame \| history

SPPoC: Symbolic Parameterized Polyhedral Calculator

RSS Atom