September 2008 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 21:49:09 Modified files: . : configure.ac Log message: Make LIBEXT and SHREXT available to makefiles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 19:30:16 Modified files: htdocs/Applications: Applications.raw Log message: Updated the link to Julia. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl doc/Makefile.am doc/devref-java-interface. ...
by Patricia Hill 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-09 15:59:30 Modified files: doc : Makefile.am devref-java-interface.doxyconf-html.in devref-java-interface.doxyconf-latex.in user-java-interface.doxyconf-html.in user-java-interface.doxyconf-latex.in interfaces/Java: Makefile.am Added files: interfaces/Java: ppl_interface_generator_java_dox.m4 ppl_interface_generator_java_dox_code.m4 ppl_java_common_dox Removed files: interfaces/Java: Java_interface.dox Log message: Revised the Java documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-java-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-java-interface.doxyc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_comm… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Java_interfac…

1 0

ppl/interfaces/OCaml OCaml_interface.dox
by Patricia Hill 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-09 15:57:01 Modified files: interfaces/OCaml: OCaml_interface.dox Log message: Some typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interf…

1 0

ppl ./TODO interfaces/Prolog/tests/pl_check.pl
by Patricia Hill 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-09 10:24:00 Modified files: . : TODO interfaces/Prolog/tests: pl_check.pl Log message: Removed another item from the TODO. Added a test for the set and restore rounding predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl TODO
by Patricia Hill 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-09 10:01:56 Modified files: . : TODO Log message: Removed an item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.25…

1 0

ppl/doc definitions.dox
by Patricia Hill 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-09 10:01:13 Modified files: doc : definitions.dox Log message: Revised documentation for the Pointset Powerset domain. Reordered sections so that the Grid documentation comes before the Powerset documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/demos/ppl_lpsol expected_int16
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 05:41:19 Modified files: demos/ppl_lpsol: expected_int16 Log message: Adapted to the recent changes in ppl_lpsol. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/expected_int1…

1 0

ppl src/.cvsignore tests/Box/.cvsignore
by Roberto Bagnara 09 Sep '08

09 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-09 05:35:07 Modified files: src : .cvsignore tests/Box : .cvsignore Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/.cvsignore.diff?cvs…

1 0

ppl doc/Makefile.am doc/devref-ocaml-interface ...
by Patricia Hill 08 Sep '08

08 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-08 22:59:09 Modified files: doc : Makefile.am devref-ocaml-interface.doxyconf-html.in devref-ocaml-interface.doxyconf-latex.in interfaces/OCaml: OCaml_interface.dox Log message: Revised OCaml documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.do… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-ocaml-interface.do… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/OCaml_interf…

1 0