October 2005 - PPL-devel - BUGSENG Mailman

ppl configure.ac
by Roberto Bagnara 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-03 18:46:36 Modified files: . : configure.ac Log message: Revised the URI for the Perl directory at perl.org. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests Random_Number_Generator.inlines.hh
by Matthew Mundell 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-03 18:11:02 Modified files: tests : Random_Number_Generator.inlines.hh Log message: In method get "use" parameter info, and assign the generated number with operator= (via a temporary) instead of with method assign (as operator= is present in Native_Integer). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator…

1 0

ppl/tests/BD_Shape Makefile.am bhz03widening1.cc
by Enea Zaffanella 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-03 12:42:26 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : bhz03widening1.cc Log message: Added a new test for the first implementation of a certificate-based widening on a powerset of BD_Shape's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bhz03widening1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

2 1

ppl/tests/BD_Shape bgp99extrapolation1.cc
by Enea Zaffanella 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-03 14:02:03 Added files: tests/BD_Shape : bgp99extrapolation1.cc Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bgp99extrapola…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Enea Zaffanella 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-03 12:40:20 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Added methods difference_assign() and strictly_contains(), that are required when instantiating Polyhedra_Powerset<BD_Shape> and using the BHZ03 widening. Widening methods now have a dummy token argument (not used yet). Removed unreasonable inline directives from too complex class template member implementations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src H79_Certificate.defs.hh H79_Certificat ...
by Enea Zaffanella 03 Oct '05

03 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-10-03 12:33:09 Modified files: src : H79_Certificate.defs.hh H79_Certificate.inlines.hh Log message: Added constructor template and comparison member template, so as to provide a dummy (but working) certificate implementation for all classes PH providing method PH::constraints() (e.g., BD_Shape). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.h…

1 0

ppl/src BD_Shape.inlines.hh
by Roberto Bagnara 02 Oct '05

02 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-10-02 20:30:48 Modified files: src : BD_Shape.inlines.hh Log message: Added a missing const qualifier and revised a comment in BD_Shape<T>::init(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl src/Makefile.am Watchdog/src/Makefile.am
by Roberto Bagnara 02 Oct '05

02 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-02 14:49:40 Modified files: src : Makefile.am Watchdog/src : Makefile.am Log message: Definition of BUILT_SOURCES revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/src/Makefile.am.diff…

1 0

ppl configure.ac
by Roberto Bagnara 02 Oct '05

02 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-02 12:57:30 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 ./config.guess Watchdog/config.guess
by Roberto Bagnara 02 Oct '05

02 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-02 11:17:48 Modified files: . : config.guess Watchdog : config.guess Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.guess.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/config.guess.diff?cv…

1 0