September 2004 - PPL-devel - BUGSENG Mailman

ppl/src minimize.cc
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:15:26 Modified files: src : minimize.cc Log message: Small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron_public.cc
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:10:19 Modified files: src : Polyhedron_public.cc Log message: In Polyhedron::generators(), we no longer insist in returning a sorted system of generators in the case of a closed polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-19 08:06:51 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Use the new constructor C_Polyhedron::C_Polyhedron(const NNC_Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Enea Zaffanella 19 Sep '04

19 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-09-19 00:43:33 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Added some comments to explain what we are doing. Enahnced the function write_polyehdron() to also apply to Polka and PolyLib polyhedra objects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 18 Sep '04

18 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-18 16:49:26 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: With Polka, do not try to print the "frames" of an empty polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 18 Sep '04

18 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-18 16:41:45 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: Increase the magic parameter of polka_initialize() to 25000: with 22500 Polka 2.0.2 dies on mit31-20.ine with the error "Chernikova: out of table space". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/demos/ppl_lcdd Makefile.am ppl_lcdd.cc
by Roberto Bagnara 18 Sep '04

18 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-18 16:05:11 Modified files: demos/ppl_lcdd : Makefile.am ppl_lcdd.cc Log message: A first, rough attempt at obtaining an `lcdd' clone that works also with (New) Polka and PolyLib. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl ./TODO interfaces/Prolog/ppl_prolog.icc in ...
by Roberto Bagnara 17 Sep '04

17 Sep '04

1 0

ppl ./NEWS interfaces/C/ppl_c.cc interfaces/C/ ...
by Roberto Bagnara 17 Sep '04

17 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-17 15:38:11 Modified files: . : NEWS interfaces/C : ppl_c.cc ppl_c.h.in Log message: Functions in the C interface that compute (space) dimensions no longer return their result. The caller is now required to pass, as an extra argument, a pointer to a memory area where the result will be written. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/interfaces/C ppl_c.cc ppl_c.h.in
by Roberto Bagnara 17 Sep '04

17 Sep '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-09-17 15:14:26 Modified files: interfaces/C : ppl_c.cc ppl_c.h.in Log message: New function int ppl_Polyhedron_dimension(ppl_const_Polyhedron_t ph). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0