July 2003 - PURRS-devel - BUGSENG Mailman

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 31 Jul '03

31 Jul '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-07-31 18:48:43 Modified files: htdocs/Documentation: purrs.bib Log message: BagnaraZZZ03TRd added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 31 Jul '03

31 Jul '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-07-31 14:38:13 Modified files: htdocs/Documentation: purrs.bib Log message: Added BagnaraZZZ03TRa, BagnaraZZZ03TRb, BagnaraZZZ03TRc, and BagnaraZ03TR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

purrs/src Recurrence.inlines.hh
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 14:40:19 Modified files: src : Recurrence.inlines.hh Log message: Fixed the copy-constructor and the assignment operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

purrs/src Recurrence.defs.hh rr_classifier.cc
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 12:55:01 Modified files: src : Recurrence.defs.hh rr_classifier.cc Log message: The expression `recurrence_rhs' is no longer `mutable'. Patches: 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/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh rr_ ...
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 12:47:56 Modified files: src : Recurrence.cc Recurrence.defs.hh rr_classifier.cc Log message: Removed the qualifier `mutable' from 3 private boolean data of the class Recurrence and used `const_cast' when necessary. 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/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.defs.hh
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 12:04:25 Modified files: src : Recurrence.defs.hh Log message: Removed the qualifier `mutable' from the private date of the class Recurrence `come_from_non_linear_rec'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/tests heap
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 10:42:58 Modified files: tests : heap Log message: Marked with `n' a non linear recurrence that now the system is not able to transform in linear. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src rr_classifier.cc
by Tatiana Zolo 30 Jul '03

30 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-30 10:40:46 Modified files: src : rr_classifier.cc Log message: Fixed a bug in the function `rewrite_non_linear_recurrence()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?c…

1 0

purrs/src Recurrence.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:58:44 Modified files: src : Recurrence.cc Log message: Added the step 3 of the validation's process for exact solutions that we had forgotten (for the moment it is commented). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

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 18:04:03 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