PURRS-devel

Download

purrs-devel@bugseng.com

May 2021

1 participants
2 discussions

[GIT] purrs/purrs(master): Added missing inclusion.
by Roberto Bagnara 14 May '21

14 May '21

Module: purrs/purrs Branch: master Commit: 9c5e426bc51db6e55d6b63b10936d7aa33ef4500 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=9c5e426b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri May 14 21:39:02 2021 +0200 Added missing inclusion. --- src/Recurrence.defs.hh | 73 +++++++++++++++++++++++++------------------------- src/zeilberger.cc | 26 +++++++++--------- 2 files changed, 49 insertions(+), 50 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commitdiff;h=9c5e…

1 0

[GIT] purrs/purrs(master): Adapted to the current versions of the dependencies and of the toolchain.
by Roberto Bagnara 13 May '21

13 May '21

Module: purrs/purrs Branch: master Commit: c9a673ace2ecd737b9f0ec0c3e722b2edc27c1a6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=c9a673ac… Author: Roberto Bagnara <bagnara(a)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=c9a6…

1 0