November 2002 - PPL-devel - BUGSENG Mailman

ppl config.h.in configure.ac
by Roberto Bagnara 02 Nov '02

02 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-02 09:05:40 Modified files: . : config.h.in configure.ac Log message: Get rid of AC_C_INLINE: we do not use inlines in C code and it was doing harm with some compilers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./config.h.in ./configure.ac m4/ac_check_g ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 20:30:49 Modified files: . : config.h.in configure.ac m4 : ac_check_gmp.m4 Log message: Much improved detection of the size of GMP's mp_limb_t. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… 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/m4/ac_check_gmp.m4.diff?cvsro…

1 0

ppl/src SatRow.cc SatRow.defs.hh
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 18:52:59 Modified files: src : SatRow.cc SatRow.defs.hh Log message: Got rid of operator<<(std::ostream&, const SatRow&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl TODO
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 18:36:35 Modified files: . : TODO Log message: There must be a more efficient way to implement bool are_disjoint(const Polyhedron&, const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/tests NNCminimize1.cc NNCminimize2.cc NNCm ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl ./NEWS src/AskTell.defs.hh src/AskTell.inl ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

1 0

ppl/src Makefile.am
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 14:38:35 Modified files: src : Makefile.am Log message: Exclude Topology.hh from the generation of user's documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/tests Makefile.am boundingbox1.cc bounding ...
by Roberto Bagnara 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-01 14:32:35 Modified files: tests : Makefile.am boundingbox1.cc boundingbox2.cc boundingbox3.cc Added files: tests : BBox.cc BBox.hh Log message: Avoid code duplication and some spaghetti-code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.cc?cvsroot=ppl&rev… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BBox.hh?cvsroot=ppl&rev… 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/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv…

1 0

ppl/tests boundingbox1.cc boundingbox3.cc
by Elisa Ricci 01 Nov '02

01 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-01 12:03:19 Modified files: tests : boundingbox1.cc boundingbox3.cc Log message: Added operator<=(const BInterval& x, const BInterval& y) and operator<=(const BBox& x, const BBox& y). In the tests, now we verify also if nbox <= pbox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox3.cc.diff?cv…

1 0