November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-12 12:33:25 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Makefile.am Polyhedron.java Added files: interfaces/Java/ppl_java: Poly_Gen_Relation.java Log message: Added the class Poly_Gen_Relation. Implemented the method Polyhedron::relation_with(Generator g). 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_… 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/ppl_java/Poly… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src compiler.hh
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-12 12:10:06 Modified files: src : compiler.hh Log message: Comments revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/src compiler.hh
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-12 12:08:35 Modified files: src : compiler.hh Log message: Added new macros for per-class constants that need no further definition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-12 11:57:02 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Makefile.am Polyhedron.java Added files: interfaces/Java/ppl_java: Poly_Con_Relation.java Log message: Added the class Poly_Con_Relation. Implemented the method Polyhedron::relation_with(Constraint c). 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_… 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/ppl_java/Poly… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/Prolog/XSB expected_pchk_int8_a
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-12 11:08:26 Modified files: interfaces/Prolog/XSB: expected_pchk_int8_a Log message: Reflect recent changes in the Prolog tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl/interfaces/Prolog/tests expected_pchk_int8_a
by Roberto Bagnara 12 Nov '06

12 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-12 11:04:54 Modified files: interfaces/Prolog/tests: expected_pchk_int8_a Log message: Reflect recent changes in the Prolog tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/expec…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 11 Nov '06

11 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-11 22:23:53 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Bugs in test code fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src compiler.hh
by Roberto Bagnara 11 Nov '06

11 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-11 21:29:13 Modified files: src : compiler.hh Log message: COMPILE_TIME_CHECK macro added, as well as several comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl TODO
by Roberto Bagnara 11 Nov '06

11 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-11 18:19:23 Modified files: . : TODO Log message: Added a new item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.20…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 11 Nov '06

11 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-11 15:27:40 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Polyhedron.java Log message: Now the PPL can return to Java objects like generators, constraints and congruences and their systems. Written a lot of native methods that return objects built by the PPL. 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_… 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/ppl_java/Poly…

1 0