July 2003 - PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 29 Jul '03

29 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-29 18:03:44 Modified files: src : simplify.cc Log message: Minor improvement in the function `simplify_powers()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 29 Jul '03

29 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-29 12:06:54 Modified files: tests : simpl_tests Log message: Added 1 expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 29 Jul '03

29 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-29 12:06:20 Modified files: src : simplify.cc Log message: Added some assertions. Minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 28 Jul '03

28 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-28 14:50:27 Modified files: src : Recurrence.cc Log message: Commented the new code about the validation of exact solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Roberto Bagnara 23 Jul '03

23 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-07-23 20:10:44 Modified files: src : Recurrence.cc Log message: New code by Alessandro uncommented out and activated. Added a (failing) assertion: this explains why we got a segmentation fault. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Recurrence.cc
by Alessandro Zaccagnini 18 Jul '03

18 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2003-07-18 16:13:27 Modified files: src : Recurrence.cc Log message: Suggested alternative approach to problem with automatic verification of the solution (commented out). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/src Functional_Equation_Info.defs.hh Fun ...
by Tatiana Zolo 17 Jul '03

17 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-17 18:20:30 Modified files: src : Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Log message: Removed a useless default parameter in the constructor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Inf…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 17 Jul '03

17 Jul '03

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 17 Jul '03

17 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-17 17:23:10 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Log message: Now the data `applied_order_reduction' is in the private section of the class `Finite_Orer_Info' (before it was in the private section of the class `Recurrence'). Added the methods in order to access to `applied_order_reduction'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 17 Jul '03

17 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-17 15:40:34 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh rr_classifier.cc Log message: Renamed `recurrence_rhs_rewritten' in `recurrence_rewritten'. Improved the function `verify_exact_solution()'. Added some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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/rr_classifier.cc.diff?c…

1 0