September 2006 - PPL-devel - BUGSENG Mailman

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

1 0

ppl/src MIP_Problem.cc MIP_Problem.defs.hh MIP ...
by Andrea Cimino 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-23 16:01:19 Modified files: src : MIP_Problem.cc MIP_Problem.defs.hh MIP_Problem.inlines.hh Log message: Implemented is_satisfiable() for real MIP Problems in a more efficient way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 14:39:37 Modified files: src : BD_Shape.templates.hh Log message: Minor readability improvements to contains_integer_point(), as well as correcting a typo resulting in a bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl ./ChangeLog Watchdog/ChangeLog
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 14:29:26 Modified files: . : ChangeLog Watchdog : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/ChangeLog.diff?cvsro…

1 0

ppl/src LP_Problem.cc MIP_Problem.cc Octagonal ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 13:54:01 Modified files: src : LP_Problem.cc MIP_Problem.cc Octagonal_Shape.templates.hh Log message: Avoid unnecessary (and silly) abbreviations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/BD_Shape Makefile.am containsinteger ...
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 13:47:47 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : containsintegerpoint1.cc Log message: Added simple test for method contains_integer_point(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/containsintege… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 13:46:35 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Added declaration and tentative implementation of method bool BD_Shape<T>::contains_integer_point() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

CVSROOT users
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: bagnara(a)cs.unipr.it 2006-09-23 13:41:11 Modified files: . : users Log message: Removed the old email addresses of David Merchat and Matthew Mundell. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl/src Octagonal_Shape.templates.hh
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 13:39:10 Modified files: src : Octagonal_Shape.templates.hh Log message: Avoid pleonastic comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src BDS_Status.inlines.hh BD_Shape.cc BD_S ...
by Roberto Bagnara 23 Sep '06

23 Sep '06

1 0