April 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.cc ppl_c.h
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 07:51:29 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Stick to the C89 standard. 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 TODO
by Roberto Bagnara 26 Apr '03

26 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-26 07:33:52 Modified files: . : TODO Log message: We must announce widening with tokens in the NEWS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.50…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 25 Apr '03

25 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-25 21:56:29 Modified files: src : algorithms.hh Log message: Changes made elsewhere (removal of the comparison operators over polyhedra and introduction of widenings with tokens) now reflected here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 25 Apr '03

25 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-25 21:10:46 Modified files: . : TODO Log message: All the functionalities are available in all interfaces. The documentation for Polyhedron::map_dimensions() and its wrappers for all the interfaces is OK. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.49…

1 0

ppl ./NEWS ./TODO doc/definitions.dox interfac ...
by Roberto Bagnara 24 Apr '03

24 Apr '03

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 23 Apr '03

23 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-04-23 14:39:44 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Improved grammar specification for Prolog interface. Amended remap test so that it does not refer to unused (singleton) variable D. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src conversion.cc minimize.cc simplify.cc
by Roberto Bagnara 22 Apr '03

22 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-22 18:54:14 Modified files: src : conversion.cc minimize.cc simplify.cc Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

[Fwd: [ xsb-Bugs-585031 ] Segfault consulting very simple program]
by Roberto Bagnara 22 Apr '03

22 Apr '03

Hi there, apparently, the bug in XSB that affected our encoding of PPL variables in Prolog has been fixed. It took 9 months though ;-) Cheers Roberto -------- Original Message -------- Subject: [ xsb-Bugs-585031 ] Segfault consulting very simple program Date: Mon, 21 Apr 2003 09:00:49 -0700 From: SourceForge.net <noreply(a)sourceforge.net> To: noreply(a)sourceforge.net Bugs item #585031, was opened at 2002-07-22 17:39 Message generated for change (Settings changed) made by lfcastro You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_i… Category: Compiler Group: Core Dump >Status: Closed >Resolution: Fixed Priority: 5 Submitted By: Roberto Bagnara (bagnara) >Assigned to: Luis Castro (lfcastro) Summary: Segfault consulting very simple program Initial Comment: Consulting the file bug.P results in a segmentation fault: $ cat bug.P p :- A = '$VAR'(0). $ xsb [xsb_configuration loaded] [sysinitrc loaded] [packaging loaded] XSB Version 2.5 (Okocim) of March 11, 2002 [i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; scheduling: local] | ?- consult(bug). [Compiling ./bug] ++Memory violation occurred during evaluation. ++Please report this problem using the XSB bug tracking system accessible from ++ http://sourceforge.net/projects/xsb ++Please supply the steps necessary to reproduce the bug. Exiting XSB abnormally... $ ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_i… -- 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/src Polyhedron_chdims.cc Polyhedron_nonpub ...
by Roberto Bagnara 22 Apr '03

22 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-22 08:29:55 Modified files: src : Polyhedron_chdims.cc Polyhedron_nonpublic.cc Polyhedron_public.cc Polyhedron_widenings.cc Log message: Consistently use `space_dim' instead of `space_dimension()' from within the Polyhedron class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc.d…

1 0

ppl/src Matrix.cc Matrix.inlines.hh Row.cc Row ...
by Roberto Bagnara 22 Apr '03

22 Apr '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-04-22 08:28:51 Modified files: src : Matrix.cc Matrix.inlines.hh Row.cc Row.inlines.hh Log message: Declare variables `const' whenever possible or desirable. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsro…

1 0