March 2007 - PPL-devel - BUGSENG Mailman

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

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 19:41:13 Modified files: src : Box.templates.hh Log message: Improved Box<Interval>::ascii_dump(std::ostream&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 19:40:06 Modified files: src : Interval.defs.hh Log message: Interval::ascii_dump(ostream&) correctly (and simply) implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/tests/MIP_Problem Makefile.am mipproblem1. ...
by Roberto Bagnara 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 19:37:50 Modified files: tests/MIP_Problem: Makefile.am mipproblem1.cc Added files: tests/MIP_Problem: mipproblem2.cc Log message: New program mipproblem2.cc to test the MIP_Problem class with instances that require a watchdog timer. Test from mipproblem1.cc adapted and moved here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 19:18:38 Modified files: src : MIP_Problem.cc Log message: The maybe_abandon() function is now called in the right places. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-03-09 18:07:47 Modified files: src : MIP_Problem.cc Log message: Call `maybe_abandon()' each time a new vertex is explored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2007-03-09 18:02:03 Modified files: src : MIP_Problem.cc Log message: Call `maybe_abandon()' each time the simplex algorithm is involved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/tests/Box refine2.cc
by Roberto Bagnara 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-03-09 16:13:27 Modified files: tests/Box : refine2.cc Log message: Completed test01(). Four more tests added (one of them is currently disabled, as it seems to trigger a bug somewhere). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refine2.cc.diff?cvs…

1 0

ppl/tests/Box Makefile.am cc76narrowing1.cc
by Enea Zaffanella 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-09 15:22:02 Modified files: tests/Box : Makefile.am cc76narrowing1.cc Log message: Restored test cc76narrowing1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76narrowing1.cc.d…

1 0

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

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-09 15:21:19 Modified files: src : Box.defs.hh Box.templates.hh Log message: Drafted implementation of CC76_narrowing_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box Makefile.am
by Enea Zaffanella 09 Mar '07

09 Mar '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-03-09 14:54:17 Modified files: tests/Box : Makefile.am Log message: Restored bgp99extrapolation1 and bhz03widening1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0