CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2006-09-24 08:36:12

Modified files: interfaces/Prolog: track_allocation.hh interfaces/Prolog/Ciao: ppl_ciao.cc interfaces/Prolog/GNU: ppl_gprolog_sd.cc interfaces/Prolog/SICStus: ppl_sicstus_sd.cc interfaces/Prolog/SWI: ppl_swiprolog.cc interfaces/Prolog/YAP: ppl_yap.cc tests/Ask_Tell : append1.cc tests/BD_Shape : addconstraints1.cc affinepreimage1.cc generalizedaffineimage2.cc tests/Grid : bhz03widening1.cc congruences2.cc equals1.cc foldspacedims1.cc grid1.cc relations2.cc relations3.cc tests/LP_Problem: exceptions1.cc lpproblem1.cc mipproblem1.cc tests/Octagonal_Shape: contains1.cc generalizedaffineimage3.cc generalizedaffinepreimage2.cc tests/Polyhedron: bhz03widening1.cc linearsystem1.cc polyhull1.cc

Log message: Spelling corrections.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/track_alloca... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_cia... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_swip... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/append1.cc.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/addconstraints1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaffi... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences2.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/equals1.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations3.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/exceptions1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/lpproblem1.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem1.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/contains... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/generali... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/generali... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bhz03widening... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/linearsystem1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhull1.cc....