November 2002 - PURRS-devel

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

purrs src/simplify.cc tests/simplify_driver.cc
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 09:18:29 Modified files: src : simplify.cc tests : simplify_driver.cc Log message: Added options -h and -i to the driver for the simplifications. Removed `static' from the function in the anonymous namespace. Patches: 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/tests/simplify_driver.cc.di…

1 0

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

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 19:49:18 Modified files: src : numerator_denominator.cc Log message: Improved function `find_denominator_single_factor()'. The function in the anonymous namespace are not static. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.c…

1 0

purrs/src Makefile.am rr_solver.cc compute_pro ...
by Tatiana Zolo 27 Nov '02

27 Nov '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-11-27 17:06:28 Modified files: src : Makefile.am rr_solver.cc Added files: src : compute_prod.cc compute_prod.hh ep_decomp.cc ep_decomp.hh Log message: Removed the functions `compute_product()' and `exp_poly_decomposition()' from rr_solver.cc and added relative files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.hh?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.cc?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.hh?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0