November 2002 - PURRS-devel

purrs/src simplify.cc
by Tatiana Zolo 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-16 20:18:53 Modified files: src : simplify.cc Log message: Changed the structure of `rewrite_factorials()' and renamed `rewrite_factorials_and_exponentials()' (removed `simpl_exponentials()'): now we do not use the method `match()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-16 20:13:52 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method `bool is_the_factorial_function() const'. Added some comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-16 16:19:02 Modified files: src : rr_solver.cc Log message: Improved `verify_solution()': now it does not use the method `match()'. 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 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-16 16:16:38 Modified files: src : simplify.cc Log message: Some efficiency's improvement. 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 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-16 16:15:29 Modified files: src : Recurrence.cc Log message: Fixed a bug: use Expr::arg(unsigned i) for the "functions". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 16 Nov '02

16 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-16 10:55:43 Modified files: tests : heap Log message: New recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 15 Nov '02

15 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-16 00:56:27 Modified files: tests : heap Log message: New recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 15 Nov '02

15 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-16 00:45:36 Modified files: tests : heap Log message: New recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Roberto Bagnara 15 Nov '02

15 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-16 00:19:28 Modified files: tests : heap Log message: Added some new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs src/Expr.cc src/Expr.defs.hh src/Expr.in ...
by Roberto Bagnara 15 Nov '02

15 Nov '02

1 0