March 2002 - PPL-devel - BUGSENG Mailman

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 10 Mar '02

10 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-10 00:47:54 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: New configuration files obtained by using the -u options of doxygen 1.2.14 and a bit of manual editing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/interfaces/C Makefile.am ppl_c.h ppl_c.cc ...
by Roberto Bagnara 09 Mar '02

09 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-09 19:44:36 Modified files: interfaces/C : Makefile.am ppl_c.h Added files: interfaces/C : ppl_c.cc Removed files: interfaces/C : ppl_c.c Log message: Slow progress. The C interface is implemented in C++ (of course). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.c.diff?cvs…

1 0

ppl/interfaces/C .cvsignore Makefile.am ppl_c. ...
by Roberto Bagnara 09 Mar '02

09 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-09 13:42:07 Added files: interfaces/C : .cvsignore Makefile.am ppl_c.c ppl_c.h Log message: C interface started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/.cvsignore.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.c.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl ./configure.ac interfaces/Makefile.am
by Roberto Bagnara 09 Mar '02

09 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-09 13:41:19 Modified files: . : configure.ac interfaces : Makefile.am Log message: C interface started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl TODO
by Roberto Bagnara 08 Mar '02

08 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-08 22:03:25 Modified files: . : TODO Log message: More things to do. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.7&…

1 0

ppl configure.ac
by Roberto Bagnara 08 Mar '02

08 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-03-08 12:16:35 Modified files: . : configure.ac Log message: The SICStus Prolog interface is only built if the user has SICStus Prolog 3.9.0 or a later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./configure.ac interfaces/Prolog/YAP/.cvsi ...
by Roberto Bagnara 08 Mar '02

08 Mar '02

1 0

ppl/tests relations1.cc relations2.cc relation ...
by Enea Zaffanella 08 Mar '02

08 Mar '02

1 0

ppl/src GenSys.cc GenSys.defs.hh Polyhedron.cc ...
by Enea Zaffanella 08 Mar '02

08 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-03-08 10:54:24 Modified files: src : GenSys.cc GenSys.defs.hh Polyhedron.cc Polyhedron.defs.hh Log message: Methods relation_with(...) updated to correctly use the new classes Poly_Con_Relation and Poly_Gen_Relation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src ConSys.defs.hh ConSys.inlines.hh Const ...
by Roberto Bagnara 08 Mar '02

08 Mar '02

1 0