October 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 22 Oct '06

22 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-22 02:13:02 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Make sure XSB finds libppl and libpwl in the current build tree. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-21 23:22:20 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: Added tests for get_bounding_box and get_covering_box. Removed unnecessary code and simplified the code in Prolog/tests/ppl_interface_generator_predicate_check_pl.m4 Added the arity of the predicate under test to the test name. In Prolog/ppl_interface_generator_prolog_dat.m4 : now allow the interface code to be generated for get_bounding_box/3 for BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-21 13:34:33 Modified files: src : Grid_public.cc Log message: Indentation fixed. Redundant parentheses avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-21 13:27:47 Modified files: src : Grid_public.cc Log message: Fixed spelling error introduced with last commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-21 12:32:27 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: In ...prolog_dat.m4, moved the delete predicate schema first This is a work-around to a problem in generating a list of predicates in m4. In the Prolog/tests m4 files, a number of bugs fixed and added a test for the relation_with predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/src Grid_public.cc
by Patricia Hill 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-21 10:13:29 Modified files: src : Grid_public.cc Log message: Corrected error indicated in the previous commit for tests/Grid/relations.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid relations2.cc
by Patricia Hill 21 Oct '06

21 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-21 10:11:11 Modified files: tests/Grid : relations2.cc Log message: Test 20 shows a bug in the code for PPL::Grid::relation_with(const Congruence& cg) Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff…

1 0

w3ppl/htdocs news.raw performance.raw Links/Li ...
by Roberto Bagnara 20 Oct '06

20 Oct '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-10-20 01:44:32 Modified files: htdocs : news.raw performance.raw htdocs/Links : Links.raw Log message: Links updated. 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/performance.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/tests/Octagonal_Shape boundedaffineimage1. ...
by Roberto Bagnara 19 Oct '06

19 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-19 13:20:04 Modified files: tests/Octagonal_Shape: boundedaffineimage1.cc generalizedaffineimage3.cc generalizedaffinepreimage2.cc Log message: Several wicked whiches replaced by thats. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/bounded… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/general…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 18 Oct '06

18 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-18 17:34:39 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Further additions and reorganisation of test data. Added tests for get_@GET_REPRESENT@ and get_minimized_@GET_REPRESENT@ predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0