October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 16:31:18 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_prolog_sysindep_dox Log message: Revert unintended changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog Makefile.am ppl_interfac ...
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 16:06:14 Modified files: interfaces/Prolog: Makefile.am ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 Log message: Uninteded change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 16:03:52 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: More small improvements and bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 15:48:25 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Small improvement and a typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl doc/definitions.dox src/Box.defs.hh
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 15:35:06 Modified files: doc : definitions.dox src : Box.defs.hh Log message: Avoid explicit mention of bounding boxes. Change references to the section on intervals and boxes to "intervals". All mention of covering boxes removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=…

1 0

ppl/interfaces/C C_interface.dox
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 15:31:34 Modified files: interfaces/C : C_interface.dox Log message: Change "who" to "which. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/interfaces/Prolog Makefile.am Prolog_inter ...
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 15:28:04 Modified files: interfaces/Prolog: Makefile.am Prolog_interface.dox ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_prolog_sysindep_dox Log message: typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-07 15:03:51 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Corrected a few bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Enea Zaffanella 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-07 12:52:57 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 Log message: Corrected error in template for add_disjunct. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Enea Zaffanella 07 Oct '08

07 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-07 11:56:58 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 Log message: Corrected an error in the template code for get_disjunct; avoid useless copies in the template code for linear/approximate partitions. Try to be more consistent with template indentation and spacing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0