November 2007 - PPL-devel - BUGSENG Mailman

ppl/tests/Box constraints1.cc
by Roberto Bagnara 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-27 11:06:00 Modified files: tests/Box : constraints1.cc Log message: test06 succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.dif…

1 0

ppl/src Box.defs.hh Box.templates.hh
by Roberto Bagnara 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-27 11:04:53 Modified files: src : Box.defs.hh Box.templates.hh Log message: Box<Interval>::add_constraint_no_check() assumes (and assumed) that the box was not marked empty: assertion added. This invariant was ensured by Box<Interval>::add_constraint() but not by Box<Interval>::add_constraints_no_check(const Constraint_System&): the latter has been fixed accordingly. 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 constraints1.cc
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 10:53:24 Modified files: tests/Box : constraints1.cc Log message: test05 succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.dif…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-27 10:51:50 Modified files: src : Box.templates.hh Log message: Spurious comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl src/Box.templates.hh tests/Box/constraints1.cc
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 10:42:49 Modified files: src : Box.templates.hh tests/Box : constraints1.cc Log message: Last change undone and a change in the commit before this also undone. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.dif…

1 0

ppl/src Box.templates.hh
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 10:32:29 Modified files: src : Box.templates.hh Log message: Check for emptiness moved from add_constraints_no_check() to add_constraint_no_check(). Also do the empty check by just checking marked_empty() instead of is_empty(). 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 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-27 09:14:42 Modified files: src : Box.templates.hh Log message: Duplicate code avoided in Box<Interval>::add_constraint_no_check(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl src/Box.templates.hh tests/Box/constraints1.cc
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 09:03:37 Modified files: src : Box.templates.hh tests/Box : constraints1.cc Log message: Added corrections for bugs in identified by previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.dif…

1 0

ppl/tests/Box constraints1.cc
by Patricia Hill 27 Nov '07

27 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-27 08:04:03 Modified files: tests/Box : constraints1.cc Log message: test05 and test06 show bugs in add_constraint_no_check() and add_constraints_no_check(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/constraints1.cc.dif…

1 0

ppl ./configure.ac interfaces/Prolog/GNU/gprol ...
by Roberto Bagnara 26 Nov '07

26 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-26 08:39:55 Modified files: . : configure.ac interfaces/Prolog/GNU: gprolog_cfli.hh Log message: Find gprolog.h also under Ubuntu 7.10. Patches: 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/interfaces/Prolog/GNU/gprolog…

1 0