October 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 20 Oct '07

20 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-20 21:56:20 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Use the `-pl' option of `plld' to make sure the right Prolog interpreter is used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/m4 ac_check_swi_prolog.m4
by Roberto Bagnara 20 Oct '07

20 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-20 21:55:11 Modified files: m4 : ac_check_swi_prolog.m4 Log message: Set and substitute the `SWI_PROLOG' variables: it contains the complete path of the SWI-Prolog interpreter. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_swi_prolog.m4.dif…

1 0

ppl src/Grid.defs.hh src/Grid_nonpublic.cc src ...
by Patricia Hill 20 Oct '07

20 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-20 18:41:33 Modified files: src : Grid.defs.hh Grid_nonpublic.cc Grid_public.cc tests/Grid : relations1.cc relations2.cc relations3.cc Log message: Revised the grid relation_with() methods for congruences and constraints so that saturates() is included in the result whenever the congruence or constraint is an equality and every point of the grid satisfies the equality. Added grid relation_with() methods for a generator so that a point or closure point has the same relation with the grid as the corresponding grid point, and a ray or line has the same relation with the grid as a grid line. Expected results revised and new tests for the grid relation_with() methods for a generator added to relations1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff… 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…

1 0

ppl configure.ac
by Roberto Bagnara 19 Oct '07

19 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-19 16:01:50 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/src Grid_public.cc
by Patricia Hill 19 Oct '07

19 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-19 15:37:04 Modified files: src : Grid_public.cc Log message: In code for building a grid from a polyhedron, bug that was causing an assertion to fail corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces/Java jni/ppl_java_common.cc ppl ...
by Patricia Hill 19 Oct '07

19 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-19 10:47:49 Modified files: interfaces/Java/jni: ppl_java_common.cc interfaces/Java/ppl_java: Makefile.am Added files: interfaces/Java/ppl_java: Length_Error_Exception.java Removed files: interfaces/Java/ppl_java: Lenght_Error_Exception.java Log message: Spelling of file name corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Leng… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Leng…

1 0

ppl/tests/Grid grid3.cc
by Patricia Hill 19 Oct '07

19 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-19 08:30:02 Modified files: tests/Grid : grid3.cc Log message: test19 expected to fail with an overflow exception with checked_int8 configuration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl configure.ac
by Roberto Bagnara 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-18 16:24:55 Modified files: . : configure.ac Log message: For a change, test with Octagonal_Shape<double> instead of BD_Shape<int8_t>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl src/Direct_Product.defs.hh src/Direct_Prod ...
by Patricia Hill 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-18 11:32:26 Modified files: src : Direct_Product.defs.hh Direct_Product.inlines.hh tests/Grid : directproduct7.cc Log message: Added maximize/5 and minimize/5 for the direct product. Comments improved. Tests added for these methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.…

1 0

ppl/src Grid_public.cc
by Patricia Hill 18 Oct '07

18 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-18 08:45:57 Modified files: src : Grid_public.cc Log message: TEMP_INTEGER taken outside loops. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0