March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.h ppl_c.cc
by Enea Zaffanella 15 Mar '03

15 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-15 13:38:53 Modified files: interfaces/C : ppl_c.h ppl_c.cc Log message: Added the equality test for polyhedra to the C interface. Patches: 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.cc.diff?cv…

1 0

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Enea Zaffanella 14 Mar '03

14 Mar '03

1 0

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Enea Zaffanella 14 Mar '03

14 Mar '03

1 0

ppl/tests bounded1.cc disjoint1.cc disjoint2.c ...
by Enea Zaffanella 14 Mar '03

14 Mar '03

1 0

ppl/src C_Polyhedron.cc Makefile.am Polyhedron ...
by Enea Zaffanella 14 Mar '03

14 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-14 13:05:06 Modified files: src : C_Polyhedron.cc Makefile.am Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Added files: src : Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Log message: Split file Polyhedron.cc into several files. Methods is_bounded(), is_topologically_closed() and are_disjoint() renamed to check_bounded(), check_topologically_closed() and check_disjoint(). Documentation reorganized to match more closely the order in the introduction of the user manual, also grouping related methods. Added exception thrower throw_runtime_error(). In the documentation, all examples using class `Polyhedron' changed to use the user-accessible class `C_Polyhedron'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Row.defs.hh SatRow.defs.hh Status.defs ...
by Enea Zaffanella 14 Mar '03

14 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-14 12:56:10 Modified files: src : Row.defs.hh SatRow.defs.hh Status.defs.hh Poly_Con_Relation.defs.hh Poly_Gen_Relation.defs.hh Matrix.defs.hh Log message: In Doxygen documentation, replaced `@name' by `\name'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Patricia Hill 14 Mar '03

14 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-14 09:45:38 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: Corrected for clpq2.pl checks Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces/Prolog/GNU Makefile.am gnu_pl_c ...
by Roberto Bagnara 13 Mar '03

13 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-13 17:29:10 Modified files: interfaces/Prolog/GNU: Makefile.am Added files: interfaces/Prolog/GNU: gnu_pl_check.pl Log message: Test all predicates with GNU Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/interfaces/Prolog/YAP yap_pl_check.pl
by Roberto Bagnara 13 Mar '03

13 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-13 08:27:51 Modified files: interfaces/Prolog/YAP: yap_pl_check.pl Log message: Comment corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_…

1 0

ppl/interfaces/Prolog/YAP Makefile.am
by Roberto Bagnara 13 Mar '03

13 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-13 08:27:41 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: Dependencies fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0