October 2003 - PURRS-devel - BUGSENG Mailman

purrs/doc Makefile.am definitions.dox devref-b ...
by Tatiana Zolo 29 Oct '03

29 Oct '03

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 29 Oct '03

29 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-29 11:14:52 Modified files: src : Recurrence.defs.hh Log message: Improved some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs src/Blackboard.cc src/Blackboard.defs.hh ...
by Tatiana Zolo 28 Oct '03

28 Oct '03

1 0

purrs/src Makefile.am globals.hh globals.cc
by Tatiana Zolo 28 Oct '03

28 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-28 18:15:59 Modified files: src : Makefile.am Added files: src : globals.hh globals.cc Log message: Added the file containing the declarations of global objects. At the moment it contains `index_type': an unsigned integral type for representing different kinds of indexes of the recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 28 Oct '03

28 Oct '03

1 0

purrs/src alg_eq_solver.cc
by Tatiana Zolo 28 Oct '03

28 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-28 10:46:10 Modified files: src : alg_eq_solver.cc Log message: Removed two old and useless definitions of the Symbol `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/tests heap
by Tatiana Zolo 27 Oct '03

27 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-27 17:13:01 Modified files: tests : heap Log message: Changed the mark to two functional equations that the system is not able to verify from `ulv' to `ul'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 27 Oct '03

27 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-27 17:10:29 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Log message: Started the reorganization of the validation's process for the solution (or approximation): moved the 3 public methods `Recurrence::verify_exact_solution()', `Recurrence::verify_lower_bound()' and `Recurrence::verify_upper_bound()' from the file `Recurrence.inlines.hh' to `Recurrence.cc'. Removed the static function `verify_exact_solution()' and moved its code inside the aforesaid public method. Transformed the static function `verify_bound()' in a private method of the class Recurrence. Other minor changes. Comments again to fix. Renamed the enumerate `Kind_of_Bound' in `Bound'. 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…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh Rec ...
by Tatiana Zolo 27 Oct '03

27 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-27 12:17:55 Modified files: src : Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Log message: Defined the type enumerate `Kind_of_Bound' which specifies the kinds of bounds for the solution that is possible to compute. Consequent changes in some methods. Removed an useless argument from the method `substitute_i_c_shifting()'. 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…

1 0

purrs/infrastructure README
by Tatiana Zolo 24 Oct '03

24 Oct '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-10-24 09:35:37 Modified files: infrastructure : README Log message: Minor changes in the instructions in order to install `giac-0.3.0'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0