- PURRS-devel - BUGSENG Mailman

purrs src/alg_eq_solver.cc src/compute_prod.cc ...
by Tatiana Zolo 03 Dec '02

03 Dec '02

1 0

purrs/src numerator_denominator.cc
by Tatiana Zolo 03 Dec '02

03 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-03 15:21:38 Modified files: src : numerator_denominator.cc Log message: Improved the function `numerator_denominator_term()'. Added the comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src numerator_denominator.cc
by Tatiana Zolo 02 Dec '02

02 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-02 23:07:21 Modified files: src : numerator_denominator.cc Log message: Improved the function `numerator_denominator_purrs()'. Added some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src complint.cc
by Roberto Bagnara 30 Nov '02

30 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-30 22:20:48 Modified files: src : complint.cc Log message: Implementation of int lexicographic_compare(const Interval&, const Interval&) completed. Before, the system treated different complex intervals as if they were equal. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/complint.cc.diff?cvsroo…

1 0

purrs/tests heap
by Roberto Bagnara 30 Nov '02

30 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-11-30 11:11:23 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 simpl_tests
by Tatiana Zolo 29 Nov '02

29 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-29 19:58:29 Modified files: tests : simpl_tests Log message: Marked with `y' some expressions that now are correctly simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src numerator_denominator.cc
by Tatiana Zolo 29 Nov '02

29 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-29 19:54:06 Modified files: src : numerator_denominator.cc Log message: Several improvements and a bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src util.cc util.hh simplify.cc
by Tatiana Zolo 29 Nov '02

29 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-29 19:52:44 Modified files: src : util.cc util.hh simplify.cc Log message: Moved the function `void partial_factor()' from simplify.cc to util.{hh, cc}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/tests simplify_driver.cc
by Tatiana Zolo 29 Nov '02

29 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-29 13:34:15 Modified files: tests : simplify_driver.cc Log message: Fixed a problem in the interactive mode. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0

purrs/tests Makefile.am simplify_driver.cc sim ...
by Tatiana Zolo 28 Nov '02

28 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-28 17:38:50 Modified files: tests : Makefile.am simplify_driver.cc Added files: tests : simpl_tests Log message: Added file containing expression to simplify. Added regression-test and the verbose option in simplify_driver. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0