Public Git Hosting - sppoc.git/commit

commit	328edac646f4762eb466b24992857cbed84fe997
author	Sven Verdoolaege <skimo@kotnet.org>
	Tue, 13 May 2008 12:45:31 +0000 (13 14:45 +0200)
committer	Sven Verdoolaege <skimo@kotnet.org>
	Mon, 23 Jun 2008 16:43:06 +0000 (23 18:43 +0200)
tree	4905370d8f53c03b9234ccc6abfde5782b88e734	tree \| snapshot (tar.gz zip)
parent	bc32facd0dadf6aa042f6fd09452ea1e190a396c	commit \| diff

replace omega 1.1 copy by omega submodule

139 files changed:

.gitignore		diff \| blob \| blame \| history
.gitmodules	[new file with mode: 0644]	blob
CInterface/omega.cpp		diff \| blob \| blame \| history
Omega/Makefile		diff \| blob \| blame \| history
Omega/omega	[new submodule]	blob
Omega/omega/INSTALL	[deleted file]	blob \| blame \| history
Omega/omega/Makefile	[deleted file]	blob \| blame \| history
Omega/omega/Makefile.config	[deleted file]	blob \| blame \| history
Omega/omega/Makefile.deps	[deleted file]	blob \| blame \| history
Omega/omega/Makefile.rules	[deleted file]	blob \| blame \| history
Omega/omega/README	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Bag.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Bag.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Collection.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Collections.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/ConstString.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Dynamic_Array.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Dynamic_Array.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Exit.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Iterator.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Link.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/List.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/List.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Map.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Map.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/NonCoercible.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Section.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Section.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/SimpleList.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/SimpleList.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/String.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Tuple.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/Tuple.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/assert.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/bool.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Bag.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Collection.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Iterator.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_List.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Map.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Section.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_String.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/enter_Tuple.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Bag.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Collection.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Iterator.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_List.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Map.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Section.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_String.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/leave_Tuple.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/include/basic/util.h	[deleted file]	blob \| blame \| history
Omega/omega/basic/src/ConstString.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/src/Exit.c	[deleted file]	blob \| blame \| history
Omega/omega/basic/src/Link.c	[deleted file]	blob \| blame \| history
Omega/omega/omega.dsw	[deleted file]	blob \| blame \| history
Omega/omega/omegaLIB.dsp	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/bin/list_to_egrep	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/bin/list_to_egrep.awk	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/bin/lorder	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/doc/Makefile	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/doc/PT-example.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/doc/example.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/doc/library_example.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/AST.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/PT-omega.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/RelBody.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/Rel_map.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/Relation.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/Relations.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/calc_debug.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/closure.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/enter_AST.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/enter_omega.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/evac.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/farkas.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/hull.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/leave_AST.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/leave_omega.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/lib_hack.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/library_version.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_core/debugging.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_core/oc.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_core/oc_i.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/omega_i.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_cmpr.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_cnstr.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_conj.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_decl.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_dnf.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_form.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_gen.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_logic.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_quant.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_subs.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_tree.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/pres_var.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/include/omega/reach.h	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/obj/.library	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/obj/Makefile	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/obj/Makefile.deps	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/AST.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/RelBody.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/RelVar.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/Relation.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/Relations.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/closure.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/evac.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/farkas.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/hull.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/lib_hack.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_eq.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_exp_kill.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_global.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_print.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_problems.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_query.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_quick_kill.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_simple.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_solve.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/omega_core/oc_util.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_beaut.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_cnstr.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_col.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_conj.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_decl.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_dnf.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_form.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_gen.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_logic.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_print.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_quant.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_rear.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_subs.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/pres_var.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/reach.c	[deleted file]	blob \| blame \| history
Omega/omega/omega_lib/src/ubiquitous.c	[deleted file]	blob \| blame \| history

SPPoC: Symbolic Parameterized Polyhedral Calculator

RSS Atom