October 2008 - PPL-devel - BUGSENG Mailman

ppl/m4 Makefile.am
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 23:22:17 Modified files: m4 : Makefile.am Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/Makefile.am.diff?cvsroot=p…

1 0

ppl/m4 ac_cxx_long_double_exact_output.m4
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 23:06:38 Modified files: m4 : ac_cxx_long_double_exact_output.m4 Log message: Expected value fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0

ppl/m4 ac_cxx_long_double_exact_output.m4
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 22:58:48 Modified files: m4 : ac_cxx_long_double_exact_output.m4 Log message: Expected texts corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0

ppl/m4 ac_cxx_long_double_exact_output.m4
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 22:31:37 Modified files: m4 : ac_cxx_long_double_exact_output.m4 Log message: Missing parenthesis added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_exact_o…

1 0

ppl/m4 ac_cxx_double_exact_output.m4
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 22:20:41 Modified files: m4 : ac_cxx_double_exact_output.m4 Log message: Expected text fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_exact_output…

1 0

ppl ./configure.ac ./configure.repo m4/ac_cxx_ ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 22:17:56 Modified files: . : configure.ac configure.repo m4 : ac_cxx_double_binary_format.m4 ac_cxx_float_binary_format.m4 ac_cxx_long_double_binary_format.m4 src : Float.defs.hh Log message: Detect whether the C++ run-time system supports the exact output of floating point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_forma… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_float_binary_format… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_long_double_binary_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.defs.hh.diff?cvsroo…

1 0

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

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 22:06:31 Added files: m4 : ac_cxx_double_exact_output.m4 ac_cxx_float_exact_output.m4 ac_cxx_long_double_exact_output.m4 Log message: New functions to test whether C++ provides exact output for the floating point types. 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 Makefile.am C/Makefile.am Java/ ...
by Enea Zaffanella 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 21:20:26 Modified files: interfaces : Makefile.am interfaces/C : Makefile.am interfaces/Java: Makefile.am interfaces/Java/jni: Makefile.am interfaces/Java/parma_polyhedra_library: Makefile.am interfaces/Java/tests: Makefile.am interfaces/OCaml: Makefile.am interfaces/OCaml/tests: Makefile.am Log message: Simplified the handling of conditionally built foreign language interfaces by defining the SUBDIRS variable conditionally. Change is implemented for the C, OCaml and Java interfaces; will be implemented in Prolog as soon as Prolog_interface.dox will become a fixed source file (rather than being generated on the fly by m4). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… 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/jni/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil… 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/tests/Makefi…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 21:11:43 Modified files: interfaces/C : C_interface.dox Log message: Widenings moved to the sections listing ad hoc polyhedron functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/tests/Powerset simplifyusingcontext1.cc
by Enea Zaffanella 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 21:03:17 Modified files: tests/Powerset : simplifyusingcontext1.cc Log message: Previous commit was wrong: tests 5 and 9 will overflow on 8 bit coefficients, *if* assertions are turned on. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/simplifyusingc…

1 0