[PURRS-devel] [GIT] purrs/purrs(master): Adapted to the current versions of the dependencies and of the toolchain.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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=c9a673ace2ecd737b9f0ec0c3e722b2edc27c1a6