November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 17:12:23 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Changed the split marker to %<--%<--%<-- Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

[Fwd: Re: PPL and integer programming]
by Roberto Bagnara 15 Nov '06

15 Nov '06

To PPL developers: if you want to take a look at the paper on malware detection, just let me know. Roberto -------- Original Message -------- Subject: Re: PPL and integer programming Date: Wed, 15 Nov 2006 16:26:47 +0100 From: Andy Moser <andy(a)seclab.tuwien.ac.at> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <1162931323.29615.6.camel(a)localhost.localdomain> <4550EEAC.8040003(a)cs.unipr.it> <1162978729.16401.6.camel(a)localhost.localdomain> <45541C92.4010702(a)cs.unipr.it> Hi Roberto, Thanks a lot for providing the snapshot! We had no problems whatsoever using the new version. The only small bug that occurred was that when we called is_feasible() or solve() on an empty instance (e.g., no variables, no constraints) of an MIP_Problem class, we got the following error: what(): PPL::Variable::Variable(i): i exceeds the maximum allowed variable identifier. Apart from that, everything worked really well and we could finish our application and the paper. If you are interested in the results, I attached a copy for you. Thanks again for your cooperation! Ciao, Andy -- 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/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 16:49:54 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Add the recycle pattern to the procedure that builds from a recycled representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

ppl/interfaces/Java jni/ppl_java_C_Polyhedron. ...
by Andrea Cimino 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-15 16:23:08 Modified files: interfaces/Java/jni: ppl_java_C_Polyhedron.cc ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Polyhedron.java Log message: Fixed a C_Polyhedron constructor. Added the infractructure for handling the exceptions. Defined and implemented the native methods `swap(Polyhedron)' and `OK(boolean)'. 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/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
by Elena Mazzi 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-15 16:11:32 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Polyhedron.defs.hh Polyhedron_nonpublic.cc Log message: Used consistent parameter's name for max_min(), maximize() and minimize(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 15:35:36 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added the recycle argument to the build from a representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-15 15:33:52 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Add a replacement for the extra recycle argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-15 15:24:42 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Do recycle data structures when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/utils Makefile.am cm_cleaner.sh cm_splitter.sh
by Roberto Bagnara 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-15 15:21:41 Modified files: utils : Makefile.am Added files: utils : cm_cleaner.sh cm_splitter.sh Log message: cm_splitter.sh splits stdin according to cutting markers. cm_cleaner.sh erases all files listed in the cutting markers found on stdin. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_cleaner.sh?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/cm_splitter.sh?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroo…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Enea Zaffanella 15 Nov '06

15 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-15 15:20:39 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Do recycle data structures when possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0