October 2008 - PPL-devel - BUGSENG Mailman

ppl README.configure
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 17:50:15 Modified files: . : README.configure Log message: Written the section on "Configuring for Debugging". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

Re: [PPL-devel] Bug#499746: ppl ftbfs on arm
by Roberto Bagnara 19 Oct '08

19 Oct '08

Arthur Loiret wrote: > reopen 499746 > found 499746 0.10~pre34-1 > thanks > > Still fails to build. The PPL 0.10pre35 snapshot, available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ should fix this problem. Please let us know how it goes. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/doc definitions.dox
by Enea Zaffanella 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-19 16:20:21 Modified files: doc : definitions.dox Log message: Some improvements in the specification of syntactic GDs: 1) the generic ones are those that are supported (maybe minimally) by all semantic GDs; the specific ones are not supported at all by some semantic GDs; 2) listed subclasses of generic GDs (constraints and congruences): explained that each semantic GD "optimally supports" some of these subclasses; for optimally supported subclasses, no exception is thrown and a best approximation semantics is obtained; for the non-optimally supported ones, exceptions or coarse approximations may be obtained. 3) noted that the best approximation property applies to single constraints or congruences, not to their systems. Other changes: - not all OK methods support the optional Boolean argument; - improved explanation of conversion operators with a computational complexity argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl README.configure
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 16:05:43 Modified files: . : README.configure Log message: Added a forward reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl CREDITS
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 15:59:19 Modified files: . : CREDITS Log message: Express gratitude to ESIEE, Thibaut Varène, and the PA-RISC Linux community. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl CREDITS
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 15:39:13 Modified files: . : CREDITS Log message: One link added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl CREDITS
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 15:32:33 Modified files: . : CREDITS Log message: Express gratitude to the GCC Compile Farm Project, FSF France, and Laurent Guerby. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl configure.ac
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 14:57:06 Modified files: . : configure.ac Log message: The header files of GLPK cannot be trusted: do check for the presence of declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 14:31:18 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Previous commit completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Roberto Bagnara 19 Oct '08

19 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-19 14:30:12 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Fixed the guard controlling the definition of glpk_message_interceptor(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0