From cfdbc4634165b97ce897e6c01bea8a6da0a0321a Mon Sep 17 00:00:00 2001 From: GgnDpSngh Date: Tue, 17 Apr 2018 17:53:02 +0200 Subject: [PATCH] changed licensing year --- apron_interface/apron_wrapper.h | 2 +- elina_auxiliary/elina_abstract0.c | 2 +- elina_auxiliary/elina_abstract0.h | 2 +- elina_auxiliary/elina_coeff.c | 2 +- elina_auxiliary/elina_coeff.h | 2 +- elina_auxiliary/elina_config.h | 2 +- elina_auxiliary/elina_dimension.c | 2 +- elina_auxiliary/elina_dimension.h | 2 +- elina_auxiliary/elina_interval.c | 2 +- elina_auxiliary/elina_interval.h | 2 +- elina_auxiliary/elina_lincons0.c | 2 +- elina_auxiliary/elina_lincons0.h | 2 +- elina_auxiliary/elina_linexpr0.c | 2 +- elina_auxiliary/elina_linexpr0.h | 2 +- elina_auxiliary/elina_manager.c | 2 +- elina_auxiliary/elina_manager.h | 2 +- elina_auxiliary/elina_scalar.c | 2 +- elina_auxiliary/elina_scalar.h | 2 +- elina_auxiliary/elina_tcons0.c | 2 +- elina_auxiliary/elina_tcons0.h | 2 +- elina_auxiliary/elina_texpr0.c | 2 +- elina_auxiliary/elina_texpr0.h | 2 +- elina_linearize/elina_coeff_arith.c | 2 +- elina_linearize/elina_coeff_arith.h | 2 +- elina_linearize/elina_generic.c | 2 +- elina_linearize/elina_generic.h | 2 +- elina_linearize/elina_int.h | 2 +- elina_linearize/elina_interval_arith.c | 2 +- elina_linearize/elina_interval_arith.h | 2 +- elina_linearize/elina_linearize.c | 2 +- elina_linearize/elina_linearize.h | 2 +- elina_linearize/elina_linearize_texpr.c | 2 +- elina_linearize/elina_linearize_texpr.h | 2 +- elina_linearize/elina_linexpr0_arith.c | 2 +- elina_linearize/elina_linexpr0_arith.h | 2 +- elina_linearize/elina_rat.h | 2 +- elina_linearize/elina_scalar_arith.c | 2 +- elina_linearize/elina_scalar_arith.h | 2 +- elina_oct/elina_test_oct.c | 2 +- elina_oct/opt_oct.h | 2 +- elina_oct/opt_oct_closure_comp_sparse.c | 2 +- elina_oct/opt_oct_closure_comp_sparse.h | 2 +- elina_oct/opt_oct_closure_dense.c | 2 +- elina_oct/opt_oct_closure_dense.h | 2 +- elina_oct/opt_oct_closure_dense_scalar.c | 2 +- elina_oct/opt_oct_closure_dense_scalar.h | 2 +- elina_oct/opt_oct_hmat.c | 2 +- elina_oct/opt_oct_hmat.h | 2 +- elina_oct/opt_oct_incr_closure_comp_sparse.c | 2 +- elina_oct/opt_oct_incr_closure_comp_sparse.h | 2 +- elina_oct/opt_oct_incr_closure_dense.c | 2 +- elina_oct/opt_oct_incr_closure_dense.h | 2 +- elina_oct/opt_oct_incr_closure_dense_scalar.c | 2 +- elina_oct/opt_oct_incr_closure_dense_scalar.h | 2 +- elina_oct/opt_oct_internal.h | 2 +- elina_oct/opt_oct_nary.c | 2 +- elina_oct/opt_oct_predicate.c | 2 +- elina_oct/opt_oct_representation.c | 2 +- elina_oct/opt_oct_resize.c | 2 +- elina_oct/opt_oct_test.c | 2 +- elina_oct/opt_oct_transfer.c | 2 +- elina_poly/elina_test_poly.c | 2 +- elina_poly/opt_mf_qsort.h | 2 +- elina_poly/opt_pk.h | 2 +- elina_poly/opt_pk_assign.c | 2 +- elina_poly/opt_pk_assign.h | 2 +- elina_poly/opt_pk_bit.c | 2 +- elina_poly/opt_pk_bit.h | 2 +- elina_poly/opt_pk_cherni.c | 2 +- elina_poly/opt_pk_cherni.h | 2 +- elina_poly/opt_pk_config.h | 2 +- elina_poly/opt_pk_constructor.c | 2 +- elina_poly/opt_pk_constructor.h | 2 +- elina_poly/opt_pk_expandfold.c | 2 +- elina_poly/opt_pk_extract.c | 2 +- elina_poly/opt_pk_internal.c | 2 +- elina_poly/opt_pk_internal.h | 2 +- elina_poly/opt_pk_matrix.c | 2 +- elina_poly/opt_pk_matrix.h | 2 +- elina_poly/opt_pk_meetjoin.c | 2 +- elina_poly/opt_pk_meetjoin.h | 2 +- elina_poly/opt_pk_project.c | 2 +- elina_poly/opt_pk_project.h | 2 +- elina_poly/opt_pk_representation.c | 2 +- elina_poly/opt_pk_representation.h | 2 +- elina_poly/opt_pk_resize.c | 2 +- elina_poly/opt_pk_satmat.c | 2 +- elina_poly/opt_pk_satmat.h | 2 +- elina_poly/opt_pk_test.c | 2 +- elina_poly/opt_pk_test.h | 2 +- elina_poly/opt_pk_user.c | 2 +- elina_poly/opt_pk_user.h | 2 +- elina_poly/opt_pk_vector.c | 2 +- elina_poly/opt_pk_vector.h | 2 +- elina_poly/opt_pk_widening.c | 2 +- elina_poly/opt_pk_widening.h | 2 +- elina_poly/vector_intrin.h | 2 +- elina_zones/opt_mat.c | 2 +- elina_zones/opt_mat.h | 2 +- elina_zones/opt_zones.h | 2 +- elina_zones/opt_zones_closure.c | 2 +- elina_zones/opt_zones_closure.h | 2 +- elina_zones/opt_zones_incr_closure.c | 2 +- elina_zones/opt_zones_incr_closure.h | 2 +- elina_zones/opt_zones_internal.h | 2 +- elina_zones/opt_zones_nary.c | 2 +- elina_zones/opt_zones_predicate.c | 2 +- elina_zones/opt_zones_representation.c | 2 +- elina_zones/opt_zones_resize.c | 2 +- elina_zones/opt_zones_transfer.c | 2 +- elina_zones/vector_intrin.h | 2 +- elina_zonotope/elina_box.h | 2 +- elina_zonotope/elina_box_assign.c | 2 +- elina_zonotope/elina_box_assign.h | 2 +- elina_zonotope/elina_box_constructor.c | 2 +- elina_zonotope/elina_box_constructor.h | 2 +- elina_zonotope/elina_box_internal.c | 2 +- elina_zonotope/elina_box_internal.h | 2 +- elina_zonotope/elina_box_meetjoin.c | 2 +- elina_zonotope/elina_box_meetjoin.h | 2 +- elina_zonotope/elina_box_representation.c | 2 +- elina_zonotope/elina_box_representation.h | 2 +- elina_zonotope/elina_box_resize.c | 2 +- elina_zonotope/elina_box_resize.h | 2 +- elina_zonotope/elina_test_zonotope.c | 2 +- elina_zonotope/zonotope.h | 2 +- elina_zonotope/zonotope_assign.h | 2 +- elina_zonotope/zonotope_constructor.h | 2 +- elina_zonotope/zonotope_internal.c | 2 +- elina_zonotope/zonotope_internal.h | 2 +- elina_zonotope/zonotope_meetjoin.h | 2 +- elina_zonotope/zonotope_otherops.c | 2 +- elina_zonotope/zonotope_otherops.h | 2 +- elina_zonotope/zonotope_representation.h | 2 +- elina_zonotope/zonotope_resize.c | 2 +- elina_zonotope/zonotope_resize.h | 2 +- java_interface/elina/elina_OptOctagon.c | 2 +- java_interface/elina/elina_OptPoly.c | 2 +- partitions_api/array_comp_list.c | 2 +- partitions_api/comp_list.c | 2 +- partitions_api/comp_list.h | 2 +- partitions_api/extract.c | 2 +- partitions_api/intersection.c | 2 +- partitions_api/union.c | 2 +- 144 files changed, 144 insertions(+), 144 deletions(-) diff --git a/apron_interface/apron_wrapper.h b/apron_interface/apron_wrapper.h index 57568579..48aee27f 100644 --- a/apron_interface/apron_wrapper.h +++ b/apron_interface/apron_wrapper.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_abstract0.c b/elina_auxiliary/elina_abstract0.c index 6b8d94a5..67603204 100644 --- a/elina_auxiliary/elina_abstract0.c +++ b/elina_auxiliary/elina_abstract0.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_abstract0.h b/elina_auxiliary/elina_abstract0.h index 5113ca41..2ece2b0a 100644 --- a/elina_auxiliary/elina_abstract0.h +++ b/elina_auxiliary/elina_abstract0.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_coeff.c b/elina_auxiliary/elina_coeff.c index 5e250a51..11402565 100644 --- a/elina_auxiliary/elina_coeff.c +++ b/elina_auxiliary/elina_coeff.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_coeff.h b/elina_auxiliary/elina_coeff.h index fd56c936..971ef8f3 100644 --- a/elina_auxiliary/elina_coeff.h +++ b/elina_auxiliary/elina_coeff.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_config.h b/elina_auxiliary/elina_config.h index 5fa47eef..1715b4e4 100644 --- a/elina_auxiliary/elina_config.h +++ b/elina_auxiliary/elina_config.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_dimension.c b/elina_auxiliary/elina_dimension.c index 8833c382..c7e02f6d 100644 --- a/elina_auxiliary/elina_dimension.c +++ b/elina_auxiliary/elina_dimension.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_dimension.h b/elina_auxiliary/elina_dimension.h index a09ca347..43b0f90d 100644 --- a/elina_auxiliary/elina_dimension.h +++ b/elina_auxiliary/elina_dimension.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_interval.c b/elina_auxiliary/elina_interval.c index 17e14adc..fa9b5d62 100644 --- a/elina_auxiliary/elina_interval.c +++ b/elina_auxiliary/elina_interval.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_interval.h b/elina_auxiliary/elina_interval.h index d4f3dc79..f3d73b77 100644 --- a/elina_auxiliary/elina_interval.h +++ b/elina_auxiliary/elina_interval.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_lincons0.c b/elina_auxiliary/elina_lincons0.c index 8f0aeef2..cba3f142 100644 --- a/elina_auxiliary/elina_lincons0.c +++ b/elina_auxiliary/elina_lincons0.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_lincons0.h b/elina_auxiliary/elina_lincons0.h index 68e8684c..8f9a0fbc 100644 --- a/elina_auxiliary/elina_lincons0.h +++ b/elina_auxiliary/elina_lincons0.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_linexpr0.c b/elina_auxiliary/elina_linexpr0.c index 419c8b4d..28652d41 100644 --- a/elina_auxiliary/elina_linexpr0.c +++ b/elina_auxiliary/elina_linexpr0.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_linexpr0.h b/elina_auxiliary/elina_linexpr0.h index 8258f35b..27396ebc 100644 --- a/elina_auxiliary/elina_linexpr0.h +++ b/elina_auxiliary/elina_linexpr0.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_manager.c b/elina_auxiliary/elina_manager.c index 7cadee21..a72e94e4 100644 --- a/elina_auxiliary/elina_manager.c +++ b/elina_auxiliary/elina_manager.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_manager.h b/elina_auxiliary/elina_manager.h index 3dba472d..7d404a92 100644 --- a/elina_auxiliary/elina_manager.h +++ b/elina_auxiliary/elina_manager.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_scalar.c b/elina_auxiliary/elina_scalar.c index cc9d950a..5391a84b 100644 --- a/elina_auxiliary/elina_scalar.c +++ b/elina_auxiliary/elina_scalar.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_scalar.h b/elina_auxiliary/elina_scalar.h index cad53dd1..e954e487 100644 --- a/elina_auxiliary/elina_scalar.h +++ b/elina_auxiliary/elina_scalar.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_tcons0.c b/elina_auxiliary/elina_tcons0.c index 595c3cad..315de223 100644 --- a/elina_auxiliary/elina_tcons0.c +++ b/elina_auxiliary/elina_tcons0.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_tcons0.h b/elina_auxiliary/elina_tcons0.h index 62e5e6ec..1515c51a 100644 --- a/elina_auxiliary/elina_tcons0.h +++ b/elina_auxiliary/elina_tcons0.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_texpr0.c b/elina_auxiliary/elina_texpr0.c index 1bcda74d..2a494992 100644 --- a/elina_auxiliary/elina_texpr0.c +++ b/elina_auxiliary/elina_texpr0.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_auxiliary/elina_texpr0.h b/elina_auxiliary/elina_texpr0.h index f38509e7..f29bc93e 100644 --- a/elina_auxiliary/elina_texpr0.h +++ b/elina_auxiliary/elina_texpr0.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_coeff_arith.c b/elina_linearize/elina_coeff_arith.c index 66435795..efd05db3 100644 --- a/elina_linearize/elina_coeff_arith.c +++ b/elina_linearize/elina_coeff_arith.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_coeff_arith.h b/elina_linearize/elina_coeff_arith.h index b2ce599e..fbd82fc3 100644 --- a/elina_linearize/elina_coeff_arith.h +++ b/elina_linearize/elina_coeff_arith.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_generic.c b/elina_linearize/elina_generic.c index 688e2252..b3b03299 100644 --- a/elina_linearize/elina_generic.c +++ b/elina_linearize/elina_generic.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_generic.h b/elina_linearize/elina_generic.h index aa20d663..bac68673 100644 --- a/elina_linearize/elina_generic.h +++ b/elina_linearize/elina_generic.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_int.h b/elina_linearize/elina_int.h index 15dc29af..8fcfe050 100644 --- a/elina_linearize/elina_int.h +++ b/elina_linearize/elina_int.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_interval_arith.c b/elina_linearize/elina_interval_arith.c index 08c06978..21c5a177 100644 --- a/elina_linearize/elina_interval_arith.c +++ b/elina_linearize/elina_interval_arith.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_interval_arith.h b/elina_linearize/elina_interval_arith.h index 4aeebca1..3497b034 100644 --- a/elina_linearize/elina_interval_arith.h +++ b/elina_linearize/elina_interval_arith.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linearize.c b/elina_linearize/elina_linearize.c index 4cd836fb..18df82af 100644 --- a/elina_linearize/elina_linearize.c +++ b/elina_linearize/elina_linearize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linearize.h b/elina_linearize/elina_linearize.h index 2dedb32c..14a04c32 100644 --- a/elina_linearize/elina_linearize.h +++ b/elina_linearize/elina_linearize.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linearize_texpr.c b/elina_linearize/elina_linearize_texpr.c index 64fda60c..5ec12bc8 100644 --- a/elina_linearize/elina_linearize_texpr.c +++ b/elina_linearize/elina_linearize_texpr.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linearize_texpr.h b/elina_linearize/elina_linearize_texpr.h index 91337d7c..ff9403a8 100644 --- a/elina_linearize/elina_linearize_texpr.h +++ b/elina_linearize/elina_linearize_texpr.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linexpr0_arith.c b/elina_linearize/elina_linexpr0_arith.c index abe10061..56b822f5 100644 --- a/elina_linearize/elina_linexpr0_arith.c +++ b/elina_linearize/elina_linexpr0_arith.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_linexpr0_arith.h b/elina_linearize/elina_linexpr0_arith.h index 1d1cf0b4..ea14e708 100644 --- a/elina_linearize/elina_linexpr0_arith.h +++ b/elina_linearize/elina_linexpr0_arith.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_rat.h b/elina_linearize/elina_rat.h index 4e0a3190..c07f4072 100644 --- a/elina_linearize/elina_rat.h +++ b/elina_linearize/elina_rat.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_scalar_arith.c b/elina_linearize/elina_scalar_arith.c index c521b9d3..185d9740 100644 --- a/elina_linearize/elina_scalar_arith.c +++ b/elina_linearize/elina_scalar_arith.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_linearize/elina_scalar_arith.h b/elina_linearize/elina_scalar_arith.h index d3095299..e3542b86 100644 --- a/elina_linearize/elina_scalar_arith.h +++ b/elina_linearize/elina_scalar_arith.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/elina_test_oct.c b/elina_oct/elina_test_oct.c index 6c7411ad..b21cd783 100644 --- a/elina_oct/elina_test_oct.c +++ b/elina_oct/elina_test_oct.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct.h b/elina_oct/opt_oct.h index 43dccf04..38f095f7 100644 --- a/elina_oct/opt_oct.h +++ b/elina_oct/opt_oct.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_comp_sparse.c b/elina_oct/opt_oct_closure_comp_sparse.c index 08349c6c..175b4092 100644 --- a/elina_oct/opt_oct_closure_comp_sparse.c +++ b/elina_oct/opt_oct_closure_comp_sparse.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_comp_sparse.h b/elina_oct/opt_oct_closure_comp_sparse.h index 7fdbad34..c7392b74 100644 --- a/elina_oct/opt_oct_closure_comp_sparse.h +++ b/elina_oct/opt_oct_closure_comp_sparse.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_dense.c b/elina_oct/opt_oct_closure_dense.c index 3c5fa111..53b7ee0c 100755 --- a/elina_oct/opt_oct_closure_dense.c +++ b/elina_oct/opt_oct_closure_dense.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_dense.h b/elina_oct/opt_oct_closure_dense.h index f14dcdf8..348e90da 100755 --- a/elina_oct/opt_oct_closure_dense.h +++ b/elina_oct/opt_oct_closure_dense.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_dense_scalar.c b/elina_oct/opt_oct_closure_dense_scalar.c index 46f95150..b1c714f3 100644 --- a/elina_oct/opt_oct_closure_dense_scalar.c +++ b/elina_oct/opt_oct_closure_dense_scalar.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_closure_dense_scalar.h b/elina_oct/opt_oct_closure_dense_scalar.h index 7ce00728..767e0f68 100644 --- a/elina_oct/opt_oct_closure_dense_scalar.h +++ b/elina_oct/opt_oct_closure_dense_scalar.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_hmat.c b/elina_oct/opt_oct_hmat.c index d14bcd7e..b77e0aab 100644 --- a/elina_oct/opt_oct_hmat.c +++ b/elina_oct/opt_oct_hmat.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_hmat.h b/elina_oct/opt_oct_hmat.h index 4f1aa75d..d90fb8b8 100644 --- a/elina_oct/opt_oct_hmat.h +++ b/elina_oct/opt_oct_hmat.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_comp_sparse.c b/elina_oct/opt_oct_incr_closure_comp_sparse.c index 402cc7e5..096c1f19 100644 --- a/elina_oct/opt_oct_incr_closure_comp_sparse.c +++ b/elina_oct/opt_oct_incr_closure_comp_sparse.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_comp_sparse.h b/elina_oct/opt_oct_incr_closure_comp_sparse.h index 05a9d851..b305799a 100644 --- a/elina_oct/opt_oct_incr_closure_comp_sparse.h +++ b/elina_oct/opt_oct_incr_closure_comp_sparse.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_dense.c b/elina_oct/opt_oct_incr_closure_dense.c index ae48910d..39fd9840 100644 --- a/elina_oct/opt_oct_incr_closure_dense.c +++ b/elina_oct/opt_oct_incr_closure_dense.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_dense.h b/elina_oct/opt_oct_incr_closure_dense.h index a3f1957e..9808e773 100644 --- a/elina_oct/opt_oct_incr_closure_dense.h +++ b/elina_oct/opt_oct_incr_closure_dense.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_dense_scalar.c b/elina_oct/opt_oct_incr_closure_dense_scalar.c index 18a128f8..bdeddf7f 100644 --- a/elina_oct/opt_oct_incr_closure_dense_scalar.c +++ b/elina_oct/opt_oct_incr_closure_dense_scalar.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_incr_closure_dense_scalar.h b/elina_oct/opt_oct_incr_closure_dense_scalar.h index b38ba6bd..77d77a43 100644 --- a/elina_oct/opt_oct_incr_closure_dense_scalar.h +++ b/elina_oct/opt_oct_incr_closure_dense_scalar.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_internal.h b/elina_oct/opt_oct_internal.h index ec7919bf..91e5d9ed 100644 --- a/elina_oct/opt_oct_internal.h +++ b/elina_oct/opt_oct_internal.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_nary.c b/elina_oct/opt_oct_nary.c index 375c936b..7f5616cb 100644 --- a/elina_oct/opt_oct_nary.c +++ b/elina_oct/opt_oct_nary.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_predicate.c b/elina_oct/opt_oct_predicate.c index b1d2d3dc..06281bb7 100644 --- a/elina_oct/opt_oct_predicate.c +++ b/elina_oct/opt_oct_predicate.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_representation.c b/elina_oct/opt_oct_representation.c index c47cfff0..becc95ac 100644 --- a/elina_oct/opt_oct_representation.c +++ b/elina_oct/opt_oct_representation.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_resize.c b/elina_oct/opt_oct_resize.c index 3415eee5..40717054 100644 --- a/elina_oct/opt_oct_resize.c +++ b/elina_oct/opt_oct_resize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_test.c b/elina_oct/opt_oct_test.c index c554a60b..7bb86dd6 100644 --- a/elina_oct/opt_oct_test.c +++ b/elina_oct/opt_oct_test.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_oct/opt_oct_transfer.c b/elina_oct/opt_oct_transfer.c index e06c928b..b2045459 100644 --- a/elina_oct/opt_oct_transfer.c +++ b/elina_oct/opt_oct_transfer.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/elina_test_poly.c b/elina_poly/elina_test_poly.c index 29afe262..808d6b99 100644 --- a/elina_poly/elina_test_poly.c +++ b/elina_poly/elina_test_poly.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_mf_qsort.h b/elina_poly/opt_mf_qsort.h index 285b77df..ba9a0b5e 100644 --- a/elina_poly/opt_mf_qsort.h +++ b/elina_poly/opt_mf_qsort.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk.h b/elina_poly/opt_pk.h index a92189d0..e1fc177b 100644 --- a/elina_poly/opt_pk.h +++ b/elina_poly/opt_pk.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_assign.c b/elina_poly/opt_pk_assign.c index c39f65f8..b22a0b0c 100644 --- a/elina_poly/opt_pk_assign.c +++ b/elina_poly/opt_pk_assign.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_assign.h b/elina_poly/opt_pk_assign.h index c07955ff..afd4b6fe 100644 --- a/elina_poly/opt_pk_assign.h +++ b/elina_poly/opt_pk_assign.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_bit.c b/elina_poly/opt_pk_bit.c index 42b2315b..b24bba0d 100644 --- a/elina_poly/opt_pk_bit.c +++ b/elina_poly/opt_pk_bit.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_bit.h b/elina_poly/opt_pk_bit.h index 10d6927f..694fcfbe 100644 --- a/elina_poly/opt_pk_bit.h +++ b/elina_poly/opt_pk_bit.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_cherni.c b/elina_poly/opt_pk_cherni.c index c21cd398..bf9d2297 100644 --- a/elina_poly/opt_pk_cherni.c +++ b/elina_poly/opt_pk_cherni.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_cherni.h b/elina_poly/opt_pk_cherni.h index 87b029fa..c810210e 100644 --- a/elina_poly/opt_pk_cherni.h +++ b/elina_poly/opt_pk_cherni.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_config.h b/elina_poly/opt_pk_config.h index 7960c18b..d02facc3 100644 --- a/elina_poly/opt_pk_config.h +++ b/elina_poly/opt_pk_config.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_constructor.c b/elina_poly/opt_pk_constructor.c index d4139f0e..ecf8dcc8 100644 --- a/elina_poly/opt_pk_constructor.c +++ b/elina_poly/opt_pk_constructor.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_constructor.h b/elina_poly/opt_pk_constructor.h index 2ff29ed0..c5c3e1cd 100644 --- a/elina_poly/opt_pk_constructor.h +++ b/elina_poly/opt_pk_constructor.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_expandfold.c b/elina_poly/opt_pk_expandfold.c index 4897a9a5..33c0a3b0 100644 --- a/elina_poly/opt_pk_expandfold.c +++ b/elina_poly/opt_pk_expandfold.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_extract.c b/elina_poly/opt_pk_extract.c index 0017bc57..1b1a838a 100644 --- a/elina_poly/opt_pk_extract.c +++ b/elina_poly/opt_pk_extract.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_internal.c b/elina_poly/opt_pk_internal.c index d5bd1bfc..1cbd54e8 100644 --- a/elina_poly/opt_pk_internal.c +++ b/elina_poly/opt_pk_internal.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_internal.h b/elina_poly/opt_pk_internal.h index 7a3ce544..3e0c2e55 100644 --- a/elina_poly/opt_pk_internal.h +++ b/elina_poly/opt_pk_internal.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_matrix.c b/elina_poly/opt_pk_matrix.c index fcf36694..67f1aa09 100644 --- a/elina_poly/opt_pk_matrix.c +++ b/elina_poly/opt_pk_matrix.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_matrix.h b/elina_poly/opt_pk_matrix.h index a9a8796c..0e2a5ad3 100644 --- a/elina_poly/opt_pk_matrix.h +++ b/elina_poly/opt_pk_matrix.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_meetjoin.c b/elina_poly/opt_pk_meetjoin.c index 255bbb6a..2ff10e4f 100644 --- a/elina_poly/opt_pk_meetjoin.c +++ b/elina_poly/opt_pk_meetjoin.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_meetjoin.h b/elina_poly/opt_pk_meetjoin.h index 4c59b24e..8d030af2 100644 --- a/elina_poly/opt_pk_meetjoin.h +++ b/elina_poly/opt_pk_meetjoin.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_project.c b/elina_poly/opt_pk_project.c index 8e5c7a65..60b44fec 100644 --- a/elina_poly/opt_pk_project.c +++ b/elina_poly/opt_pk_project.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_project.h b/elina_poly/opt_pk_project.h index 8ad164ac..a9d9792d 100644 --- a/elina_poly/opt_pk_project.h +++ b/elina_poly/opt_pk_project.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_representation.c b/elina_poly/opt_pk_representation.c index 66a05aa0..cdc55b8e 100644 --- a/elina_poly/opt_pk_representation.c +++ b/elina_poly/opt_pk_representation.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_representation.h b/elina_poly/opt_pk_representation.h index 176aeaf7..40e2e557 100644 --- a/elina_poly/opt_pk_representation.h +++ b/elina_poly/opt_pk_representation.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_resize.c b/elina_poly/opt_pk_resize.c index 300afcc1..b5c2bc02 100644 --- a/elina_poly/opt_pk_resize.c +++ b/elina_poly/opt_pk_resize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_satmat.c b/elina_poly/opt_pk_satmat.c index 3025a539..e92bb965 100644 --- a/elina_poly/opt_pk_satmat.c +++ b/elina_poly/opt_pk_satmat.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_satmat.h b/elina_poly/opt_pk_satmat.h index 45ed1bdf..790537ab 100644 --- a/elina_poly/opt_pk_satmat.h +++ b/elina_poly/opt_pk_satmat.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_test.c b/elina_poly/opt_pk_test.c index c71163f4..accbedda 100644 --- a/elina_poly/opt_pk_test.c +++ b/elina_poly/opt_pk_test.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_test.h b/elina_poly/opt_pk_test.h index 4e90515e..09cbf0c0 100644 --- a/elina_poly/opt_pk_test.h +++ b/elina_poly/opt_pk_test.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_user.c b/elina_poly/opt_pk_user.c index c27f7a97..fa15d880 100644 --- a/elina_poly/opt_pk_user.c +++ b/elina_poly/opt_pk_user.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_user.h b/elina_poly/opt_pk_user.h index 56d6fcc0..8b406e6f 100644 --- a/elina_poly/opt_pk_user.h +++ b/elina_poly/opt_pk_user.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_vector.c b/elina_poly/opt_pk_vector.c index 45cfedee..357e9ebb 100644 --- a/elina_poly/opt_pk_vector.c +++ b/elina_poly/opt_pk_vector.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_vector.h b/elina_poly/opt_pk_vector.h index 806c35f2..290505ee 100644 --- a/elina_poly/opt_pk_vector.h +++ b/elina_poly/opt_pk_vector.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_widening.c b/elina_poly/opt_pk_widening.c index ec0308ff..181638a2 100644 --- a/elina_poly/opt_pk_widening.c +++ b/elina_poly/opt_pk_widening.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/opt_pk_widening.h b/elina_poly/opt_pk_widening.h index 4fb3ccf6..f02934fc 100644 --- a/elina_poly/opt_pk_widening.h +++ b/elina_poly/opt_pk_widening.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_poly/vector_intrin.h b/elina_poly/vector_intrin.h index 390f1056..82cc1b59 100644 --- a/elina_poly/vector_intrin.h +++ b/elina_poly/vector_intrin.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_mat.c b/elina_zones/opt_mat.c index 9682b7fd..03d541f8 100644 --- a/elina_zones/opt_mat.c +++ b/elina_zones/opt_mat.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_mat.h b/elina_zones/opt_mat.h index 5bea4e95..ddd959f6 100644 --- a/elina_zones/opt_mat.h +++ b/elina_zones/opt_mat.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones.h b/elina_zones/opt_zones.h index 366696d7..2c1b0846 100644 --- a/elina_zones/opt_zones.h +++ b/elina_zones/opt_zones.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_closure.c b/elina_zones/opt_zones_closure.c index c20c5418..f700dcd2 100644 --- a/elina_zones/opt_zones_closure.c +++ b/elina_zones/opt_zones_closure.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_closure.h b/elina_zones/opt_zones_closure.h index 6bcc34a3..738912a5 100644 --- a/elina_zones/opt_zones_closure.h +++ b/elina_zones/opt_zones_closure.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_incr_closure.c b/elina_zones/opt_zones_incr_closure.c index f38412cc..8159d8c0 100644 --- a/elina_zones/opt_zones_incr_closure.c +++ b/elina_zones/opt_zones_incr_closure.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_incr_closure.h b/elina_zones/opt_zones_incr_closure.h index c7a7ff2e..d810a37f 100644 --- a/elina_zones/opt_zones_incr_closure.h +++ b/elina_zones/opt_zones_incr_closure.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_internal.h b/elina_zones/opt_zones_internal.h index 3dca3ffe..2cd03426 100644 --- a/elina_zones/opt_zones_internal.h +++ b/elina_zones/opt_zones_internal.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_nary.c b/elina_zones/opt_zones_nary.c index 05580af6..70636817 100644 --- a/elina_zones/opt_zones_nary.c +++ b/elina_zones/opt_zones_nary.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_predicate.c b/elina_zones/opt_zones_predicate.c index cbf5761d..0c353d0d 100644 --- a/elina_zones/opt_zones_predicate.c +++ b/elina_zones/opt_zones_predicate.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_representation.c b/elina_zones/opt_zones_representation.c index b9660681..056d4511 100644 --- a/elina_zones/opt_zones_representation.c +++ b/elina_zones/opt_zones_representation.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_resize.c b/elina_zones/opt_zones_resize.c index 30d4fd0a..c2639dd3 100644 --- a/elina_zones/opt_zones_resize.c +++ b/elina_zones/opt_zones_resize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/opt_zones_transfer.c b/elina_zones/opt_zones_transfer.c index 200d6dbe..a82a84cf 100644 --- a/elina_zones/opt_zones_transfer.c +++ b/elina_zones/opt_zones_transfer.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zones/vector_intrin.h b/elina_zones/vector_intrin.h index bb41feca..c75fa9f0 100644 --- a/elina_zones/vector_intrin.h +++ b/elina_zones/vector_intrin.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box.h b/elina_zonotope/elina_box.h index 6f623953..201e4ba7 100644 --- a/elina_zonotope/elina_box.h +++ b/elina_zonotope/elina_box.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_assign.c b/elina_zonotope/elina_box_assign.c index 99826a31..cb1c196e 100644 --- a/elina_zonotope/elina_box_assign.c +++ b/elina_zonotope/elina_box_assign.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_assign.h b/elina_zonotope/elina_box_assign.h index 95d5745f..9e632225 100644 --- a/elina_zonotope/elina_box_assign.h +++ b/elina_zonotope/elina_box_assign.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_constructor.c b/elina_zonotope/elina_box_constructor.c index dff45420..66596ba0 100644 --- a/elina_zonotope/elina_box_constructor.c +++ b/elina_zonotope/elina_box_constructor.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_constructor.h b/elina_zonotope/elina_box_constructor.h index 7394debf..88d3620f 100644 --- a/elina_zonotope/elina_box_constructor.h +++ b/elina_zonotope/elina_box_constructor.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_internal.c b/elina_zonotope/elina_box_internal.c index fd4e401b..e8e2e1c9 100644 --- a/elina_zonotope/elina_box_internal.c +++ b/elina_zonotope/elina_box_internal.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_internal.h b/elina_zonotope/elina_box_internal.h index 171dc58d..32c1618d 100644 --- a/elina_zonotope/elina_box_internal.h +++ b/elina_zonotope/elina_box_internal.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_meetjoin.c b/elina_zonotope/elina_box_meetjoin.c index 51d26f57..68ed0cd8 100644 --- a/elina_zonotope/elina_box_meetjoin.c +++ b/elina_zonotope/elina_box_meetjoin.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_meetjoin.h b/elina_zonotope/elina_box_meetjoin.h index 289fffd6..4955429a 100644 --- a/elina_zonotope/elina_box_meetjoin.h +++ b/elina_zonotope/elina_box_meetjoin.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_representation.c b/elina_zonotope/elina_box_representation.c index 7aed654a..05a12546 100644 --- a/elina_zonotope/elina_box_representation.c +++ b/elina_zonotope/elina_box_representation.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_representation.h b/elina_zonotope/elina_box_representation.h index 3c367600..c8b11eb1 100644 --- a/elina_zonotope/elina_box_representation.h +++ b/elina_zonotope/elina_box_representation.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_resize.c b/elina_zonotope/elina_box_resize.c index c193bf9d..fbbc2b49 100644 --- a/elina_zonotope/elina_box_resize.c +++ b/elina_zonotope/elina_box_resize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_box_resize.h b/elina_zonotope/elina_box_resize.h index 48a4fa09..1b5f5268 100644 --- a/elina_zonotope/elina_box_resize.h +++ b/elina_zonotope/elina_box_resize.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/elina_test_zonotope.c b/elina_zonotope/elina_test_zonotope.c index 800029b0..f609b8ef 100644 --- a/elina_zonotope/elina_test_zonotope.c +++ b/elina_zonotope/elina_test_zonotope.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope.h b/elina_zonotope/zonotope.h index 29b370b8..dd1d78e8 100644 --- a/elina_zonotope/zonotope.h +++ b/elina_zonotope/zonotope.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_assign.h b/elina_zonotope/zonotope_assign.h index 02b23c46..c1dd9a8a 100644 --- a/elina_zonotope/zonotope_assign.h +++ b/elina_zonotope/zonotope_assign.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_constructor.h b/elina_zonotope/zonotope_constructor.h index ff7aa6d2..7d8ef64c 100644 --- a/elina_zonotope/zonotope_constructor.h +++ b/elina_zonotope/zonotope_constructor.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_internal.c b/elina_zonotope/zonotope_internal.c index ebb8b12e..684bbb62 100644 --- a/elina_zonotope/zonotope_internal.c +++ b/elina_zonotope/zonotope_internal.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_internal.h b/elina_zonotope/zonotope_internal.h index 43de165a..ef623023 100644 --- a/elina_zonotope/zonotope_internal.h +++ b/elina_zonotope/zonotope_internal.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_meetjoin.h b/elina_zonotope/zonotope_meetjoin.h index 65265aed..f4ce5ad7 100644 --- a/elina_zonotope/zonotope_meetjoin.h +++ b/elina_zonotope/zonotope_meetjoin.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_otherops.c b/elina_zonotope/zonotope_otherops.c index 78456cb5..1ce80e3e 100644 --- a/elina_zonotope/zonotope_otherops.c +++ b/elina_zonotope/zonotope_otherops.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_otherops.h b/elina_zonotope/zonotope_otherops.h index a51e1476..adc5ebc2 100644 --- a/elina_zonotope/zonotope_otherops.h +++ b/elina_zonotope/zonotope_otherops.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_representation.h b/elina_zonotope/zonotope_representation.h index df4d378a..63f08168 100644 --- a/elina_zonotope/zonotope_representation.h +++ b/elina_zonotope/zonotope_representation.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_resize.c b/elina_zonotope/zonotope_resize.c index 65834e89..906760b1 100644 --- a/elina_zonotope/zonotope_resize.c +++ b/elina_zonotope/zonotope_resize.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/elina_zonotope/zonotope_resize.h b/elina_zonotope/zonotope_resize.h index b9c63722..1a02a8e7 100644 --- a/elina_zonotope/zonotope_resize.h +++ b/elina_zonotope/zonotope_resize.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/java_interface/elina/elina_OptOctagon.c b/java_interface/elina/elina_OptOctagon.c index 8fa7d3dd..ab4115f8 100644 --- a/java_interface/elina/elina_OptOctagon.c +++ b/java_interface/elina/elina_OptOctagon.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/java_interface/elina/elina_OptPoly.c b/java_interface/elina/elina_OptPoly.c index e06a8ff4..a8526031 100644 --- a/java_interface/elina/elina_OptPoly.c +++ b/java_interface/elina/elina_OptPoly.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/array_comp_list.c b/partitions_api/array_comp_list.c index ae3b4092..821776b1 100644 --- a/partitions_api/array_comp_list.c +++ b/partitions_api/array_comp_list.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/comp_list.c b/partitions_api/comp_list.c index a0d605fb..3b74fcb5 100644 --- a/partitions_api/comp_list.c +++ b/partitions_api/comp_list.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/comp_list.h b/partitions_api/comp_list.h index 78dbbf32..76a2dab7 100644 --- a/partitions_api/comp_list.h +++ b/partitions_api/comp_list.h @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/extract.c b/partitions_api/extract.c index c3dd53de..939ee14e 100644 --- a/partitions_api/extract.c +++ b/partitions_api/extract.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/intersection.c b/partitions_api/intersection.c index 5e0a17db..e4bef4f3 100644 --- a/partitions_api/intersection.c +++ b/partitions_api/intersection.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch diff --git a/partitions_api/union.c b/partitions_api/union.c index 8d89a2ab..d90b7e28 100644 --- a/partitions_api/union.c +++ b/partitions_api/union.c @@ -1,7 +1,7 @@ /* * * This source file is part of ELINA (ETH LIbrary for Numerical Analysis). - * ELINA is Copyright © 2017 Department of Computer Science, ETH Zurich + * ELINA is Copyright © 2018 Department of Computer Science, ETH Zurich * This software is distributed under GNU Lesser General Public License Version 3.0. * For more information, see the ELINA project website at: * http://elina.ethz.ch