February 2003 - PPL-devel - BUGSENG Mailman

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

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:25:12 Modified files: src : Polyhedron.cc Log message: Commit to BHRZ03_ER_CWQ=1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

w3ppl/htdocs/Documentation ppl.bib mirror/Henz ...
by Roberto Bagnara 09 Feb '03

09 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-09 18:39:14 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation/mirror: HenzingerH95.ps.gz HenzingerPW01.ps.gz Log message: Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

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

09 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-09 18:34:21 Modified files: src : Polyhedron.cc Log message: New candidate techniques for the implementation of BRHZ03. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-07 20:36:58 Modified files: src : Polyhedron.cc Log message: Let an assertion in select_H79_constraints be satisfied. 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 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-07 17:05:39 Modified files: src : Polyhedron.cc Log message: Unreachable statements removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-07 17:04:52 Modified files: src : Polyhedron.inlines.hh Log message: Make sure inline functions are defined before being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 07 Feb '03

07 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-07 11:44:56 Modified files: src : Polyhedron.cc Log message: Added new preproc flag BHRZ03_EP_P1_P2 to be experimented with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0