October 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-16 08:20:50 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Test for no timeout made simpler to try and ensure results are as predicted. Added the Prolog system being tested in the error message. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/m4 ac_cxx_double_exact_output.m4 ac_cxx_fl ...
by Roberto Bagnara 16 Oct '08

16 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-16 08:06:54 Modified files: m4 : ac_cxx_double_exact_output.m4 ac_cxx_float_exact_output.m4 ac_cxx_long_double_exact_output.m4 Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_exact_output… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_exact_output.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0

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

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 22:16:57 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_prolog_sysdep_dox ppl_prolog_sysindep_dox Log message: As in previous commit message - but with updated files. 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_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

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

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 21:44:39 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dox.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_prolog_sysdep_dox ppl_prolog_sysindep_dox Log message: These files have been rewritten so as to generate Prolog_configured_interface.dox (with the command "make Prolog_configured_interface.dox" in the interfaces/Prolog directory) and the configured documentation for the Prolog interface. With an appropriate script the same files will generate the Prolog_interface.dox and hence the fixed documentation for Prolog. 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_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 21:36:31 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Predicate schema's reordered to maintain groups of predicates with similar semantics/behaviour. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Prolog/tests pl_check.pl
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 21:25:15 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Decrease the timeout expected for a timeout exception and increase the timeout when an exception is not predicted. Unwanted comment removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl m4/ac_check_fpu_control.m4 ./README.arm
by Roberto Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-15 20:14:10 Modified files: m4 : ac_check_fpu_control.m4 Added files: . : README.arm Log message: Adopted a compromise solution for the ARM: this allows to easily build binary distributions, yet allowing those building from sources to be in full control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.arm?cvsroot=ppl&rev=1.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_fpu_control.m4.di…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-15 19:58:21 Modified files: src : fpu-c99.inlines.hh Log message: Fixed silly bug in fpu_initialize_control_functions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0

ppl/doc definitions.dox interfaces-latex.sed
by Patricia Hill 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-15 18:59:52 Modified files: doc : definitions.dox interfaces-latex.sed Log message: The Section names in the ps and pdf files for extrenal references are in italics using <EM> and </EM> commands. In definitions.dox, the section name for extrapolation operators for the powerset now named Powerset Extrapolation Operators 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/doc/interfaces-latex.sed.diff…

1 0

ppl/src fpu-c99.inlines.hh
by Roberto Bagnara 15 Oct '08

15 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-15 18:59:16 Modified files: src : fpu-c99.inlines.hh Log message: At initialization time, check whether fesetround() works as expected: if not, throw an std::logic_error exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/fpu-c99.inlines.hh.diff?c…

1 0