[PURRS-devel] [GIT] purrs/purrs(master): Copyright notices updated.

[Roberto Bagnara]

Module: purrs/purrs
Branch: master
Commit: 7ff5d9a27fb64fbeec2e502fb9f8ebbcb9aafd86
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=7ff5d9a27fb64fbeec2e502fb9f8ebbcb9aafd86

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Apr 12 13:10:18 2021 +0200

Copyright notices updated.

---

 demos/purrs_eqs_cgi.cc                  | 3 ++-
 demos/purrs_rrs_cgi.cc                  | 3 ++-
 src/Blackboard.cc                       | 3 ++-
 src/Blackboard.defs.hh                  | 3 ++-
 src/Blackboard.inlines.hh               | 3 ++-
 src/Bool3.cc                            | 3 ++-
 src/Bool3.defs.hh                       | 3 ++-
 src/Bool3.inlines.hh                    | 3 ++-
 src/Cached_Expr.cc                      | 3 ++-
 src/Cached_Expr.defs.hh                 | 3 ++-
 src/Cached_Expr.inlines.hh              | 3 ++-
 src/Constant.cc                         | 3 ++-
 src/Constant.defs.hh                    | 3 ++-
 src/Constant.inlines.hh                 | 3 ++-
 src/Expr.cc                             | 3 ++-
 src/Expr.defs.hh                        | 3 ++-
 src/Expr.inlines.hh                     | 3 ++-
 src/Expr_List.cc                        | 3 ++-
 src/Expr_List.defs.hh                   | 3 ++-
 src/Expr_List.inlines.hh                | 3 ++-
 src/Finite_Order_Info.cc                | 3 ++-
 src/Finite_Order_Info.defs.hh           | 3 ++-
 src/Finite_Order_Info.inlines.hh        | 3 ++-
 src/Functional_Equation_Info.cc         | 3 ++-
 src/Functional_Equation_Info.defs.hh    | 3 ++-
 src/Functional_Equation_Info.inlines.hh | 3 ++-
 src/Init.cc                             | 3 ++-
 src/Init.defs.hh                        | 3 ++-
 src/Init.inlines.hh                     | 3 ++-
 src/Intervals/Boundary.cc               | 3 ++-
 src/Intervals/Boundary.defs.hh          | 3 ++-
 src/Intervals/Boundary.inlines.hh       | 3 ++-
 src/Intervals/IEEE754.h                 | 3 ++-
 src/Intervals/Interval.cc               | 3 ++-
 src/Intervals/Interval.defs.hh          | 3 ++-
 src/Intervals/Interval.inlines.hh       | 3 ++-
 src/Intervals/round.h                   | 3 ++-
 src/Intervals/sysdep/c99.h              | 3 ++-
 src/Intervals/sysdep/ix86.h             | 3 ++-
 src/Intervals/sysdep/m68k.h             | 3 ++-
 src/Intervals/sysdep/sparc.h            | 3 ++-
 src/Matrix.cc                           | 3 ++-
 src/Matrix.defs.hh                      | 3 ++-
 src/Matrix.inlines.hh                   | 3 ++-
 src/Non_Linear_Info.cc                  | 3 ++-
 src/Non_Linear_Info.defs.hh             | 3 ++-
 src/Non_Linear_Info.inlines.hh          | 3 ++-
 src/Number.cc                           | 3 ++-
 src/Number.defs.hh                      | 3 ++-
 src/Number.inlines.hh                   | 3 ++-
 src/Number.types.hh                     | 3 ++-
 src/Recurrence.cc                       | 3 ++-
 src/Recurrence.defs.hh                  | 3 ++-
 src/Recurrence.inlines.hh               | 3 ++-
 src/Symbol.cc                           | 3 ++-
 src/Symbol.defs.hh                      | 3 ++-
 src/Symbol.inlines.hh                   | 3 ++-
 src/Weighted_Average_Info.cc            | 3 ++-
 src/Weighted_Average_Info.defs.hh       | 3 ++-
 src/Weighted_Average_Info.inlines.hh    | 3 ++-
 src/alg_eq_solver.cc                    | 3 ++-
 src/alg_eq_solver.hh                    | 3 ++-
 src/compute_bounds.cc                   | 3 ++-
 src/compute_exact_solution.cc           | 3 ++-
 src/compute_prod.cc                     | 3 ++-
 src/compute_prod.hh                     | 3 ++-
 src/ep_decomp.cc                        | 3 ++-
 src/ep_decomp.hh                        | 3 ++-
 src/fact_decomp.cc                      | 3 ++-
 src/fact_decomp.hh                      | 3 ++-
 src/factorize.cc                        | 3 ++-
 src/factorize.hh                        | 3 ++-
 src/factorize_giac.cc                   | 3 ++-
 src/factorize_giac.hh                   | 3 ++-
 src/finite_order.cc                     | 3 ++-
 src/finite_order.hh                     | 3 ++-
 src/functional_equation.cc              | 3 ++-
 src/functional_equation.hh              | 3 ++-
 src/globals.cc                          | 3 ++-
 src/globals.hh                          | 3 ++-
 src/gosper.cc                           | 3 ++-
 src/gosper.hh                           | 3 ++-
 src/initializer.hh                      | 3 ++-
 src/numerator_denominator.cc            | 3 ++-
 src/numerator_denominator.hh            | 3 ++-
 src/poly_factor.cc                      | 3 ++-
 src/purrs_header.top                    | 3 ++-
 src/rr_classifier.cc                    | 3 ++-
 src/simplify.cc                         | 3 ++-
 src/simplify.hh                         | 3 ++-
 src/size_norm.cc                        | 3 ++-
 src/size_norm.hh                        | 3 ++-
 src/size_norm_impl.hh                   | 3 ++-
 src/sum_poly.cc                         | 3 ++-
 src/sum_poly.hh                         | 3 ++-
 src/timings.hh                          | 3 ++-
 src/tsc.hh                              | 3 ++-
 src/util.cc                             | 3 ++-
 src/util.hh                             | 3 ++-
 src/verify.cc                           | 3 ++-
 src/zeilberger.cc                       | 3 ++-
 src/zeilberger.hh                       | 3 ++-
 tests/ehandlers.cc                      | 3 ++-
 tests/ehandlers.hh                      | 3 ++-
 tests/eqs_driver.cc                     | 3 ++-
 tests/gosper_driver.cc                  | 3 ++-
 tests/multivar_driver.cc                | 6 ++++--
 tests/rr_filter.cc                      | 3 ++-
 tests/rrs_driver.cc                     | 6 ++++--
 tests/simplify_driver.cc                | 3 ++-
 tests/zeilberger_driver.cc              | 6 ++++--
 111 files changed, 228 insertions(+), 114 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commitdiff;h=7ff5d9a27fb64fbeec2e502fb9f8ebbcb9aafd86