December 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java ppl_interface_generator_ja ...
by Andrea Cimino 14 Dec '06

14 Dec '06

1 0

ppl/interfaces/Java jni/ppl_java_globals.cc pp ...
by Andrea Cimino 14 Dec '06

14 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-14 10:50:56 Modified files: interfaces/Java/jni: ppl_java_globals.cc interfaces/Java/ppl_java: Linear_Expression.java Makefile.am interfaces/Java/tests: ppl_java_tests_common Log message: Added the method `toString' the returns a string representation of a linear expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/tests/Box Makefile.am interval2.cc
by Roberto Bagnara 13 Dec '06

13 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-13 19:29:53 Modified files: tests/Box : Makefile.am Added files: tests/Box : interval2.cc Log message: A test derived from interval1.cc that exhibits an interesting behavior. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval2.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

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

13 Dec '06

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

1 0

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

13 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-13 18:31:40 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Removed previously commented code (now useless). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/interfaces/OCaml Makefile.am ppl_ocaml.cc ...
by Andrea Cimino 13 Dec '06

13 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-13 18:27:07 Modified files: interfaces/OCaml: Makefile.am ppl_ocaml.cc ppl_ocaml.ml ppl_ocaml.mli ppl_ocaml_globals.ml test1.ml Added files: interfaces/OCaml: ppl_ocaml_types.ml Log message: Defined the data structures used in `ppl_ocaml_types.ml'. MIP_Problem interface almost completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/src Boundary.defs.hh
by Abramo Bagnara 13 Dec '06

13 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-13 14:46:13 Modified files: src : Boundary.defs.hh Log message: Added missing fixme comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh Checked_Number.defs.h ...
by Abramo Bagnara 13 Dec '06

13 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-12-13 14:42:31 Modified files: src : Boundary.defs.hh Checked_Number.defs.hh Checked_Number.inlines.hh Interval.defs.hh Log message: Completed division implementation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/interfaces/OCaml Makefile.am ppl_ocaml.cc ...
by Andrea Cimino 12 Dec '06

12 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-12-12 19:57:31 Modified files: interfaces/OCaml: Makefile.am ppl_ocaml.cc ppl_ocaml.ml test1.ml Added files: interfaces/OCaml: ppl_ocaml_globals.ml Log message: Added the file `ppl_ocaml_globals.ml' that should contain the fixed code after the migration to m4. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/tests/Box interval1.cc
by Roberto Bagnara 12 Dec '06

12 Dec '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-12-12 18:51:40 Modified files: tests/Box : interval1.cc Log message: Useless code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/interval1.cc.diff?c…

1 0