September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests C_Polyhedron_test1.j ...
by Andrea Cimino 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-14 18:35:31 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java NNC_Polyhedron_test1.java Log message: Load the library with the correct name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/NNC_Pol…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 18:32:22 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Tests adapted to the new semantics of add_constraint(s). SOme variable renamings, so as to "improve" readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/tests/Box refinewithconstraints1.cc
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 18:17:38 Modified files: tests/Box : refinewithconstraints1.cc Log message: Test 7 fails on 8 bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/refinewithconstrain…

1 0

ppl/interfaces/Java ppl_java_common_dox
by Andrea Cimino 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2008-09-14 16:43:13 Modified files: interfaces/Java: ppl_java_common_dox Log message: The `ppl_' prefix is not used in the name of the methods in the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java_comm…

1 0

ppl ./configure.ac interfaces/Java/Makefile.am ...
by Andrea Cimino 14 Sep '08

14 Sep '08

1 0

ppl/src version.cc
by Roberto Bagnara 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-14 15:53:44 Modified files: src : version.cc Log message: The banner now includes the names of all those that appear in the CREDITS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc.diff?cvsroot=p…

1 0

ppl CREDITS
by Roberto Bagnara 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-14 15:34:41 Modified files: . : CREDITS Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl ./configure.ac interfaces/Java/Makefile.am ...
by Roberto Bagnara 14 Sep '08

14 Sep '08

1 0

ppl/interfaces/Java/parma_polyhedra_library
by Roberto Bagnara 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-14 14:36:42 ppl/interfaces/Java/parma_polyhedra_library Update of /cvs/ppl/ppl/interfaces/Java/parma_polyhedra_library In directory spartacus.cs.unipr.it:/tmp/cvs-serv28403/parma_polyhedra_library Log Message: Directory /cvs/ppl/ppl/interfaces/Java/parma_polyhedra_library added to the repository

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 13:34:04 Modified files: src : BD_Shape.inlines.hh Log message: Avoid warning (that was only showing up when assertions are not enabled). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0