April 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.inlines.hh
by Roberto Bagnara 28 Apr '02

28 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-28 22:29:53 Modified files: src : Polyhedron.inlines.hh Log message: Formatting change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

w3ppl/htdocs/Documentation ppl.bib mirror/Halb ...
by Roberto Bagnara 28 Apr '02

28 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-28 20:45:47 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation/mirror: HalbwachsKP95.ps.gz Log message: HalbwachsKP95 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

(About to be) Obsolete gcc options
by Roberto Bagnara 28 Apr '02

28 Apr '02

Hi there, in the forthcoming release of gcc (3.1 due to be out in a few days) some compilation options are being obsoleted. Until the subsequent release this will only cause warnings, but these may end up annoying SICStus users. I hope this helps. Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it splfr -S /home/roberto/ppl/ppl/interfaces/Prolog/SICStus/ppl_sicstus.pl ppl_sicstus.o SICStus 3.9.0 (x86-linux-glibc2.2): Tue Feb 12 17:05:25 CET 2002 Licensed to math.unipr.it % ppl_sicstus_glue_6211_1019976255.c generated, 0 msec % ppl_sicstus_glue.h generated, 0 msec cc1: warning: -malign-loops is obsolete, use -falign-loops cc1: warning: -malign-jumps is obsolete, use -falign-jumps cc1: warning: -malign-functions is obsolete, use -falign-functions

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 26 Apr '02

26 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-04-26 08:45:30 Modified files: htdocs/Documentation: ppl.bib Log message: Corrected entry of LeVerge92, so as to consider "Le" as part of the family name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib mirror/LeVe ...
by Roberto Bagnara 25 Apr '02

25 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-25 21:50:50 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation/mirror: LeVergeVDW94.ps.gz Log message: LeVergeVDW94 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/mirror…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 25 Apr '02

25 Apr '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-04-25 15:00:00 Modified files: htdocs/Documentation: ppl.bib Log message: Loechner99 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 24 Apr '02

24 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-04-24 21:49:04 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Fixed two declarations of std::ostringstream's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl src/Polyhedron.inlines.hh tests/boundingbo ...
by Patricia Hill 20 Apr '02

20 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-20 22:52:41 Modified files: src : Polyhedron.inlines.hh tests : boundingbox1.cc Log message: shrink_bounding_box now works for NNC polyhedra defined both with and without strict inequalites. The test file boundingbox1.cc has been also updated to deal with NNC polyhedra. Extra tests have been added to check the changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox1.cc.diff?cv…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 17:20:40 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Now including the closure points in the list of generators is ok when creating new polyhedra from lists of generators in the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog ppl_prolog.icc GNU/ppl_g ...
by Patricia Hill 19 Apr '02

19 Apr '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-04-19 16:23:52 Modified files: interfaces/Prolog: ppl_prolog.icc interfaces/Prolog/GNU: ppl_gprolog.pl Log message: Predicates for GNU Prolog brought in line with the Prolog interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0