January 2006 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Patricia Hill 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-27 12:31:50 Modified files: doc : definitions.dox Log message: Use \subsection and not \anchor in grids section of the documentation. Avoid a multiply defined label warning due to label in the powerset section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Grid_Generator.inlines.hh Grid_Generat ...
by Matthew Mundell 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-27 11:48:53 Modified files: src : Grid_Generator.inlines.hh Grid_Generator.defs.hh Log message: Take out method topology. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di…

1 0

ppl/src Grid.defs.hh Grid.inlines.hh Makefile. ...
by Roberto Bagnara 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-27 11:18:13 Modified files: src : Grid.defs.hh Grid.inlines.hh Makefile.am Added files: src : Grid.templates.hh Log message: Grid.templates.hh cut out from Grid.inlines.hh as per our standards. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh?cvsroot… 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.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./TODO src/Congruence_System.defs.hh src/G ...
by Patricia Hill 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-27 10:51:40 Modified files: . : TODO src : Congruence_System.defs.hh Grid.defs.hh Grid_Generator.defs.hh Grid_Generator_System.defs.hh Log message: src/Grid_Generator.defs.hh, src/Grid_Generator_System.defs.hh: Documentation improved. src/Congruence_System.defs.hh: Fixed a cross reference to point to Grid documentation. src/Grid.defs.hh: Improved documentation for affine image. TODO: Removed item concerning documentation for grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… 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_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/src NNC_Polyhedron.inlines.hh
by Roberto Bagnara 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-27 10:06:23 Modified files: src : NNC_Polyhedron.inlines.hh Log message: Added an `inline' function specifier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.inlines.hh…

1 0

ppl/src C_Polyhedron.inlines.hh Determinate.in ...
by Roberto Bagnara 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-27 10:05:16 Modified files: src : C_Polyhedron.inlines.hh Determinate.inlines.hh Ptr_Iterator.inlines.hh Log message: Added several `inline' function specifiers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ptr_Iterator.inlines.hh.d…

1 0

ppl/interfaces/Prolog Ciao/ciao_pl_check.pl GN ...
by Patricia Hill 27 Jan '06

27 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-01-27 09:33:39 Modified files: interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/GNU: gnu_pl_check.pl interfaces/Prolog/SICStus: sp_pl_check.pl interfaces/Prolog/SWI: swi_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P interfaces/Prolog/YAP: yap_pl_check.pl interfaces/Prolog/tests: pl_check.pl Log message: In the system files, the definition of predicate prolog_system/1 modified to return name capitalised to match system file names. pl_check.pl: improved extra_noisy output for large numbers. now we print the expression used to generate the large number as well as the number itself. When calling prolog_system/1 use capitalised names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/gnu_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/tests/Grid relations2.cc
by Matthew Mundell 26 Jan '06

26 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-26 23:26:15 Modified files: tests/Grid : relations2.cc Log message: Add test15, of an empty grid, where updating finds the grid empty. Add test16 to test18 which require the GCD calculation in relation_with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations2.cc.diff…

1 0

ppl/tests/Grid relations1.cc
by Matthew Mundell 26 Jan '06

26 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-26 23:24:36 Modified files: tests/Grid : relations1.cc Log message: Add zero dim universe test test9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/relations1.cc.diff…

1 0

ppl/tests/Grid isuniverse1.cc
by Matthew Mundell 26 Jan '06

26 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-01-26 23:24:06 Modified files: tests/Grid : isuniverse1.cc Log message: Update test4 to actually test the empty case. Scrap test10. Add test15 where use of a point is required in is_universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isuniverse1.cc.dif…

1 0