March 2007 - PPL-devel - BUGSENG Mailman

ppl/src MIP_Problem.cc
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 16:30:02 Modified files: src : MIP_Problem.cc Log message: The excessively optimistic assertions just introduced replaced by canonicalization, which is indeed required. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 16:01:39 Modified files: src : Box.templates.hh Log message: Useless canonnicalizations of mpq rationals replaced by assertions. Simplified part of the code for the construction of a Box starting from a generator system. Avoid a couple of useless temporaries. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 15:59:45 Modified files: src : Polyhedron_public.cc Log message: A comment about the canonical form of an mpq rational supported by corresponding assertion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src MIP_Problem.cc
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 15:58:49 Modified files: src : MIP_Problem.cc Log message: A few useless canonicalizations of mpq rationals replaced by assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/tests/Box Makefile.am frombdshape1.cc
by Roberto Bagnara 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-19 15:57:57 Modified files: tests/Box : Makefile.am Added files: tests/Box : frombdshape1.cc Log message: Test Box::Box(const BD_Shape&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frombdshape1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/src globals.defs.hh globals.cc
by Enea Zaffanella 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-19 15:57:53 Modified files: src : globals.defs.hh globals.cc Log message: Removed useless inline directives in function declarations that are not definitions. Added helper function bool is_canonical(const mpq_class& ); to be used in assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p…

1 0

ppl/src Grid.defs.hh
by Roberto Bagnara 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-19 15:57:28 Modified files: src : Grid.defs.hh Log message: Grid::Grid(const Box<Interval>&) made explicit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-19 13:57:48 Modified files: src : Box.templates.hh Log message: Fixed Box<Interval>::Box(const BD_Shape<T>&, Complexity_Class). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 19 Mar '07

19 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-19 13:24:51 Modified files: src : Box.templates.hh Log message: We were using Interval::lower_set() instead of Interval::lower_set_uninit() in Box<Interval>::Box(const BD_Shape<T>&, Complexity_Class). Several assert(OK()) were missing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 18 Mar '07

18 Mar '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-03-18 20:19:14 Modified files: htdocs/Documentation: ppl.bib Log message: Revised Ricci02th. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0