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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 13 22:48:53 2021 +0200

Adapted to the current versions of the dependencies and of the toolchain.

---

Makefile.am | 2 + configure.ac | 1 + ltmain.sh | 8104 +++++++++++++++++++++++++++++++--------------- src/Expr.cc | 57 +- src/Expr_List.inlines.hh | 28 +- src/Init.inlines.hh | 4 +- src/Recurrence.cc | 22 +- src/compute_bounds.cc | 16 +- src/compute_prod.cc | 42 +- src/fact_decomp.cc | 11 +- src/factorize_giac.cc | 44 +- src/gosper.cc | 6 +- src/rr_classifier.cc | 97 +- src/simplify.cc | 5 +- src/util.cc | 25 +- src/verify.cc | 94 +- tests/Makefile.am | 2 +- tests/multivar_driver.cc | 39 +- tests/rr_filter.cc | 2 +- tests/rrs_driver.cc | 203 +- 20 files changed, 5821 insertions(+), 2983 deletions(-)

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