- PPL-devel - BUGSENG Mailman

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-21 16:09:33 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: In the documentation, added explanation for the BHRZ03 widening and the widening with tokens technique. Broken <a name=...> links replaced by \ref and \anchor. 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/src/Polyhedron.defs.hh.diff?c…

1 0

ppl ltmain.sh
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 11:55:41 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 configure.ac
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 11:51:37 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-21 10:12:10 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: The widening-with-tokens delay technique is now also available for the standard widening as well as the ``limited'' and ``bounded'' variants. 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

ppl TODO
by Patricia Hill 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-02-21 09:28:20 Modified files: . : TODO Log message: Items dealt with removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.29…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 21 Feb '03

21 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-02-21 09:22:03 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Prolog_interface.dox: Added simple descriptions for the timeout predicates. Atom added to the syntax of the language specification. pl_check.pl Several small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

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:25:20 Modified files: htdocs/Download: requirements.raw Log message: We have tested the library also on a DEC Alpha AXP running DEC OSF/1 V4.0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

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