November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Boundary.defs.hh
by Abramo Bagnara 10 Nov '06

10 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-10 00:00:01 Modified files: src : Boundary.defs.hh Log message: Fixed return value. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-09 23:53:52 Modified files: src : Box.templates.hh Log message: Methods computing affine (pre-) images now also deal with the case of denominators different from 1. 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 Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 22:59:28 Modified files: src : Interval.defs.hh Log message: Adjust flags on set_unbounded. A little more work on div_assign. Splitted normalize_integer to help the compiler in its inlining job. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl interfaces/Prolog/SICStus/sicstus_cfli.ic ...
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 18:28:25 Modified files: interfaces/Prolog/SICStus: sicstus_cfli.ic src : Limits.hh . : configure.ac Log message: C99 mandates that sizeof unsigned is always the same of corresponding signed type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Limits.hh.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 17:24:00 Modified files: src : Boundary.defs.hh Log message: set_unbounded returns a feedback. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-09 17:17:27 Modified files: src : Checked_Number.inlines.hh Log message: Substituted specializations with templates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Box.inlines.hh Box.templates.hh
by Enea Zaffanella 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-09 16:50:52 Modified files: src : Box.inlines.hh Box.templates.hh Log message: Be explicit when invoking methods of a class template. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/interfaces/Prolog Ciao/Makefile.am GNU/Mak ...
by Roberto Bagnara 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-09 15:46:09 Modified files: interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am Log message: Ensure `make distclean' does the right thing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-09 15:26:00 Modified files: src : Box.templates.hh Log message: Corrected method OK(): even if the box is marked empty, this does not imply that there should be empty intervals in it. Drafted (partial) implementation of affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src MIP_Problem.cc
by Andrea Cimino 09 Nov '06

09 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-09 14:31:11 Modified files: src : MIP_Problem.cc Log message: MIP_Problem fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0