October 2001 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Elisa Ricci 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-19 09:57:47 Modified files: doc : definitions.dox Log message: Some mathematical changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

Am I using m4_patsubst and m4_regexp?
by Roberto Bagnara 19 Oct '01

19 Oct '01

Hi there, I have switched to the latest autoconf snapshot (2.52e, cvs-updated today) and have tried hard to follow all the instructions for the upgrade. I believe I am no longer using any deprecated feature, but I get $ autoreconf configure.ac:21: warning: do not use m4_patsubst: use patsubst or m4_bpatsubst configure.ac:312: warning: do not use m4_regexp: use regexp or m4_bregexp autoheader: `config.h.in' is unchanged Line 21 in configure.ac reads AM_CONFIG_HEADER(config.h) while line 312 is the last one in the following invocation of AC_OUTPUT: AC_OUTPUT(Makefile src/Makefile src/BitSet/Makefile src/Integer/Makefile tests/Makefile m4/Makefile doc/Makefile doc/user-browse.doxyconf-latex doc/devref-browse.doxyconf-latex doc/user-print.doxyconf-latex doc/devref-print.doxyconf-latex doc/user.doxyconf-html doc/devref.doxyconf-html ppl.lsm ppl.spec) What am I missing? Thanks a lot, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 3

w3ppl/htdocs/Download Download.raw requirement ...
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 09:46:06 Modified files: htdocs/Download: Download.raw Added files: htdocs/Download: requirements.raw Log message: Requirements and portability issues are now on a separate page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 09:44:31 Modified files: htdocs : ppl.raw Log message: Do mention where the widenings come from. Added a point about user friendliness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl config.h.in configure.ac
by Roberto Bagnara 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-19 09:42:05 Modified files: . : config.h.in configure.ac Log message: Add checks to determine the size of ints and longs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.h.in.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Polyhedron.defs.hh
by Patricia Hill 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-19 09:06:06 Modified files: src : Polyhedron.defs.hh Log message: Examples 4 to 7 simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.defs.hh Variable.defs.hh
by Patricia Hill 19 Oct '01

19 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-10-19 08:56:14 Modified files: src : Polyhedron.defs.hh Variable.defs.hh Log message: Changes to English. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

Polyhedron insert examples
by P M Hill 19 Oct '01

19 Oct '01

Hi, In Polyhedron.defs.hh, there are examples for various methods that require a polyhedron to be built before the method can be illustrated. However, they all use ConSys and GenSys to build the polyhedron when it is simpler to use the Polyhedron insert method: EG \par Example 4 The following code shows the use of the function <CODE>add_dimensions_and_embed</CODE>: \code ConSys cs; cs.insert(x == 2); Polyhedron ph(cs); ph.add_dimensions_and_embed(1); \endcode could illustrate the same point with: \par Example 4 The following code shows the use of the function <CODE>add_dimensions_and_embed</CODE>: \code Polyhedron ph; ph.insert(x == 2); ph.add_dimensions_and_embed(1); \endcode right? The same applies to examples 5, 6, 7 and 8. ciao, Pat

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-10-18 18:58:50 Modified files: htdocs : ppl.raw Log message: Rewording suggested by Pat. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh Polyh ...
by Elisa Ricci 18 Oct '01

18 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-18 18:51:23 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: In function add_dimensions_and_embed and add_dimensions_and_project the case of "add_dim" = 0 and the case of the empty polyhedron are considered. In functions add_constraints, add_constraints_lazy, add_generators, generators and constraints instead of some assertion some exceptions are added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0