May 2003 - PURRS-devel - BUGSENG Mailman

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Tatiana Zolo 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 18:34:56 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Added the public method `Recurrence::rank()' for to access to the private date of the class `Functional_Equation_Info'. 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/Recurrence.inlines.hh.d…

1 0

purrs/src Functional_Equation_Info.defs.hh
by Tatiana Zolo 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 18:30:22 Modified files: src : Functional_Equation_Info.defs.hh Log message: Added a comment. Patches: 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 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 15:43:18 Modified files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Recurrence.defs.hh Recurrence.inlines.hh compute_exact_solution.cc Log message: Renamed `first_i_c_for_linear' in `first_well_defined_rhs_linear'. 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.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_exact_solution.…

1 0

purrs/src Recurrence.cc
by Tatiana Zolo 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 15:42:28 Modified files: src : Recurrence.cc Log message: Fixed a bug in the function `shift_exact_solution_with_i_c()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

w3purrs/htdocs news.raw
by Tatiana Zolo 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 15:32:22 Modified files: htdocs : news.raw Log message: Fixed an error in a date: 22 may 2003 and not 2002. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw.diff?cvsr…

1 0

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

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 12:36:35 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Added the function `shift_exact_solution_with_i_c()' that shifts the solution of the recurrence in agreement with the initial conditions inserted by the user. 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…

1 0

purrs/src compute_exact_solution.cc finite_ord ...
by Tatiana Zolo 27 May '03

27 May '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-05-27 12:36:12 Modified files: src : compute_exact_solution.cc finite_order.cc Log message: Removed the substitution of initial conditions during the construction of the solution of the recurrence. Patches: 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/finite_order.cc.diff?cv…

1 0

Slides of the PURRS seminar
by Roberto Bagnara 27 May '03

27 May '03

Dear Manuel and Pedro, the slides of last Thursday's seminar are online at http://www.cs.unipr.it/purrs/Documentation/#SlidesUPM03 Cheers Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

w3purrs/htdocs news.raw
by Alessandro Zaccagnini 26 May '03

26 May '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2003-05-26 19:12:49 Modified files: htdocs : news.raw Log message: Fixed misprint Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw.diff?cvsr…

1 0

Testcase for ciaopp
by Roberto Bagnara 26 May '03

26 May '03

Dear all, here is the small mergesort program for which ciaopp V0.8#17 (as installed on clip) seems to go away, both in the computation of upper and lower complexity bounds. If you have a version of ciaopp that can analyze it, please let us know the complexity analysis results. Of course, it would be great if we could have a version of ciaopp installed on our machines: too often we wonder "which complexity would be obtained with ciaopp for this program?" We can handle beta or even alpha versions... anything, provided it breathes ;-) Cheers Roberto P.S. Same thing applies to ciaoc: as soon as you have a version with the recent memory management fixes, just let us know. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it :- module(msort, [msort/2], [assertions]). :- entry msort(A,B) : (list(A, num), var(B), ground(A)). % % msort.pl Nai-Wei Lin November, 1991 % % This program performs the mergesort on a list of integers. % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %:- mode(divide/3,[+,-,-]). %:- measure(divide/3,[length,length,length]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% divide([],[],[]). divide([X],[X],[]). divide([X1,X2|L],[X1|L1],[X2|L2]) :- divide(L,L1,L2). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %:- mode(merge/3,[+,+,-]). %:- measure(merge/3,[length,length,length]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% merge(L,[],L). merge([],L,L) :- L \== []. merge([X1|L1],[X2|L2],[X1|L]) :- X1 >= X2, merge(L1,[X2|L2],L). merge([X1|L1],[X2|L2],[X2|L]) :- X1 < X2, merge([X1|L1],L2,L). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %:- mode(msort/2,[+,-]). %:- measure(msort/2,[length,length]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% msort([],[]). msort([X],[X]). msort([X1,X2|L],R) :- divide([X1,X2|L],L1,L2), msort(L1,R1), msort(L2,R2), merge(R1,R2,R).

1 0