- PPL-devel - BUGSENG Mailman

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

ppl/tests bhrz03widening15.cc bhrz03widening6. ...
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:21:31 Modified files: tests : bhrz03widening15.cc bhrz03widening6.cc bhrz03widening7.cc Log message: Expected results fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening15.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening6.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening7.cc.diff…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 11 Feb '03

11 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-11 11:29:11 Modified files: src : Polyhedron.cc Log message: Commit to BHRZ03_AC_CHECKS_H79_BOUNDARY=1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 11 Feb '03

11 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-11 11:26:53 Modified files: src : Polyhedron.cc Log message: Commit to BHRZ03_AC_IS_SUM=1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0