June 2003 - PPL-devel - BUGSENG Mailman

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? All the best 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

2 5

[Fwd: Re: [PPL-devel] install bug]
by Roberto Bagnara 30 Jun '03

30 Jun '03

-------- Original Message -------- Subject: Re: [PPL-devel] install bug Date: 30 Jun 2003 14:57:22 +0100 From: Mark Poolman <mgpoolman(a)brookes.ac.uk> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <1056978922.15613.122.camel@sofa> <3F003E45.3050401(a)cs.unipr.it> On Mon, 2003-06-30 at 14:42, Roberto Bagnara wrote: > Dear Mark, > > while you have a version of GMP installed on your system, this version > has been built with the C++ interface enabled. Unfortunately, > distributors still tend to ship RPM packages for GMP with this problem, > regularly dismaying C++ programmers. You will thus have to build GMP > by yourself, using a configure command like > > /wherever/gmp-4.1.2/configure --prefix=/usr/local --enable-cxx > > (notice the `--enable-cxx', as recommended, in the error message above). Many thanks. I did notice the --enable-cxx but wasn't sure if it reffered to gmp or ppl. My fault entirely. Best wishes, Mark -- Dr. Mark Poolman Post Doctoral Researcher Metabolic Control Analysis Group School of Biology and Molecular Science Oxford Brookes University -- 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

install bug
by Mark Poolman 30 Jun '03

30 Jun '03

Greets, I'm having problems installing ppl 0.5 on a redhat 9 system. The configure script fails to detect the gmp library: ./configure . . . checking for the GMP library... no configure: error: Cannot find GMP version 4.1.2 or higher. GMP is the GNU Multi-Precision library: see http://www.swox.com/gmp/ for more information. Do not forget to enable the C++ interface: add --enable-cxx to the configuration options. However, gmp definitely is installed, and rebuilding a fresh version doesn't help: $rpm -qil gmp Name : gmp Relocations: (not relocateable) Version : 4.1.2 Vendor: (none) Release : 6.1 Build Date: Mon 30 Jun 2003 14:04:48 BST Install Date: Mon 30 Jun 2003 14:05:22 BST Build Host: nanook Group : System Environment/Libraries Source RPM: gmp-4.1.2-6.1.src.rpm Size : 289551 License: LGPL Signature : (none) URL : http://www.swox.com/gmp/ Summary : A GNU arbitrary precision library. Description : The gmp package contains GNU MP, a library for arbitrary precision arithmetic which operates on signed integers, rational numbers and floating point numbers. GNU MP is designed for speed, for both small and very large operands. GNU MP is fast because it uses fullwords as the basic arithmetic type, it uses fast algorithms, it carefully optimizes assembly code for many CPUs' most common inner loops, and generally emphasizes speed over simplicity/elegance in its operations. /usr/lib/libgmp.so.3 /usr/lib/libgmp.so.3.3.2 /usr/lib/libmp.so.3 /usr/lib/libmp.so.3.1.6 /usr/share/doc/gmp-4.1.2 /usr/share/doc/gmp-4.1.2/COPYING /usr/share/doc/gmp-4.1.2/NEWS /usr/share/doc/gmp-4.1.2/README The bizarre thing about this is that the .so vewrsion numbers do not correspond to the rpm version numbers, and I guess that this may be the cause of the problem and is more to do with gmp rather than ppl, but any advice offered will be gratefully recieved. TIA, Mark -- Dr. Mark Poolman Post Doctoral Researcher Metabolic Control Analysis Group School of Biology and Molecular Science Oxford Brookes University

2 2

w3ppl/htdocs news.raw ppl.raw Documentation/Do ...
by Roberto Bagnara 18 Jun '03

18 Jun '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-06-18 16:39:24 Modified files: htdocs : news.raw ppl.raw htdocs/Documentation: Documentation.raw Added files: htdocs/Documentation: PPL_Talk_SAS_2003.pdf PPL_Talk_SAS_2003.ps.gz Log message: The slides of the talk given at SAS'03 are now available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_widenings.cc
by Roberto Bagnara 17 Jun '03

17 Jun '03

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_lgo Changes by: roberto(a)cs.unipr.it 2003-06-17 23:26:31 Modified files: src : Polyhedron.defs.hh Polyhedron_widenings.cc Log message: Initial support for the "facing constraints" technique, as provided by Pat. 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/Polyhedron_widenings.cc.d…

1 0

ppl/src PowerSet.defs.hh
by Roberto Bagnara 17 Jun '03

17 Jun '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-06-17 23:23:27 Modified files: src : PowerSet.defs.hh Log message: Comments revised. Some cleaning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs…

1 0

CVS tag event: /cvs/ppl/ppl/tests
by Roberto Bagnara 12 Jun '03

12 Jun '03

Repository: /cvs/ppl/ppl/tests Tag: alt_lgo Operation: add Date: 2003-06-12 03:37:07 Tagged-By: roberto File: .cvsignore Revision: 1.7 File: BBox.cc Revision: 1.3 File: BBox.hh Revision: 1.2 File: CbecomesNNC1.cc Revision: 1.4 File: Makefile.am Revision: 1.180 File: NNCminimize1.cc Revision: 1.9 File: NNCminimize2.cc Revision: 1.9 File: NNCminimize3.cc Revision: 1.9 File: NNCminimize4.cc Revision: 1.11 File: NNCminimize5.cc Revision: 1.8 File: NNCminimize6.cc Revision: 1.10 File: PFunction.cc Revision: 1.2 File: PFunction.hh Revision: 1.2 File: addconstraint1.cc Revision: 1.4 File: addconstraint2.cc Revision: 1.3 File: addconstraint3.cc Revision: 1.3 File: addconstraints1.cc Revision: 1.10 File: addconstraints10.cc Revision: 1.9 File: addconstraints11.cc Revision: 1.10 File: addconstraints12.cc Revision: 1.3 File: addconstraints13.cc Revision: 1.5 File: addconstraints2.cc Revision: 1.18 File: addconstraints3.cc Revision: 1.8 File: addconstraints4.cc Revision: 1.10 File: addconstraints5.cc Revision: 1.11 File: addconstraints6.cc Revision: 1.12 File: addconstraints7.cc Revision: 1.11 File: addconstraints8.cc Revision: 1.11 File: addconstraints9.cc Revision: 1.12 File: adddimensions1.cc Revision: 1.13 File: adddimensions10.cc Revision: 1.6 File: adddimensions11.cc Revision: 1.4 File: adddimensions12.cc Revision: 1.3 File: adddimensions13.cc Revision: 1.2 File: adddimensions2.cc Revision: 1.9 File: adddimensions3.cc Revision: 1.11 File: adddimensions4.cc Revision: 1.9 File: adddimensions5.cc Revision: 1.7 File: adddimensions6.cc Revision: 1.7 File: adddimensions7.cc Revision: 1.7 File: adddimensions8.cc Revision: 1.5 File: adddimensions9.cc Revision: 1.6 File: addgenerator1.cc Revision: 1.4 File: addgenerator2.cc Revision: 1.4 File: addgenerator3.cc Revision: 1.3 File: addgenerator4.cc Revision: 1.4 File: addgenerators1.cc Revision: 1.11 File: addgenerators10.cc Revision: 1.3 File: addgenerators11.cc Revision: 1.5 File: addgenerators12.cc Revision: 1.5 File: addgenerators13.cc Revision: 1.1 File: addgenerators2.cc Revision: 1.11 File: addgenerators3.cc Revision: 1.11 File: addgenerators4.cc Revision: 1.11 File: addgenerators5.cc Revision: 1.11 File: addgenerators6.cc Revision: 1.11 File: addgenerators7.cc Revision: 1.8 File: addgenerators8.cc Revision: 1.6 File: addgenerators9.cc Revision: 1.5 File: affineimage1.cc Revision: 1.11 File: affineimage2.cc Revision: 1.10 File: affineimage3.cc Revision: 1.3 File: affineimage4.cc Revision: 1.3 File: affineimage5.cc Revision: 1.4 File: affineimage6.cc Revision: 1.3 File: affineimage7.cc Revision: 1.3 File: affineimage8.cc Revision: 1.7 File: affinepreimage1.cc Revision: 1.10 File: affinepreimage10.cc Revision: 1.7 File: affinepreimage2.cc Revision: 1.10 File: affinepreimage3.cc Revision: 1.10 File: affinepreimage4.cc Revision: 1.11 File: affinepreimage5.cc Revision: 1.3 File: affinepreimage6.cc Revision: 1.4 File: affinepreimage7.cc Revision: 1.3 File: affinepreimage8.cc Revision: 1.3 File: affinepreimage9.cc Revision: 1.4 File: affinetrans.cc Revision: 1.13 File: append1.cc Revision: 1.21 File: append2.cc Revision: 1.21 File: ascii_dump_load1.cc Revision: 1.12 File: ascii_dump_load2.cc Revision: 1.10 File: ascii_dump_load3.cc Revision: 1.13 File: ascii_dump_load4.cc Revision: 1.13 File: ascii_dump_load5.cc Revision: 1.9 File: ascii_dump_load6.cc Revision: 1.6 File: ascii_dump_load7.cc Revision: 1.6 File: bhrz03widening1.cc Revision: 1.3 File: bhrz03widening10.cc Revision: 1.3 File: bhrz03widening11.cc Revision: 1.3 File: bhrz03widening12.cc Revision: 1.3 File: bhrz03widening13.cc Revision: 1.3 File: bhrz03widening14.cc Revision: 1.3 File: bhrz03widening15.cc Revision: 1.5 File: bhrz03widening16.cc Revision: 1.3 File: bhrz03widening17.cc Revision: 1.3 File: bhrz03widening18.cc Revision: 1.3 File: bhrz03widening19.cc Revision: 1.3 File: bhrz03widening2.cc Revision: 1.5 File: bhrz03widening3.cc Revision: 1.5 File: bhrz03widening4.cc Revision: 1.3 File: bhrz03widening5.cc Revision: 1.3 File: bhrz03widening6.cc Revision: 1.4 File: bhrz03widening7.cc Revision: 1.4 File: bhrz03widening8.cc Revision: 1.3 File: bhrz03widening9.cc Revision: 1.5 File: bounded1.cc Revision: 1.12 File: boundingbox1.cc Revision: 1.32 File: boundingbox2.cc Revision: 1.17 File: boundingbox3.cc Revision: 1.8 File: boundingbox4.cc Revision: 1.5 File: bounds1.cc Revision: 1.5 File: bounds2.cc Revision: 1.5 File: concatenate1.cc Revision: 1.7 File: concatenate2.cc Revision: 1.7 File: concatenate3.cc Revision: 1.6 File: concatenate4.cc Revision: 1.5 File: concatenate5.cc Revision: 1.3 File: concatenate6.cc Revision: 1.5 File: constraints1.cc Revision: 1.5 File: constraints2.cc Revision: 1.5 File: constraints3.cc Revision: 1.5 File: constraints4.cc Revision: 1.5 File: contains1.cc Revision: 1.4 File: contains2.cc Revision: 1.1 File: contains3.cc Revision: 1.1 File: contains4.cc Revision: 1.1 File: contains5.cc Revision: 1.1 File: disjoint1.cc Revision: 1.6 File: disjoint2.cc Revision: 1.7 File: disjoint3.cc Revision: 1.6 File: ehandlers.cc Revision: 1.4 File: ehandlers.hh Revision: 1.7 File: empty1.cc Revision: 1.13 File: exceptions1.cc Revision: 1.34 File: exceptions2.cc Revision: 1.28 File: files.cc Revision: 1.4 File: files.hh Revision: 1.4 File: generalizedaffineimage1.cc Revision: 1.7 File: generalizedaffineimage10.cc Revision: 1.6 File: generalizedaffineimage11.cc Revision: 1.5 File: generalizedaffineimage12.cc Revision: 1.4 File: generalizedaffineimage2.cc Revision: 1.6 File: generalizedaffineimage3.cc Revision: 1.7 File: generalizedaffineimage4.cc Revision: 1.5 File: generalizedaffineimage5.cc Revision: 1.5 File: generalizedaffineimage6.cc Revision: 1.5 File: generalizedaffineimage7.cc Revision: 1.7 File: generalizedaffineimage8.cc Revision: 1.5 File: generalizedaffineimage9.cc Revision: 1.5 File: generators1.cc Revision: 1.12 File: generators2.cc Revision: 1.8 File: generators3.cc Revision: 1.4 File: generators4.cc Revision: 1.4 File: generators5.cc Revision: 1.4 File: generators6.cc Revision: 1.5 File: h79widening1.cc Revision: 1.5 File: h79widening2.cc Revision: 1.6 File: h79widening3.cc Revision: 1.6 File: h79widening4.cc Revision: 1.3 File: h79widening5.cc Revision: 1.4 File: intersection1.cc Revision: 1.5 File: intersection10.cc Revision: 1.5 File: intersection11.cc Revision: 1.5 File: intersection2.cc Revision: 1.9 File: intersection3.cc Revision: 1.6 File: intersection4.cc Revision: 1.6 File: intersection5.cc Revision: 1.6 File: intersection6.cc Revision: 1.6 File: intersection7.cc Revision: 1.5 File: intersection8.cc Revision: 1.4 File: intersection9.cc Revision: 1.4 File: limitedbhrz03extrapolation1.cc Revision: 1.2 File: limitedh79extrapolation1.cc Revision: 1.2 File: limitedh79extrapolation2.cc Revision: 1.2 File: limitedh79extrapolation3.cc Revision: 1.2 File: limitedh79extrapolation4.cc Revision: 1.2 File: linearpartition1.cc Revision: 1.12 File: linearpartition2.cc Revision: 1.12 File: linearpartition3.cc Revision: 1.12 File: linexpression1.cc Revision: 1.3 File: mapdim1.cc Revision: 1.1 File: mc91.cc Revision: 1.11 File: memory1.cc Revision: 1.19 File: minconstraints1.cc Revision: 1.4 File: minconstraints2.cc Revision: 1.4 File: minconstraints3.cc Revision: 1.3 File: minconstraints4.cc Revision: 1.7 File: mingenerators1.cc Revision: 1.4 File: mingenerators2.cc Revision: 1.3 File: mingenerators3.cc Revision: 1.3 File: onepoint.cc Revision: 1.9 File: permute.cc Revision: 1.30 File: polydifference1.cc Revision: 1.6 File: polydifference2.cc Revision: 1.8 File: polydifference3.cc Revision: 1.3 File: polydifference4.cc Revision: 1.4 File: polydifference5.cc Revision: 1.5 File: polydifference6.cc Revision: 1.5 File: polydifference7.cc Revision: 1.4 File: polyhull1.cc Revision: 1.6 File: polyhull10.cc Revision: 1.3 File: polyhull2.cc Revision: 1.6 File: polyhull3.cc Revision: 1.6 File: polyhull4.cc Revision: 1.5 File: polyhull5.cc Revision: 1.4 File: polyhull6.cc Revision: 1.4 File: polyhull7.cc Revision: 1.3 File: polyhull8.cc Revision: 1.4 File: polyhull9.cc Revision: 1.5 File: ppl_test.hh Revision: 1.3 File: print.cc Revision: 1.9 File: print.hh Revision: 1.13 File: randphull1.cc Revision: 1.9 File: randphull2.cc Revision: 1.5 File: relations1.cc Revision: 1.9 File: relations10.cc Revision: 1.5 File: relations11.cc Revision: 1.5 File: relations12.cc Revision: 1.4 File: relations13.cc Revision: 1.4 File: relations14.cc Revision: 1.4 File: relations15.cc Revision: 1.4 File: relations16.cc Revision: 1.4 File: relations17.cc Revision: 1.6 File: relations18.cc Revision: 1.4 File: relations19.cc Revision: 1.5 File: relations2.cc Revision: 1.10 File: relations3.cc Revision: 1.10 File: relations4.cc Revision: 1.10 File: relations5.cc Revision: 1.10 File: relations6.cc Revision: 1.9 File: relations7.cc Revision: 1.9 File: relations8.cc Revision: 1.9 File: relations9.cc Revision: 1.11 File: removedim1.cc Revision: 1.10 File: removedim10.cc Revision: 1.2 File: removedim2.cc Revision: 1.14 File: removedim3.cc Revision: 1.10 File: removedim4.cc Revision: 1.11 File: removedim5.cc Revision: 1.9 File: removedim6.cc Revision: 1.12 File: removedim7.cc Revision: 1.8 File: removedim8.cc Revision: 1.5 File: removedim9.cc Revision: 1.5 File: smm1.cc Revision: 1.14 File: timeelapse1.cc Revision: 1.7 File: timeelapse2.cc Revision: 1.7 File: timeelapse3.cc Revision: 1.7 File: timeelapse4.cc Revision: 1.7 File: timeelapse5.cc Revision: 1.8 File: timeelapse6.cc Revision: 1.3 File: timeelapse7.cc Revision: 1.3 File: timeelapse8.cc Revision: 1.4 File: timings.cc Revision: 1.3 File: timings.hh Revision: 1.3 File: topclosed1.cc Revision: 1.6 File: topclosed2.cc Revision: 1.5 File: topclosed3.cc Revision: 1.7 File: topclosure1.cc Revision: 1.6 File: topclosure2.cc Revision: 1.3 File: topclosure3.cc Revision: 1.3 File: topclosure4.cc Revision: 1.5 File: universe1.cc Revision: 1.9 File: universe2.cc Revision: 1.10 File: universe3.cc Revision: 1.10 File: universe4.cc Revision: 1.10 File: universe5.cc Revision: 1.11 File: universe6.cc Revision: 1.8 File: watchdog1.cc Revision: 1.17 File: writeconsys1.cc Revision: 1.6 File: writegensys1.cc Revision: 1.7 File: writegensys2.cc Revision: 1.7 File: writegensys3.cc Revision: 1.6 File: writepolyhedron1.cc Revision: 1.6 File: writepolyhedron2.cc Revision: 1.7 File: writepolyhedron3.cc Revision: 1.6 File: writerelation1.cc Revision: 1.6 File: writevariable1.cc Revision: 1.7

1 0

CVS tag event: /cvs/ppl/ppl/src
by Roberto Bagnara 12 Jun '03

12 Jun '03

Repository: /cvs/ppl/ppl/src Tag: alt_lgo Operation: add Date: 2003-06-12 03:37:07 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: AskTell.defs.hh Revision: 1.11 File: AskTell.inlines.hh Revision: 1.11 File: AskTell.types.hh Revision: 1.4 File: BoundingBox.cc Revision: 1.7 File: BoundingBox.defs.hh Revision: 1.10 File: BoundingBox.inlines.hh Revision: 1.10 File: BoundingBox.types.hh Revision: 1.5 File: C_Polyhedron.cc Revision: 1.6 File: C_Polyhedron.defs.hh Revision: 1.19 File: C_Polyhedron.inlines.hh Revision: 1.13 File: C_Polyhedron.types.hh Revision: 1.6 File: ConSys.cc Revision: 1.66 File: ConSys.defs.hh Revision: 1.79 File: ConSys.inlines.hh Revision: 1.30 File: ConSys.types.hh Revision: 1.6 File: Constraint.cc Revision: 1.39 File: Constraint.defs.hh Revision: 1.84 File: Constraint.inlines.hh Revision: 1.47 File: Constraint.types.hh Revision: 1.6 File: Determinate.defs.hh Revision: 1.32 File: Determinate.inlines.hh Revision: 1.31 File: Determinate.types.hh Revision: 1.4 File: GenSys.cc Revision: 1.84 File: GenSys.defs.hh Revision: 1.92 File: GenSys.inlines.hh Revision: 1.31 File: GenSys.types.hh Revision: 1.6 File: Generator.cc Revision: 1.46 File: Generator.defs.hh Revision: 1.84 File: Generator.inlines.hh Revision: 1.41 File: Generator.types.hh Revision: 1.6 File: Init.cc Revision: 1.8 File: Init.defs.hh Revision: 1.9 File: Init.types.hh Revision: 1.5 File: Integer.cc Revision: 1.3 File: Integer.defs.hh Revision: 1.10 File: Integer.inlines.hh Revision: 1.9 File: Integer.types.hh Revision: 1.7 File: Interval.cc Revision: 1.8 File: Interval.defs.hh Revision: 1.15 File: Interval.inlines.hh Revision: 1.10 File: Interval.types.hh Revision: 1.6 File: LCompare.defs.hh Revision: 1.5 File: LCompare.inlines.hh Revision: 1.4 File: LCompare.types.hh Revision: 1.4 File: LinExpression.cc Revision: 1.18 File: LinExpression.defs.hh Revision: 1.60 File: LinExpression.inlines.hh Revision: 1.28 File: LinExpression.types.hh Revision: 1.6 File: Makefile.am Revision: 1.62 File: Matrix.cc Revision: 1.62 File: Matrix.defs.hh Revision: 1.50 File: Matrix.inlines.hh Revision: 1.34 File: Matrix.types.hh Revision: 1.6 File: NNC_Polyhedron.cc Revision: 1.10 File: NNC_Polyhedron.defs.hh Revision: 1.22 File: NNC_Polyhedron.inlines.hh Revision: 1.15 File: NNC_Polyhedron.types.hh Revision: 1.6 File: Poly_Con_Relation.cc Revision: 1.7 File: Poly_Con_Relation.defs.hh Revision: 1.22 File: Poly_Con_Relation.inlines.hh Revision: 1.10 File: Poly_Con_Relation.types.hh Revision: 1.5 File: Poly_Gen_Relation.cc Revision: 1.7 File: Poly_Gen_Relation.defs.hh Revision: 1.20 File: Poly_Gen_Relation.inlines.hh Revision: 1.10 File: Poly_Gen_Relation.types.hh Revision: 1.5 File: Polyhedron.defs.hh Revision: 1.212 File: Polyhedron.inlines.hh Revision: 1.80 File: Polyhedron.types.hh Revision: 1.9 File: Polyhedron_chdims.cc Revision: 1.7 File: Polyhedron_nonpublic.cc Revision: 1.11 File: Polyhedron_public.cc Revision: 1.13 File: Polyhedron_widenings.cc Revision: 1.9 File: PowerSet.defs.hh Revision: 1.32 File: PowerSet.inlines.hh Revision: 1.37 File: PowerSet.types.hh Revision: 1.4 File: Row.cc Revision: 1.56 File: Row.defs.hh Revision: 1.72 File: Row.inlines.hh Revision: 1.41 File: Row.types.hh Revision: 1.6 File: SatMatrix.cc Revision: 1.27 File: SatMatrix.defs.hh Revision: 1.32 File: SatMatrix.inlines.hh Revision: 1.20 File: SatMatrix.types.hh Revision: 1.6 File: SatRow.cc Revision: 1.20 File: SatRow.defs.hh Revision: 1.31 File: SatRow.inlines.hh Revision: 1.27 File: SatRow.types.hh Revision: 1.6 File: Status.cc Revision: 1.21 File: Status.defs.hh Revision: 1.28 File: Status.inlines.hh Revision: 1.13 File: Status.types.hh Revision: 1.6 File: Topology.hh Revision: 1.7 File: Variable.cc Revision: 1.12 File: Variable.defs.hh Revision: 1.31 File: Variable.inlines.hh Revision: 1.16 File: Variable.types.hh Revision: 1.6 File: algorithms.hh Revision: 1.15 File: conversion.cc Revision: 1.50 File: globals.cc Revision: 1.12 File: globals.hh Revision: 1.32 File: initializer.hh Revision: 1.6 File: minimize.cc Revision: 1.34 File: ppl_header.bottom Revision: 1.4 File: ppl_header.middle Revision: 1.2 File: ppl_header.top Revision: 1.5 File: simplify.cc Revision: 1.32 File: statistics.hh Revision: 1.2 File: version.cc Revision: 1.1 File: version.hh.in Revision: 1.4

1 0

CVS tag event: /cvs/ppl/ppl/m4
by Roberto Bagnara 12 Jun '03

12 Jun '03

Repository: /cvs/ppl/ppl/m4 Tag: alt_lgo Operation: add Date: 2003-06-12 03:37:07 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.9 File: ac_check_gmp.m4 Revision: 1.12 File: ac_cxx_flexible_arrays.m4 Revision: 1.6

1 0

CVS tag event: /cvs/ppl/ppl/interfaces/Prolog/SWI
by Roberto Bagnara 12 Jun '03

12 Jun '03

Repository: /cvs/ppl/ppl/interfaces/Prolog/SWI Tag: alt_lgo Operation: add Date: 2003-06-12 03:37:06 Tagged-By: roberto File: .cvsignore Revision: 1.4 File: Makefile.am Revision: 1.28 File: pl_clpq.cc Revision: 1.6 File: pl_clpq.pl Revision: 1.4 File: ppl_pl.cc Revision: 1.6 File: ppl_swiprolog.cc Revision: 1.76 File: ppl_swiprolog.pl Revision: 1.2

1 0