- PPL-devel - BUGSENG Mailman

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

ppl/Watchdog Watchdog.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 10:56:46 Modified files: Watchdog : Watchdog.cc Log message: Throw std::runtime_error instead of calling abort(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl/Watchdog Watchdog.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 10:52:56 Modified files: Watchdog : Watchdog.inlines.hh Log message: Throw std::invalid_argument if a Watchdog constructor is called with a non-positive number of time units. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.…

1 0

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

06 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-06 18:07:58 Modified files: src : Polyhedron.cc Log message: Added preprocessing flag BHRZ03_EP_DELAY_INTERSECTION, enabling a different implementation of the evolving points technique to be experimented with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0