August 2002 - PURRS-devel - BUGSENG Mailman

purrs/src rr_solver.cc
by Tatiana Zolo 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-22 18:30:04 Modified files: src : rr_solver.cc Log message: Correct some error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 18:14:08 Modified files: src : rr_solver.cc Log message: Complete rewrite of exp_poly_decomposition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-22 18:07:39 Modified files: src : rr_solver.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-22 17:36:59 Modified files: src : rr_solver.cc Log message: Several changes in according to the modified function 'exp_poly_decomposition'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 16:06:48 Modified files: src : rr_solver.cc Log message: Typo fixed in exp_poly_decomposition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 15:51:35 Modified files: src : rr_solver.cc Log message: Comments of decomposition_inhomogeneous_term() improved; this function has been renamed exp_poly_decomposition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/doc Makefile.am
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 15:45:49 Modified files: doc : Makefile.am Log message: Updated for Doxygen 1.2.17. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/Makefile.am.diff?cvsroo…

1 0

Upgrading Doxygen
by Roberto Bagnara 22 Aug '02

22 Aug '02

Dear all, with the next commit all versions of Doxygen prior to 1.2.17 will stop working, as far as PURRS is concerned. This means that you _have_ to upgrade (http://www.doxygen.org/). To make life easier, versions of graphviz prior to 1.8.5 will not work with Doxygen 1.2.17. You will have to go to http://www.research.att.com/sw/tools/graphviz/ and get a copy of graphviz 1.8.5 or later (RPMs are also available from there). Ciao 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/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 15:18:39 Modified files: src : rr_solver.cc Log message: Comment/specification of decomposition_inhomogeneous_term() rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src util.cc
by Roberto Bagnara 21 Aug '02

21 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-21 15:13:43 Modified files: src : util.cc Log message: lcm(const std::vector<GNumber>&) improved: now it also works with the empty vector and whichever numbers are in the vector (bogus assertions removed). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0