December 2006 - PPL-devel - BUGSENG Mailman

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 18:52:16 Modified files: src : Interval.defs.hh Log message: Fixed info for singleton. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.inlines.hh Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 18:46:29 Modified files: src : Box.inlines.hh Interval.defs.hh Log message: Fixed division. 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/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 18:36:44 Modified files: src : Interval.defs.hh Log message: Fixed return type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Interval.defs.hh Interval_Restriction. ...
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 18:26:00 Modified files: src : Interval.defs.hh Interval_Restriction.defs.hh Log message: Added operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-04 17:59:17 Modified files: src : Interval.defs.hh Log message: Added naive version of Interval::Interval(const Boundary&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 17:57:06 Modified files: src : Checked_Number.inlines.hh Log message: Fixed typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 16:50:51 Modified files: src : Interval.defs.hh Log message: Fixed signatures. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/tests/Box interval1.cc
by Abramo Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-04 16:24:06 Modified files: tests/Box : interval1.cc Log message: Fixed policy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc
by Andrea Cimino 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-04 15:49:39 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Simplified the code to build constraint systems, generator systems and congruence systems. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/tests/Polyhedron boundingbox3.cc
by Roberto Bagnara 04 Dec '06

04 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-04 15:30:06 Modified files: tests/Polyhedron: boundingbox3.cc Log message: Print constraints whenever printing generators does not give any advantage. Always print after having determined the result of the test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundingbox3…

1 0