July 2003 - PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 08 Jul '03

08 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-08 17:38:43 Modified files: src : simplify.cc Log message: Several improvements in the simplifications of logarithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src Expr.cc
by Tatiana Zolo 08 Jul '03

08 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-08 10:19:09 Modified files: src : Expr.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src Cached_Expr.defs.hh Cached_Expr.cc R ...
by Tatiana Zolo 08 Jul '03

08 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-08 10:17:26 Modified files: src : Cached_Expr.defs.hh Cached_Expr.cc Recurrence.defs.hh Recurrence.inlines.hh Expr.defs.hh Log message: Renamed the method `Cached_Expr::remove_bad_symbols()' in `Cached_Expr::replace_system_generated_symbols()'. Fixed several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc.diff?cvs… 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/Expr.defs.hh.diff?cvsro…

1 0

purrs/src Symbol.defs.hh Symbol.cc
by Tatiana Zolo 08 Jul '03

08 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-08 10:14:33 Modified files: src : Symbol.defs.hh Symbol.cc Log message: Renamed the method `Symbol::is_a_bad_symbol()' in `Symbol::is_system_generated()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.cc.diff?cvsroot=…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 17:04:01 Modified files: tests : simpl_tests Log message: Added some expressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src simplify.cc
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 17:03:28 Modified files: src : simplify.cc Log message: Improved simplification about logarithms. 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 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 13:07:53 Modified files: src : Recurrence.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr…

1 0

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

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 13:02:45 Modified files: src : Recurrence.inlines.hh Log message: Added the calls to the method `Cached_Expr::remove_bad_symbols()' on the exact solution and on the bounds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0

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

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 13:02:02 Modified files: src : Recurrence.defs.hh Log message: The method `Cached_Expr::remove_bad_symbols()' is became friend to the class Recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src Cached_Expr.defs.hh Cached_Expr.inli ...
by Tatiana Zolo 04 Jul '03

04 Jul '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-07-04 13:01:24 Modified files: src : Cached_Expr.defs.hh Cached_Expr.inlines.hh Cached_Expr.cc Log message: The method `Cached_Expr::expression()' is now const. Added the method `Cached_Expr::remove_bad_symbols()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc.diff?cvs…

1 0