- PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 18:06:44 Modified files: tests : heap Log message: Added one recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Non_Linear_Info.defs.hh Non_Linear_I ...
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 18:05:54 Modified files: src : Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh compute_bounds.cc compute_exact_solution.cc rr_classifier.cc Log message: In the case of non-linear recurrences considered the case of `log(n)' with `n' negative number introducing auxiliary symbols. Several comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Order_Reduction_Info.defs.hh
by Tatiana Zolo 10 Feb '03

10 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-10 17:31:39 Modified files: src : Order_Reduction_Info.defs.hh Log message: Several comments added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Order_Reduction_Info.de…

1 0

purrs/src numerator_denominator.cc
by Tatiana Zolo 09 Feb '03

09 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-09 18:16:22 Modified files: src : numerator_denominator.cc Log message: Improved the functions `numerator()' and `transform_in_single_fraction()' factorizing the numerator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src factorize.hh factorize.cc compute_pr ...
by Tatiana Zolo 09 Feb '03

09 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-09 18:15:50 Modified files: src : factorize.hh factorize.cc compute_prod.cc Log message: Several improvements in the factorization of expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc.diff?cv…

1 0

purrs configure.ac
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:30:49 Modified files: . : configure.ac Log message: This is pre-release 0.0.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

w3purrs/htdocs/Credits Credits.raw
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:29:43 Modified files: htdocs/Credits : Credits.raw Log message: List all the projects that have contributed or are about to contribute to PURRS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra…

1 0

w3purrs/htdocs purrs.raw news.raw
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-02-07 22:24:00 Modified files: htdocs : purrs.raw Added files: htdocs : news.raw Log message: Announce the new demo. News archive created and referenced from the main page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 21:52:54 Modified files: src : Recurrence.cc Log message: Added the function `validation_initial_conditions_in_bound()' that completes the verification of the functional equations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src compute_bounds.cc Recurrence.defs.hh
by Tatiana Zolo 07 Feb '03

07 Feb '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-02-07 21:45:36 Modified files: src : compute_bounds.cc Recurrence.defs.hh Log message: Isolated in the function `add_term_with_initial_condition()' the part about initial condition of `approximate_functional_equation()'. Some comments added and some improvements to the function `approximate_functional_equation()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0