January 2003 - PURRS-devel - BUGSENG Mailman

purrs configure.ac
by Enea Zaffanella 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2003-01-21 15:12:06 Modified files: . : configure.ac Log message: rr_solver.cc has been renamed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=p…

1 0

purrs/CoStLy .cvsignore
by Enea Zaffanella 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2003-01-21 15:09:13 Added files: CoStLy : .cvsignore Log message: CVS should ignore Makefile.in. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/.cvsignore?cvsroot=p…

1 0

purrs/infrastructure README
by Enea Zaffanella 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaffanella(a)cs.unipr.it 2003-01-21 14:45:29 Modified files: infrastructure : README Log message: Added some more details on how to build the infrastructure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/README.diff?…

1 0

Problem with symbol's default constructor?
by Roberto Bagnara 21 Jan '03

21 Jan '03

Hi all, there seems to be a problem with the default constructor of GiNaC::symbol. Here is a program that shows what happens: #include <ginac/ginac.h> #include <iostream> int main() { GiNaC::symbol s; std::cout << s << std::endl; } If this is executed under, e.g., emacs, it prints symbol0^@ that is, a NUL (ASCII 0) character is printed just after "symbol0". This is probably caused by the presence of " << std::end" in the following template function: template<class T> std::string ToString(const T & t) { std::ostringstream buf; buf << t << std::ends; return buf.str(); } IMHO, " << std::ends" should be simply erased. All the best 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/demos purrs_rrs_cgi.cc
by Roberto Bagnara 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-21 13:25:20 Modified files: demos : purrs_rrs_cgi.cc Log message: Auxilliary definitions should be substituted back in exact solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff…

1 0

purrs/src Recurrence.defs.hh
by Roberto Bagnara 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2003-01-21 13:24:31 Modified files: src : Recurrence.defs.hh Log message: Comment rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

purrs/src Makefile.am
by Tatiana Zolo 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-21 12:29:08 Modified files: src : Makefile.am Log message: Changed `rr_solver.cc' with `rr_classifier.cc'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src rr_classifier.cc rr_solver.cc
by Tatiana Zolo 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-21 12:25:52 Added files: src : rr_classifier.cc Removed files: src : rr_solver.cc Log message: Renamed the file rr_solver.cc in rr_classifier.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Recurrence.cc Recurrence.defs.hh rr_ ...
by Tatiana Zolo 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-21 12:23:22 Modified files: src : Recurrence.cc Recurrence.defs.hh rr_solver.cc Log message: Renamed `catch_special_cases()' in `classify_and_catch_special_cases()'. Added some comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… 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/rr_solver.cc.diff?cvsro…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 21 Jan '03

21 Jan '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-01-21 11:50:44 Modified files: tests : simpl_tests Log message: Changed some expressions because now are expanded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0