- PURRS-devel - BUGSENG Mailman

w3purrs/htdocs purrs.raw
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-07-24 14:57:58 Modified files: htdocs : purrs.raw Log message: Itemized list fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

PURRS goes public
by Roberto Bagnara 24 Jul '02

24 Jul '02

Dear all, the PURRS web site is no longer password-protected and the demos are installed and running. All the best 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

1 0

purrs/demos purrs_rrs_cgi.cc
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-07-24 10:20:10 Modified files: demos : purrs_rrs_cgi.cc Log message: Cleaned up. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-07-24 10:19:36 Modified files: src : rr_solver.cc Log message: Some error messages improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

w3purrs/htdocs demos.raw purrs.raw Credits/Cre ...
by Roberto Bagnara 24 Jul '02

24 Jul '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-07-24 10:18:58 Modified files: htdocs : demos.raw purrs.raw htdocs/Credits : Credits.raw htdocs/Links : Links.raw Log message: Minimal changes so as to go public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/demos.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Credits/Credits.ra… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Links/Links.raw.di…

1 0

purrs/demos purrs_eqs_cgi.cc purrs_rrs_cgi.cc
by Roberto Bagnara 05 Jul '02

05 Jul '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-07-05 07:52:16 Modified files: demos : purrs_eqs_cgi.cc purrs_rrs_cgi.cc Log message: nice() returns -1 in case of error and the new nice value otherwise. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_eqs_cgi.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/src alg_eq_solver.cc
by Roberto Bagnara 04 Jul '02

04 Jul '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-07-04 08:51:43 Modified files: src : alg_eq_solver.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 04 Jul '02

04 Jul '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-07-04 08:47:27 Modified files: src : rr_solver.cc Log message: Ne quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src simplify.cc
by Tatiana Zolo 30 Jun '02

30 Jun '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-06-30 19:57:29 Modified files: src : simplify.cc Log message: Changes in the comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src alg_eq_solver.cc rr_solver.cc simpli ...
by Tatiana Zolo 30 Jun '02

30 Jun '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-06-30 17:21:20 Modified files: src : alg_eq_solver.cc rr_solver.cc simplify.cc simplify.hh Log message: Modified functions about the simplifications so that when the expression to simplify is an input expression 'n' is a special symbol and it put in evidence in respect of the others parameters; when the expression to simplify is an output expression 'n' is like the others parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0