From 309036cf4fb6d77a3287a8de8a9098c0a1211778 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 16 Dec 2009 19:25:40 +0000 Subject: [PATCH] add copyright statements --- basis_reduction_tab.c | 9 +++++++++ basis_reduction_templ.c | 12 ++++++++++++ include/isl_arg.h | 9 +++++++++ include/isl_blk.h | 9 +++++++++ include/isl_constraint.h | 9 +++++++++ include/isl_ctx.h | 9 +++++++++ include/isl_dim.h | 9 +++++++++ include/isl_div.h | 9 +++++++++ include/isl_hash.h | 9 +++++++++ include/isl_ilp.h | 9 +++++++++ include/isl_int.h | 9 +++++++++ include/isl_list.h | 9 +++++++++ include/isl_lp.h | 9 +++++++++ include/isl_map.h | 9 +++++++++ include/isl_mat.h | 9 +++++++++ include/isl_options.h | 9 +++++++++ include/isl_seq.h | 9 +++++++++ include/isl_set.h | 9 +++++++++ include/isl_vec.h | 9 +++++++++ isl_affine_hull.c | 9 +++++++++ isl_arg.c | 9 +++++++++ isl_basis_reduction.h | 9 +++++++++ isl_blk.c | 9 +++++++++ isl_coalesce.c | 9 +++++++++ isl_constraint.c | 9 +++++++++ isl_convex_hull.c | 9 +++++++++ isl_ctx.c | 9 +++++++++ isl_dim.c | 9 +++++++++ isl_div.c | 9 +++++++++ isl_equalities.c | 9 +++++++++ isl_equalities.h | 9 +++++++++ isl_gmp.c | 9 +++++++++ isl_hash.c | 9 +++++++++ isl_ilp.c | 9 +++++++++ isl_input.c | 9 +++++++++ isl_input_omega.c | 9 +++++++++ isl_input_omega.h | 9 +++++++++ isl_list.c | 9 +++++++++ isl_lp.c | 9 +++++++++ isl_lp_no_piplib.c | 9 +++++++++ isl_lp_piplib.c | 9 +++++++++ isl_lp_piplib.h | 9 +++++++++ isl_map.c | 9 +++++++++ isl_map_no_piplib.c | 9 +++++++++ isl_map_piplib.c | 9 +++++++++ isl_map_piplib.h | 9 +++++++++ isl_map_private.h | 9 +++++++++ isl_map_simplify.c | 9 +++++++++ isl_map_subtract.c | 9 +++++++++ isl_mat.c | 9 +++++++++ isl_name.c | 9 +++++++++ isl_name.h | 9 +++++++++ isl_options.c | 9 +++++++++ isl_output.c | 9 +++++++++ isl_piplib.c | 9 +++++++++ isl_piplib.h | 9 +++++++++ isl_sample.c | 9 +++++++++ isl_sample.h | 9 +++++++++ isl_sample_no_piplib.c | 9 +++++++++ isl_sample_piplib.c | 9 +++++++++ isl_sample_piplib.h | 9 +++++++++ isl_scan.c | 9 +++++++++ isl_scan.h | 9 +++++++++ isl_seq.c | 9 +++++++++ isl_stream.c | 9 +++++++++ isl_stream.h | 9 +++++++++ isl_tab.c | 9 +++++++++ isl_tab.h | 9 +++++++++ isl_tab_pip.c | 9 +++++++++ isl_test.c | 9 +++++++++ isl_vec.c | 9 +++++++++ pip.c | 9 +++++++++ piplib | 1 - polyhedron_detect_equalities.c | 9 +++++++++ polyhedron_minimize.c | 9 +++++++++ polyhedron_sample.c | 9 +++++++++ polytope_scan.c | 9 +++++++++ 77 files changed, 687 insertions(+), 1 deletion(-) delete mode 160000 piplib diff --git a/basis_reduction_tab.c b/basis_reduction_tab.c index 0a4f1895..2f25889a 100644 --- a/basis_reduction_tab.c +++ b/basis_reduction_tab.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_seq.h" #include "isl_tab.h" diff --git a/basis_reduction_templ.c b/basis_reduction_templ.c index 7d6e2e77..7f027a7f 100644 --- a/basis_reduction_templ.c +++ b/basis_reduction_templ.c @@ -1,3 +1,15 @@ +/* + * Copyright 2006-2007 Universiteit Leiden + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, Leiden Institute of Advanced Computer Science, + * Universiteit Leiden, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands + * and K.U.Leuven, Departement * Computerwetenschappen, Celestijnenlaan 200A, + * B-3001 Leuven, Belgium + */ + #include #include "isl_basis_reduction.h" diff --git a/include/isl_arg.h b/include/isl_arg.h index 5fd1d032..965e9fb4 100644 --- a/include/isl_arg.h +++ b/include/isl_arg.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_ARG_H #define ISL_ARG_H diff --git a/include/isl_blk.h b/include/isl_blk.h index a0a01e02..b6242c72 100644 --- a/include/isl_blk.h +++ b/include/isl_blk.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_BLK_H #define ISL_BLK_H diff --git a/include/isl_constraint.h b/include/isl_constraint.h index bb8b6f87..54c60e64 100644 --- a/include/isl_constraint.h +++ b/include/isl_constraint.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_CONSTRAINT_H #define ISL_CONSTRAINT_H diff --git a/include/isl_ctx.h b/include/isl_ctx.h index 60f3aacc..b2ecc3cc 100644 --- a/include/isl_ctx.h +++ b/include/isl_ctx.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_CTX_H #define ISL_CTX_H diff --git a/include/isl_dim.h b/include/isl_dim.h index 5e1f71fe..86678b94 100644 --- a/include/isl_dim.h +++ b/include/isl_dim.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_DIM_H #define ISL_DIM_H diff --git a/include/isl_div.h b/include/isl_div.h index f89b0d01..781f91e6 100644 --- a/include/isl_div.h +++ b/include/isl_div.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_DIV_H #define ISL_DIV_H diff --git a/include/isl_hash.h b/include/isl_hash.h index c596b5e7..60dc7c9f 100644 --- a/include/isl_hash.h +++ b/include/isl_hash.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_HASH_H #define ISL_HASH_H diff --git a/include/isl_ilp.h b/include/isl_ilp.h index 078e6600..1ae331bf 100644 --- a/include/isl_ilp.h +++ b/include/isl_ilp.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_ILP_H #define ISL_ILP_H diff --git a/include/isl_int.h b/include/isl_int.h index 2a0876c1..5877adfe 100644 --- a/include/isl_int.h +++ b/include/isl_int.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_INT_H #define ISL_INT_H diff --git a/include/isl_list.h b/include/isl_list.h index a5e9a441..0385a8bb 100644 --- a/include/isl_list.h +++ b/include/isl_list.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_LIST_H #define ISL_LIST_H diff --git a/include/isl_lp.h b/include/isl_lp.h index 19a8c66d..1e70ba65 100644 --- a/include/isl_lp.h +++ b/include/isl_lp.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_LP_H #define ISL_LP_H diff --git a/include/isl_map.h b/include/isl_map.h index b8e27d3d..dd1f2676 100644 --- a/include/isl_map.h +++ b/include/isl_map.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_MAP_H #define ISL_MAP_H diff --git a/include/isl_mat.h b/include/isl_mat.h index 0b5cfffe..d627d99a 100644 --- a/include/isl_mat.h +++ b/include/isl_mat.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_MAT_H #define ISL_MAT_H diff --git a/include/isl_options.h b/include/isl_options.h index d9b16ae4..e13eb006 100644 --- a/include/isl_options.h +++ b/include/isl_options.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_OPTIONS_H #define ISL_OPTIONS_H diff --git a/include/isl_seq.h b/include/isl_seq.h index 241d5968..dee8bf81 100644 --- a/include/isl_seq.h +++ b/include/isl_seq.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SEQ_H #define ISL_SEQ_H diff --git a/include/isl_set.h b/include/isl_set.h index ebd28460..3c16bf75 100644 --- a/include/isl_set.h +++ b/include/isl_set.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SET_H #define ISL_SET_H diff --git a/include/isl_vec.h b/include/isl_vec.h index 796ce2b0..cc94c7c8 100644 --- a/include/isl_vec.h +++ b/include/isl_vec.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_VEC_H #define ISL_VEC_H diff --git a/isl_affine_hull.c b/isl_affine_hull.c index 6bdd2797..cc99009b 100644 --- a/isl_affine_hull.c +++ b/isl_affine_hull.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_ctx.h" #include "isl_seq.h" #include "isl_set.h" diff --git a/isl_arg.c b/isl_arg.c index 7854204d..3db185ea 100644 --- a/isl_arg.c +++ b/isl_arg.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_basis_reduction.h b/isl_basis_reduction.h index 4b1187e9..8a00fb01 100644 --- a/isl_basis_reduction.h +++ b/isl_basis_reduction.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_BASIS_REDUCTION_H #define ISL_BASIS_REDUCTION_H diff --git a/isl_blk.c b/isl_blk.c index 246b40d4..53465abb 100644 --- a/isl_blk.c +++ b/isl_blk.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_blk.h" #include "isl_ctx.h" diff --git a/isl_coalesce.c b/isl_coalesce.c index 33399d92..ad602c21 100644 --- a/isl_coalesce.c +++ b/isl_coalesce.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_map_private.h" #include "isl_seq.h" #include "isl_tab.h" diff --git a/isl_constraint.c b/isl_constraint.c index 1b54b3a0..54b2c440 100644 --- a/isl_constraint.c +++ b/isl_constraint.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_seq.h" #include "isl_map_private.h" diff --git a/isl_convex_hull.c b/isl_convex_hull.c index c6f28069..b6343539 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_lp.h" #include "isl_map.h" #include "isl_map_private.h" diff --git a/isl_ctx.c b/isl_ctx.c index 940f51ae..ea9831f0 100644 --- a/isl_ctx.c +++ b/isl_ctx.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_ctx.h" #include "isl_vec.h" diff --git a/isl_dim.c b/isl_dim.c index b0c99f95..c1689ada 100644 --- a/isl_dim.c +++ b/isl_dim.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_dim.h" #include "isl_name.h" diff --git a/isl_div.c b/isl_div.c index df509801..a446b54e 100644 --- a/isl_div.c +++ b/isl_div.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include "isl_map_private.h" diff --git a/isl_equalities.c b/isl_equalities.c index 549c1b8e..e09e1c6d 100644 --- a/isl_equalities.c +++ b/isl_equalities.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_mat.h" #include "isl_seq.h" #include "isl_map_private.h" diff --git a/isl_equalities.h b/isl_equalities.h index 87d4672f..cc0cc257 100644 --- a/isl_equalities.h +++ b/isl_equalities.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_EQUALITIES_H #define ISL_EQUALITIES_H diff --git a/isl_gmp.c b/isl_gmp.c index d40d2899..82b776dc 100644 --- a/isl_gmp.c +++ b/isl_gmp.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_int.h" uint32_t isl_gmp_hash(mpz_t v, uint32_t hash) diff --git a/isl_hash.c b/isl_hash.c index 0323798a..220d5c2f 100644 --- a/isl_hash.c +++ b/isl_hash.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_hash.h" #include "isl_ctx.h" diff --git a/isl_ilp.c b/isl_ilp.c index 0d57d6e0..5548ffe0 100644 --- a/isl_ilp.c +++ b/isl_ilp.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_ilp.h" #include "isl_map_private.h" #include "isl_sample.h" diff --git a/isl_input.c b/isl_input.c index e56c4272..46d58191 100644 --- a/isl_input.c +++ b/isl_input.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_input_omega.c b/isl_input_omega.c index 4fe49bdb..200b4bbe 100644 --- a/isl_input_omega.c +++ b/isl_input_omega.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_input_omega.h b/isl_input_omega.h index 83c9f0e7..73b51693 100644 --- a/isl_input_omega.h +++ b/isl_input_omega.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_INPUT_OMEGA_H #define ISL_INPUT_OMEGA_H diff --git a/isl_list.c b/isl_list.c index 9151cae3..e800076b 100644 --- a/isl_list.c +++ b/isl_list.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_list.h" #include "isl_set.h" diff --git a/isl_lp.c b/isl_lp.c index c6feca46..8ce17288 100644 --- a/isl_lp.c +++ b/isl_lp.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_ctx.h" #include "isl_lp.h" #include "isl_lp_piplib.h" diff --git a/isl_lp_no_piplib.c b/isl_lp_no_piplib.c index 1b6173ae..54c0135b 100644 --- a/isl_lp_no_piplib.c +++ b/isl_lp_no_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_lp_piplib.h" enum isl_lp_result isl_pip_solve_lp(struct isl_basic_map *bmap, int maximize, diff --git a/isl_lp_piplib.c b/isl_lp_piplib.c index 823081be..dd7f5b45 100644 --- a/isl_lp_piplib.c +++ b/isl_lp_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_map.h" #include "isl_vec.h" #include "isl_lp.h" diff --git a/isl_lp_piplib.h b/isl_lp_piplib.h index 2284e0dc..73dfaddc 100644 --- a/isl_lp_piplib.h +++ b/isl_lp_piplib.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_LP_PIPLIB_H #define ISL_LP_PIPLIB_H diff --git a/isl_map.c b/isl_map.c index 0b08dcf7..7c50463f 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include "isl_ctx.h" diff --git a/isl_map_no_piplib.c b/isl_map_no_piplib.c index 3c502261..c7b6eb37 100644 --- a/isl_map_no_piplib.c +++ b/isl_map_no_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_map_piplib.h" #include "isl_set.h" diff --git a/isl_map_piplib.c b/isl_map_piplib.c index 55089e86..08a31049 100644 --- a/isl_map_piplib.c +++ b/isl_map_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_set.h" #include "isl_map.h" #include "isl_mat.h" diff --git a/isl_map_piplib.h b/isl_map_piplib.h index 26833403..6c2594f5 100644 --- a/isl_map_piplib.h +++ b/isl_map_piplib.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_MAP_PIPLIB_H #define ISL_MAP_PIPLIB_H diff --git a/isl_map_private.h b/isl_map_private.h index c242d8c5..18082e6d 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_set.h" #include "isl_map.h" #include "isl_vec.h" diff --git a/isl_map_simplify.c b/isl_map_simplify.c index 41fee622..8623e38a 100644 --- a/isl_map_simplify.c +++ b/isl_map_simplify.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_equalities.h" #include "isl_map.h" #include "isl_map_private.h" diff --git a/isl_map_subtract.c b/isl_map_subtract.c index 6aafad39..c2cf09c6 100644 --- a/isl_map_subtract.c +++ b/isl_map_subtract.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_seq.h" #include "isl_set.h" #include "isl_map.h" diff --git a/isl_mat.c b/isl_mat.c index 660ed234..a4b1ea6d 100644 --- a/isl_mat.c +++ b/isl_mat.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_dim.h" #include "isl_seq.h" #include "isl_mat.h" diff --git a/isl_name.c b/isl_name.c index 2ef6cbe9..21b7ff7e 100644 --- a/isl_name.c +++ b/isl_name.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_name.h" diff --git a/isl_name.h b/isl_name.h index 8d2ffc47..5381c94e 100644 --- a/isl_name.h +++ b/isl_name.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_NAME_H #define ISL_NAME_H diff --git a/isl_options.c b/isl_options.c index 4cf18fbb..dfebd3e2 100644 --- a/isl_options.c +++ b/isl_options.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_output.c b/isl_output.c index 4406a04f..5a951ced 100644 --- a/isl_output.c +++ b/isl_output.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include static void print_constraint_polylib(struct isl_basic_set *bset, diff --git a/isl_piplib.c b/isl_piplib.c index 7d625efa..e33b9812 100644 --- a/isl_piplib.c +++ b/isl_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_piplib.h" void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len) diff --git a/isl_piplib.h b/isl_piplib.h index c07f437f..43136a8d 100644 --- a/isl_piplib.h +++ b/isl_piplib.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_PIPLIB_H #define ISL_PIPLIB_H diff --git a/isl_sample.c b/isl_sample.c index fc1ce92f..ed627531 100644 --- a/isl_sample.c +++ b/isl_sample.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_sample.h" #include "isl_sample_piplib.h" #include "isl_vec.h" diff --git a/isl_sample.h b/isl_sample.h index 23e5bfa0..4361e800 100644 --- a/isl_sample.h +++ b/isl_sample.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SAMPLE_H #define ISL_SAMPLE diff --git a/isl_sample_no_piplib.c b/isl_sample_no_piplib.c index 27cc6044..e2c7ea40 100644 --- a/isl_sample_no_piplib.c +++ b/isl_sample_no_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_sample_piplib.h" struct isl_vec *isl_pip_basic_set_sample(struct isl_basic_set *bset) diff --git a/isl_sample_piplib.c b/isl_sample_piplib.c index 11acfa22..0ed40fc8 100644 --- a/isl_sample_piplib.c +++ b/isl_sample_piplib.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_mat.h" #include "isl_vec.h" #include "isl_seq.h" diff --git a/isl_sample_piplib.h b/isl_sample_piplib.h index 25f23788..44292f5a 100644 --- a/isl_sample_piplib.h +++ b/isl_sample_piplib.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SAMPLE_PIP_H #define ISL_SAMPLE_PIP diff --git a/isl_scan.c b/isl_scan.c index 2b7711ae..b0aba409 100644 --- a/isl_scan.c +++ b/isl_scan.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_basis_reduction.h" #include "isl_scan.h" #include "isl_seq.h" diff --git a/isl_scan.h b/isl_scan.h index d25e5b53..00971125 100644 --- a/isl_scan.h +++ b/isl_scan.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SCAN_H #define ISL_SCAN_H diff --git a/isl_seq.c b/isl_seq.c index 7c9459ad..474f9bec 100644 --- a/isl_seq.c +++ b/isl_seq.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_seq.h" void isl_seq_clr(isl_int *p, unsigned len) diff --git a/isl_stream.c b/isl_stream.c index 9277e476..be5eee23 100644 --- a/isl_stream.c +++ b/isl_stream.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_stream.h b/isl_stream.h index f445fc66..18b559fc 100644 --- a/isl_stream.h +++ b/isl_stream.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_STREAM_H #define ISL_STREAM_H diff --git a/isl_tab.c b/isl_tab.c index 0666d6b6..55f9c48e 100644 --- a/isl_tab.c +++ b/isl_tab.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_mat.h" #include "isl_map_private.h" #include "isl_tab.h" diff --git a/isl_tab.h b/isl_tab.h index d5d9ff83..6dde5925 100644 --- a/isl_tab.h +++ b/isl_tab.h @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_TAB_H #define ISL_TAB_H diff --git a/isl_tab_pip.c b/isl_tab_pip.c index c796505a..9e0e8d3a 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_map_private.h" #include "isl_seq.h" #include "isl_tab.h" diff --git a/isl_test.c b/isl_test.c index 643f8cc4..aabfcc0b 100644 --- a/isl_test.c +++ b/isl_test.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include diff --git a/isl_vec.c b/isl_vec.c index 4b30ce15..a7948d8a 100644 --- a/isl_vec.c +++ b/isl_vec.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_seq.h" #include "isl_vec.h" diff --git a/pip.c b/pip.c index f11160b5..ae92a81d 100644 --- a/pip.c +++ b/pip.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include #include "isl_set.h" diff --git a/piplib b/piplib deleted file mode 160000 index 9d265998..00000000 --- a/piplib +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9d2659986737e1155f7e316d7bfe9ad9a1173b8e diff --git a/polyhedron_detect_equalities.c b/polyhedron_detect_equalities.c index a4662228..77708624 100644 --- a/polyhedron_detect_equalities.c +++ b/polyhedron_detect_equalities.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_set.h" int main(int argc, char **argv) diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c index 4dc0c064..16ab1383 100644 --- a/polyhedron_minimize.c +++ b/polyhedron_minimize.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_set.h" #include "isl_vec.h" diff --git a/polyhedron_sample.c b/polyhedron_sample.c index 12b53808..d4b00ac6 100644 --- a/polyhedron_sample.c +++ b/polyhedron_sample.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_sample.h" #include "isl_vec.h" diff --git a/polytope_scan.c b/polytope_scan.c index dc57cca4..d6b477e1 100644 --- a/polytope_scan.c +++ b/polytope_scan.c @@ -1,3 +1,12 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include #include "isl_equalities.h" #include "isl_seq.h" -- 2.11.4.GIT