October 2008 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 14:26:42 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Make sure GLP_OFF is defined before using it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl tests/ppl_test.cc Watchdog/tests/pwl_test.cc
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 14:15:17 Modified files: tests : ppl_test.cc Watchdog/tests : pwl_test.cc Log message: Do not rely on the definition of optional macros of <fenv.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/pwl_test.cc.di…

1 0

ppl configure.ac
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 10:42:13 Modified files: . : configure.ac Log message: Enable the Java interface only if jlong can contain data pointers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

PPL 0.10: code almost frozen
by Roberto Bagnara 19 Oct '08

19 Oct '08

Please, consult with me before making any code change. Thanks, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/interfaces/Java/jni ppl_java_common.cc ppl ...
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 09:32:24 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_common.inlines.hh Log message: Improved the conversions between pointers and jlongs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

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

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-19 09:29:52 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: The get_represent pattern updated for all the domains to include both constraints and congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces marked_pointers.hh
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 08:54:44 Modified files: interfaces : marked_pointers.hh Log message: Bitmask made portable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/marked_pointers.hh…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am README.ciao
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 22:53:53 Modified files: interfaces/Prolog/Ciao: Makefile.am Added files: interfaces/Prolog/Ciao: README.ciao Log message: New file to explain which versions of Ciao Prolog are supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/README… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/interfaces README.interfaces
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 22:39:35 Removed files: interfaces : README.interfaces Log message: Obsolete file removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/README.interfaces.…

1 0

ppl/interfaces/OCaml/tests Makefile.am
by Roberto Bagnara 18 Oct '08

18 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-18 22:35:31 Modified files: interfaces/OCaml/tests: Makefile.am Log message: Use `"$(CXX)"' instead of `g++'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0