January 2006 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.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 21:27:53 Modified files: src : Grid_public.cc Log message: Improve the relation_with(cg) zero dim case a little. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl src/Makefile.am doc/devref.doxyconf-html.i ...
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 18:25:52 Modified files: src : Makefile.am doc : devref.doxyconf-html.in Removed files: src : Grid_minimize.cc Log message: Complete the integration of the Grid minimize methods into their callers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/src Congruence.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 16:00:13 Modified files: src : Congruence.cc Log message: Take old alternative code out of ascii_load. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Grid_Generator_System.defs.hh
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 14:50:23 Modified files: src : Grid_Generator_System.defs.hh Log message: Correct typo in add_universe_rows_and_columns doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/doc definitions.dox
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 13:58:23 Modified files: doc : definitions.dox Log message: Update anchor names in references in the grids sections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Grid_Generator_System.defs.hh
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 13:56:54 Modified files: src : Grid_Generator_System.defs.hh Log message: Correct add_universe_rows_and_columns doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def…

1 0

ppl/src Grid.defs.hh
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 13:56:11 Modified files: src : Grid.defs.hh Log message: Neaten some doc formatting. Align the class description as in Polyhedron. Update reference names in docs. Improve docs related to covering boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Congruence_System.defs.hh
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 13:52:02 Modified files: src : Congruence_System.defs.hh Log message: Correct add_unit_rows_and_columns doc. Correct ref in affine_preimage doc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh…

1 0

ppl/src Checked_Number.inlines.hh
by Abramo Bagnara 26 Jan '06

26 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2006-01-26 12:26:13 Modified files: src : Checked_Number.inlines.hh Log message: Added missing inline. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl TODO
by Roberto Bagnara 26 Jan '06

26 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-26 10:49:43 Modified files: . : TODO Log message: Old stuff removed or shortened. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0