November 2006 - PPL-devel - BUGSENG Mailman

ppl src/BD_Shape.templates.hh tests/BD_Shape/M ...
by Elena Mazzi 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-08 17:44:26 Modified files: src : BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : max_min2.cc Log message: Corrected the method max_min() and added some tests on it. Patches: 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/tests/BD_Shape/max_min2.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/interfaces/Prolog/Ciao Makefile.am
by Roberto Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-08 16:37:27 Modified files: interfaces/Prolog/Ciao: Makefile.am Log message: ppl_ciao.cc is not built. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefi…

1 0

ppl/src BD_Shape.templates.hh Octagonal_Shape. ...
by Enea Zaffanella 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-08 16:35:04 Modified files: src : BD_Shape.templates.hh Octagonal_Shape.templates.hh Polyhedron_public.cc Log message: (Generalized) Affine (pre-) image methods changed so as to throw an exception when the relation symbol is NOT_EQUAL. Switchs on Relation_Symbol changed to take into proper account the new value. Patches: 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.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-08 16:07:25 Modified files: src : Box.templates.hh Log message: Method OK() now also checks that a box declared to be (non) empty is actually (non) empty. Typo fixed in is_topologically_closed(). Added implementation for method is_discrete(). Do check for emptyness in method is_bounded(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-08 16:06:37 Modified files: src : Any_Pointset.defs.hh Log message: More methods activated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/interfaces Makefile.am
by Roberto Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-08 15:56:33 Modified files: interfaces : Makefile.am Log message: Java directory activated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces/Java/tests C_Polyhedron_test1.java
by Andrea Cimino 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-08 15:33:36 Modified files: interfaces/Java/tests: C_Polyhedron_test1.java Log message: Added some new calls to the test reflecting the last changes to the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/C_Polyh…

1 0

Re: [PPL-devel] PPL and integer programming
by Roberto Bagnara 08 Nov '06

08 Nov '06

Andy Moser wrote: > Hi Roberto, > >> we are working on it. We need to solve a few packaging problems and make >> sure the snapshot passes all the safety checks. Which platform are you >> using? Which version of which compiler? If your configuration is similar >> enough to ours, we count on having a snapshot ready for you by Friday. > > That would be great!! Right now I'm using Ubuntu Linux 6.10 and gcc > version 3.4. Do you think this is similar enough? :) > > Thanks a lot! > > Regards, > Andy > > > andy@quiksilver:~/workspace/qemu$ gcc-3.4 --version > gcc-3.4 (GCC) 3.4.6 (Ubuntu 3.4.6-3ubuntu1) Hmm, I am not sure your version of GCC is recent enough to compile a snapshot of PPL 0.10. While we are working on the snapshot release, I suggest you install GCC 4.1.1 somewhere on your machine, just in case 3.4.6 does not work. -- 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/src Box.templates.hh
by Enea Zaffanella 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2006-11-08 15:28:23 Modified files: src : Box.templates.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl configure.ac
by Roberto Bagnara 08 Nov '06

08 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-08 15:28:00 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0