February 2003 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 08:21:06 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: In Polyhedron::BHRZ03_widening_assign(), pass the number of tokens as `unsigned', not `long'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 08:09:22 Modified files: htdocs/Download: requirements.raw Log message: New version of Automake. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

w3ppl/htdocs/About About.raw
by Roberto Bagnara 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-21 08:08:04 Modified files: htdocs/About : About.raw Log message: Link for WPP updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

ppl/src Init.cc Polyhedron.cc Polyhedron.defs. ...
by Enea Zaffanella 20 Feb '03

20 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-20 16:30:57 Modified files: src : Init.cc Polyhedron.cc Polyhedron.defs.hh globals.hh Log message: The averaging_constraints technique is now called combining_constraints. Added optional pointer argument to BHRZ03_widening_assign to implement the ``widening-with-tokens'' technique. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… 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/globals.hh.diff?cvsroot=p…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 19 Feb '03

19 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-19 09:59:34 Modified files: htdocs/Download: requirements.raw Log message: The PPL passes `make check' also under Cygwin. Links to free software added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl/interfaces/Prolog track_allocation.hh
by Roberto Bagnara 19 Feb '03

19 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-19 09:08:16 Modified files: interfaces/Prolog: track_allocation.hh Log message: Declaration fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloc…

1 0

w3ppl/htdocs/Documentation bibliography.raw
by Roberto Bagnara 18 Feb '03

18 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-18 17:11:57 Modified files: htdocs/Documentation: bibliography.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 18 Feb '03

18 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-18 17:10:57 Modified files: htdocs/Download: requirements.raw Log message: HTML glitch fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 18 Feb '03

18 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-18 17:09:01 Modified files: htdocs/Download: requirements.raw Log message: New portability information added. Requirements for user and developers updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl ltmain.sh
by Roberto Bagnara 16 Feb '03

16 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-16 14:22:46 Modified files: . : ltmain.sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0