November 2004 - PPL-devel - BUGSENG Mailman

ppl/demos/ppl_lcdd Makefile.am
by Roberto Bagnara 04 Nov '04

04 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-04 13:11:44 Modified files: demos/ppl_lcdd : Makefile.am Log message: Distribute the expected_* files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/Makefile.am.di…

1 0

ppl ./TODO doc/definitions.dox doc/ppl.sty int ...
by Enea Zaffanella 04 Nov '04

04 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-04 10:45:55 Modified files: . : TODO doc : definitions.dox ppl.sty interfaces/Prolog: Prolog_interface.dox Log message: Explained the order of arguments in widening applications. Better explained the reason for having C_Polyhedron and NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10… 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/doc/ppl.sty.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/tests exceptions3.cc
by Enea Zaffanella 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-02 17:47:53 Modified files: tests : exceptions3.cc Log message: Checking the detection of space dimension overflows in methods changing teh dimension of a polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions3.cc.diff?cvs…

1 0

ppl/tests maxspacedim1.cc
by Enea Zaffanella 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-02 17:46:46 Modified files: tests : maxspacedim1.cc Log message: Testing the max_space_dimension() methods on Constraint and Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/maxspacedim1.cc.diff?cv…

1 0

ppl/src Polyhedron_chdims.cc
by Enea Zaffanella 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-02 17:45:50 Modified files: src : Polyhedron_chdims.cc Log message: Corrected exception message. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/src Constraint.defs.hh Constraint.inlines. ...
by Enea Zaffanella 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-11-02 17:42:36 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh Log message: Added static method max_space_dimension() to classes Constraint and Generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

ppl/src Native_Integer.inlines.hh
by Roberto Bagnara 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-02 15:51:28 Modified files: src : Native_Integer.inlines.hh Log message: Added several constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Native_Integer.inlines.hh…

1 0

ppl/tests affineimage9.cc
by Roberto Bagnara 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-02 15:11:11 Modified files: tests : affineimage9.cc Log message: A spurious dot resulted into an unknown floating point constant: fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/affineimage9.cc.diff?cv…

1 0

ppl/src checked_int.inlines.hh
by Roberto Bagnara 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-11-02 15:07:26 Modified files: src : checked_int.inlines.hh Log message: Include <cstdlib> for strtol(), strtoul(), strtoll() and strtoull(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

w3ppl/htdocs news.raw
by Roberto Bagnara 02 Nov '04

02 Nov '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-11-02 15:06:02 Modified files: htdocs : news.raw Log message: Leeds PPL position advert added to the news archive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0