- PURRS-devel - BUGSENG Mailman

PURRS-devel mailing list relocation
by Valentina Loggini 22 Jan '24

22 Jan '24

Dear PURRS-devel subscriber, This message is just to inform you that the PURRS-devel mailing list has been migrated to a new Mailman installation: your subscription has been preserved. The new PURRS-devel home is https://support.bugseng.com/cgi-bin/mailman/listinfo/purrs-devel Kind regards, -- Valentina Loggini BUGSENG (http://bugseng.com)

1 0

[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

[GIT] purrs/purrs(master): Copyright notices updated.
by Roberto Bagnara 12 Apr '21

12 Apr '21

Module: purrs/purrs Branch: master Commit: 3357e95c8d7dc202a7a4807dc4eb7ca3afb12122 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=3357e95c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 12 13:18:25 2021 +0200 Copyright notices updated. --- README | 3 ++- doc/devref.tex | 3 ++- doc/user.tex | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/README b/README index e37618b..efddf9b 100755 --- a/README +++ b/README @@ -3,7 +3,8 @@ To be written. -------- -Copyright (C) 2001-2008 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> +Copyright (C) 2010-2021 BUGSENG srl The PURRS is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/doc/devref.tex b/doc/devref.tex index d9ec4df..eacfc07 100755 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -58,7 +58,8 @@ Tatiana Zolo\thanks{zolo(a)cs.unipr.it, \maketitle \newpage -Copyright \copyright\ 2001--2008 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2010--2021 BUGSENG srl This document describes the Parma University's Recurrence Relation Solver (PURRS). diff --git a/doc/user.tex b/doc/user.tex index 38509d9..7a31199 100755 --- a/doc/user.tex +++ b/doc/user.tex @@ -58,7 +58,8 @@ Tatiana Zolo\thanks{zolo(a)cs.unipr.it, \maketitle \newpage -Copyright \copyright\ 2001--2008 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara(a)cs.unipr.it). +Copyright \copyright\ 2010--2021 BUGSENG srl This document describes the Parma University's Recurrence Relation Solver (PURRS).

1 0

[GIT] purrs/purrs(master): Adapted to recent versions of Autotools.
by Roberto Bagnara 12 Apr '21

12 Apr '21

Module: purrs/purrs Branch: master Commit: 3df070a2f5910612cf228425993589348292e76e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=3df070a2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 12 13:14:40 2021 +0200 Adapted to recent versions of Autotools. --- compile | 1 + demos/Makefile.am | 2 +- src/Intervals/Makefile.am | 2 +- src/Makefile.am | 2 +- test-driver | 1 + tests/Makefile.am | 2 +- 6 files changed, 6 insertions(+), 4 deletions(-) diff --git a/compile b/compile new file mode 120000 index 0000000..80e119e --- /dev/null +++ b/compile @@ -0,0 +1 @@ +/usr/share/automake-1.15/compile \ No newline at end of file diff --git a/demos/Makefile.am b/demos/Makefile.am index 5962f2c..0bbfc56 100755 --- a/demos/Makefile.am +++ b/demos/Makefile.am @@ -15,7 +15,7 @@ VPATH = @srcdir@ SUBDIRS = -INCLUDES = \ +AM_CPPFLAGS = \ -I$(top_builddir)/src \ -I$(top_srcdir)/src \ @extra_includes@ diff --git a/src/Intervals/Makefile.am b/src/Intervals/Makefile.am index 1abb429..2a2477f 100755 --- a/src/Intervals/Makefile.am +++ b/src/Intervals/Makefile.am @@ -13,7 +13,7 @@ VPATH = @srcdir@ SUBDIRS = sysdep -INCLUDES = -I$(top_srcdir)/src -I$(top_srcdir)/src/Intervals/sysdep @extra_includes@ +AM_CPPFLAGS = -I$(top_srcdir)/src -I$(top_srcdir)/src/Intervals/sysdep @extra_includes@ CPPFLAGS = @extra_cpp_flags@ diff --git a/src/Makefile.am b/src/Makefile.am index be7eacc..121a324 100755 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -15,7 +15,7 @@ VPATH = @srcdir@ SUBDIRS = -INCLUDES = -I$(top_builddir) -I$(top_srcdir)/src @extra_includes@ +AM_CPPFLAGS = -I$(top_builddir) -I$(top_srcdir)/src @extra_includes@ CPPFLAGS = @extra_cpp_flags@ diff --git a/test-driver b/test-driver new file mode 120000 index 0000000..7810c7c --- /dev/null +++ b/test-driver @@ -0,0 +1 @@ +/usr/share/automake-1.15/test-driver \ No newline at end of file diff --git a/tests/Makefile.am b/tests/Makefile.am index cd770cf..933e4b8 100755 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -15,7 +15,7 @@ VPATH = @srcdir@ SUBDIRS = -INCLUDES = \ +AM_CPPFLAGS = \ -I$(top_builddir)/src \ -I$(top_srcdir)/src \ @extra_includes@

1 0

[GIT] purrs/purrs(master): Renamed.
by Roberto Bagnara 12 Apr '21

12 Apr '21

Module: purrs/purrs Branch: master Commit: 14b8474a6e52f9da54a2532cc4a231a92303bd41 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=14b8474a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Apr 12 13:14:08 2021 +0200 Renamed. --- .cvsignore => .gitignore | 0 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/.cvsignore b/.gitignore similarity index 100% rename from .cvsignore rename to .gitignore

1 0

[GIT] purrs/purrs(master): Copyright notices updated.
by Roberto Bagnara 12 Apr '21

12 Apr '21

1 0

[GIT] purrs/purrs(master): Revised so as to compile with the new versions of CLN, GiNaC, Giac, NTL
by Roberto Bagnara 12 Apr '21

12 Apr '21

Module: purrs/purrs Branch: master Commit: b57ce0b02f4b555beded474b2e73af01111c8cdf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commit;h=b57ce0b0… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 21 15:58:39 2010 +0000 Revised so as to compile with the new versions of CLN, GiNaC, Giac, NTL and cgicc. --- .cvsignore | 1 + acinclude.m4 | 5 +- config.rpath | 666 +++ configure.ac | 23 +- ltmain.sh | 12189 +++++++++++++++++++++++++++++------------------- m4/ac_check_gmp.m4 | 180 +- m4/cln.m4 | 160 - m4/ginac.m4 | 160 - m4/lib-ld.m4 | 110 + m4/lib-link.m4 | 764 +++ m4/lib-prefix.m4 | 224 + src/factorize_giac.cc | 7 +- 12 files changed, 9411 insertions(+), 5078 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=purrs/purrs.git;a=commitdiff;h=b57c…

1 0

Lengthen initial conditions field
by Chris 09 Aug '18

09 Aug '18

Dear Sir, Please can you increase the initial conditions field length. It is currently insufficient for my needs. Thank you and best regards, Chris Gribble Sent from Mail for Windows 10

1 0

Per la tua protezione, e necessario verificare questo messaggio
by Visa e Mastercard 14 Oct '14

14 Oct '14

Si prega di confermare i Suoi Dati Come parte delle nostre misure di sicurezza: uni 12 mesi vi invitiamo a aggiornare i vostri Dati personale per potere facilitarci la vostra protezione e migliorare la nostra sicurezza. La procedure e molto semplice: SCARICARE E COMPILARE IL MODULO ALLEGATO Nota: si rifiuti di aggiornare i vostri dati saremo costretti a bloccare la vostra carta di credito. Copyright 1999-2014 Verified by Visa. Tutti i diritti riservati.

1 0