August 2004 - PPL-devel - BUGSENG Mailman

ppl README
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 16:44:09 Modified files: . : README Log message: Ready for the release of PPL 0.6.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&only_…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-20 16:41:21 Modified files: doc : definitions.dox Log message: A couple of corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-20 16:34:51 Modified files: doc : definitions.dox Log message: Added a section on certificate-based widenings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 16:12:33 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Corrected two comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

ppl/demos ppl_lcdd/ppl_lcdd.cc ppl_lpsol/ppl_l ...
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-20 15:59:05 Modified files: demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c Log message: Do not try to use RLIMIT_AS unless the configure script has determined its availability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos ppl_lcdd/ppl_lcdd.cc ppl_lpsol/ppl_l ...
by Roberto Bagnara 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-20 15:55:12 Modified files: demos/ppl_lcdd : ppl_lcdd.cc demos/ppl_lpsol: ppl_lpsol.c Log message: Do not try to use RLIMIT_AS unless the configure script has determined its availability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/doc definitions.dox
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 15:52:44 Modified files: doc : definitions.dox Log message: Some improvements for the section on polyhedra powersets. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-20 15:24:32 Modified files: doc : definitions.dox Log message: In the section about add_disjuct, \cS_1 ==> \cS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 15:17:19 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Update cross reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc definitions.dox ppl.sty
by Patricia Hill 20 Aug '04

20 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-20 15:14:39 Modified files: doc : definitions.dox ppl.sty Log message: Added a short (incomplete) section on the polyhedral powerset domain and revised the description of the generic powerset meet operation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0