October 2008 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Patricia Hill 27 Oct '08

27 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-27 07:14:48 Modified files: . : NEWS Log message: Two more reminders of news that needs adding: - OCaml and Java interfaces; - changes to the configure options. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/interfaces/C/tests print_to_buffer.h
by Roberto Bagnara 27 Oct '08

27 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-27 06:30:37 Modified files: interfaces/C/tests: print_to_buffer.h Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0

ppl interfaces/Java/parma_polyhedra_library/Va ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:50:58 Modified files: interfaces/Java/parma_polyhedra_library: Variable.java tests/Octagonal_Shape: affinedimension1.cc discrete1.cc Log message: Trailing blanks removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affined… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/discret…

1 0

ppl NEWS
by Patricia Hill 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-26 21:47:17 Modified files: . : NEWS Log message: Made a start on updating this file: - update the paragraph on the MIP problem to include MIP control parameters; - added a bullet on total and external memory in bytes; - reminder to add something about the removal of covering_box support; - reminder to add a note about the partially reduced product; - reminder to add something about changes to the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/interfaces/Java/tests ppl_java_tests_common
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:43:30 Modified files: interfaces/Java/tests: ppl_java_tests_common Log message: Copyright notice added. Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/interfaces/OCaml README.ocaml
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:37:56 Modified files: interfaces/OCaml: README.ocaml Log message: Improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/README.ocaml…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:36:35 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_hh_code.m4 Log message: Copyright notice fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/C/tests print_to_buffer.cc prin ...
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:33:35 Modified files: interfaces/C/tests: print_to_buffer.cc print_to_buffer.h Log message: Added copyright notices and multiple inclusion guards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0

ppl README
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 21:23:03 Modified files: . : README Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl ./NEWS Watchdog/NEWS
by Roberto Bagnara 26 Oct '08

26 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-26 20:51:04 Modified files: . : NEWS Watchdog : NEWS Log message: The target release date is November 4, 2008. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.23… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/NEWS.diff?cvsroot=pp…

1 0