Module: purrs/purrs Branch: master Commit: 7ff5d9a27fb64fbeec2e502fb9f8ebbcb9aafd86 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=7ff5d9a27...
Author: Roberto Bagnara bagnara@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=7ff5d...