February 2006 - PPL-devel - BUGSENG Mailman

SICStus interface
by Tristan Denmat 17 Mar '06

17 Mar '06

Hi, I am trying to use the interface between PPL and SICStus. Following what is said in the manual, there should be an .pl file in the /bin directory but there is not. Does it mean that I forgot to put a flag or something like this ? Thanks, Tristan Denmat

4 11

ppl/tests/Grid equals1.cc
by Patricia Hill 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-28 23:13:48 Modified files: tests/Grid : equals1.cc Log message: Test added to improve coverage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cv…

1 0

ppl/tests/Polyhedron addcongruences1.cc
by Enea Zaffanella 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-28 12:45:45 Modified files: tests/Polyhedron: addcongruences1.cc Log message: Use print_congruences() instead of print_constraints() when printing a ystem of congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/tests/Grid Makefile.am affineimage1_16.cc
by Patricia Hill 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-28 10:51:10 Modified files: tests/Grid : Makefile.am Removed files: tests/Grid : affineimage1_16.cc Log message: Test in affineimage1_16.cc is now included in affineimage2.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1_16.cc…

1 0

ppl/tests/Grid affineimage2.cc
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 09:25:26 Modified files: tests/Grid : affineimage2.cc Log message: Activated test10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage2.cc.di…

1 0

ppl/tests ppl_test.hh
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 09:25:05 Modified files: tests : ppl_test.hh Log message: NEW_TEST* macros fixed and completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src BD_Shape.templates.hh
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 09:06:29 Modified files: src : BD_Shape.templates.hh Log message: Use more efficient iteration in a couple of cases. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src DB_Row.inlines.hh
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 09:05:54 Modified files: src : DB_Row.inlines.hh Log message: Added more comments to explain the order of construction/destruction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv…

1 0

ppl/tests print.cc print.hh
by Roberto Bagnara 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-28 08:15:19 Modified files: tests : print.cc print.hh Log message: Two FIXMEs dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p…

1 0

ppl/tests/Grid discrete1.cc disjoint1.cc equal ...
by Patricia Hill 28 Feb '06

28 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-28 08:13:18 Modified files: tests/Grid : discrete1.cc disjoint1.cc equals1.cc expandspacedim1.cc foldspacedims1.cc Removed files: tests/Grid : contains2.cc Log message: Tests in contains2.cc already in contains1.cc. Modified tests following new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/disjoint1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/expandspacedim1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains2.cc.diff?…

1 0