October 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 10:08:04 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: extra_linker_opts/1 directive added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/tests Makefile.am writevariable1.cc writeg ...
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-30 09:58:52 Modified files: tests : Makefile.am Added files: tests : writevariable1.cc Removed files: tests : writegensys4.cc Log message: Properly test operator<<(std::ostream& s, const Variable& v) and the related machinery. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writevariable1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys4.cc.diff?cv…

1 0

ppl/tests Makefile.am writegensys4.cc
by Elisa Ricci 29 Oct '02

29 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-29 18:35:29 Modified files: tests : Makefile.am Added files: tests : writegensys4.cc Log message: Added a test to print a variable with id > 26. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/writegensys4.cc?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Row.cc Row.defs.hh
by Roberto Bagnara 29 Oct '02

29 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-29 18:24:17 Modified files: src : Row.cc Row.defs.hh Log message: Removed operator<<(std::ostream&, const Row&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl ltmain.sh
by Roberto Bagnara 29 Oct '02

29 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-29 18:24:04 Modified files: . : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

w3ppl/htdocs ppl.raw Download/Download.raw
by Roberto Bagnara 29 Oct '02

29 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-29 18:02:39 Modified files: htdocs : ppl.raw htdocs/Download: Download.raw Log message: The URIs for our cvsweb server have been completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl/tests Makefile.am ascii_dump_load1.cc asci ...
by Elisa Ricci 29 Oct '02

29 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-29 14:49:32 Modified files: tests : Makefile.am ascii_dump_load1.cc ascii_dump_load2.cc ascii_dump_load3.cc ascii_dump_load4.cc ascii_dump_load5.cc Added files: tests : ascii_dump1.cc Log message: Added some tests to verify Poly_Gen_Relation::ascii_dump(), Poly_Gen_Relation::OK(), Poly_Con_Relation::ascii_dump() and Poly_Con_Relation::OK(). Corrected the comment of the tests ascii_dump_load1.cc, ascii_dump_load2.cc, ascii_dump_load3.cc, ascii_dump_load4.cc, ascii_dump_load5.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump1.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load3.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load4.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ascii_dump_load5.cc.dif…

1 0

CVSROOT loginfo
by Roberto Bagnara 28 Oct '02

28 Oct '02

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2002-10-28 10:18:54 Modified files: . : loginfo Log message: The CVS root is `ppl', not `w3ppl'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/loginfo.diff?cvsroot=ppl&…

1 0

w3ppl/htdocs/Bugs Makefile
by Roberto Bagnara 28 Oct '02

28 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-28 08:23:44 Modified files: htdocs/Bugs : Makefile Log message: Copy the patches to DESTDIR. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Makefile.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw patch_ppl-0-4-2_ppl ...
by Roberto Bagnara 28 Oct '02

28 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-28 08:20:54 Modified files: htdocs/Bugs : Bugs.raw Added files: htdocs/Bugs : patch_ppl-0-4-2_ppl-20021024 Log message: Provide a patch for the bug in LinExpression& operator-=(LinExpression&, const LinExpression&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-4-2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0