August 2004 - PPL-devel - BUGSENG Mailman

ppl/tests bhz03widening4.cc bhz03widening5.cc
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 09:52:41 Modified files: tests : bhz03widening4.cc bhz03widening5.cc Log message: Exploiting helper functions widen_fun(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening4.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening5.cc.diff?…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 09:50:20 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Exploiting helper function widen_fun(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src GenSys.cc Polyhedron.types.hh Polyhedr ...
by Patricia Hill 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-18 09:48:22 Modified files: src : GenSys.cc Polyhedron.types.hh Polyhedron_widenings.cc conversion.cc simplify.cc Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl interfaces/C/ppl_c.cc interfaces/C/ppl_c.h ...
by Roberto Bagnara 18 Aug '04

18 Aug '04

1 0

ppl/src Widening_Function.defs.hh Widening_Fun ...
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 09:47:36 Modified files: src : Widening_Function.defs.hh Widening_Function.inlines.hh Log message: Added helper function widen_fun() to simplify the creation of widening function objects. Added brief documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines…

1 0

ppl/tests linearpartition2.cc linearpartition3.cc
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 09:25:29 Modified files: tests : linearpartition2.cc linearpartition3.cc Log message: Fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.cc.dif…

1 0

ppl/src AskTell.defs.hh ConSys.defs.hh Determi ...
by Patricia Hill 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-18 09:16:12 Modified files: src : AskTell.defs.hh ConSys.defs.hh Determinate.defs.hh GenSys.defs.hh Polyhedra_PowerSet.defs.hh Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/AskTell.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… 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.inlines.hh.dif…

1 0

ppl/tests linearpartition1.cc
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 08:48:16 Modified files: tests : linearpartition1.cc Log message: Fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition1.cc.dif…

1 0

ppl/src Widening_Function.inlines.hh
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 23:58:18 Modified files: src : Widening_Function.inlines.hh Log message: Limited_Widening_Function::operator() fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.inlines…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 23:26:55 Modified files: doc : Makefile.am Log message: Install documentation in text format. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0