March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 21:04:52 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: New function ppl_Polyhedron_BHRZ03_widening_assign_with_tokens(). Some hyperlinks added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl config.h.in
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 20:52:26 Modified files: . : config.h.in Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&…

1 0

ppl configure.ac
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 20:50:37 Modified files: . : configure.ac Log message: Check whether the C compiler supports the `inline' keyword. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl ./TODO src/Interval.defs.hh
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 19:29:23 Modified files: . : TODO src : Interval.defs.hh Log message: The Interval class has been documented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.39… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 19:28:12 Modified files: src : Polyhedron.defs.hh Log message: Polyhedron::OK() only prints something if run-time assertions are enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl ./TODO src/Polyhedron.types.hh
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 11:53:54 Modified files: . : TODO src : Polyhedron.types.hh Log message: Explained PPL's I/O operators and how to deal with the IO_Operators namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.38… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?…

1 0

ppl TODO
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 08:49:10 Modified files: . : TODO Log message: It should now be clear how to build the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.37…

1 0

w3ppl/htdocs Documentation/Documentation.raw D ...
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 08:43:25 Modified files: htdocs/Documentation: Documentation.raw htdocs/Download: Download.raw Log message: Integrate the information on how to build the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl configure.ac
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 08:21:05 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/tests adddimensions13.cc
by Roberto Bagnara 09 Mar '03

09 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-09 08:20:27 Modified files: tests : adddimensions13.cc Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/adddimensions13.cc.diff…

1 0