November 2005 - PPL-devel - BUGSENG Mailman

ppl src/Grid_public.cc src/Grid.defs.hh ./TODO
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:20:30 Modified files: src : Grid_public.cc Grid.defs.hh . : TODO Log message: Add add_recycled_congruences_and_minimize(cs). Patches: 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/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:07:48 Modified files: tests/Grid : addconstraints1.cc Log message: Add test9, for add_recycled_congruences(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl src/Grid_public.cc src/Grid.defs.hh ./TODO
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 18:07:19 Modified files: src : Grid_public.cc Grid.defs.hh . : TODO Log message: Add add_recycled_congruences(cs). Add a dimension compatibility check to add_congruences(cgs). Patches: 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/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/tests/BD_Shape Makefile.am affineimage10.cc
by Enea Zaffanella 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-07 17:21:30 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : affineimage10.cc Log message: A test that was showing a bug in the old implementation of affine images. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage10.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BDS_Status.idefs.hh BDS_Status.inlines ...
by Enea Zaffanella 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-07 17:09:03 Modified files: src : BDS_Status.idefs.hh BDS_Status.inlines.hh BD_Shape.defs.hh BD_Shape.inlines.hh Log message: A BD_Shape representation now also carries a dbm matrix of Boolean values, indicating whether or not the corresponding dbm entry is redundant. The new matrix is meaningful only if the BDS_Status test marked_shortest_path_reduced() returns true, otherwise it is meaningless. Note that a dbm can be shortest-path reduced only if it is also shortest-path closed. The redundancy information is established by shortest_path_reduction_assign() and is lost as soon as we modify the representation of the BD_Shape. That is, currently no effort is done to keep it up-to-date. Moreover, when we reset the shortest-path closure flag, then the reduction flag is reset too. Added private helper methods add_dbm_constraint() that allow for the addition of a difference bound constraint without encoding it into a Constraint object. The method is particularly used in the computation of affine images. The methods computing affine images and preimages rewritten (almost) from scratch. (The old implementations, were not behaving correctly when the denominator was negative or when considering generalized images). Added a lot of const qualifications; avoided some dbm's coefficient copies, preferring the use of references instead. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.idefs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 16:52:46 Modified files: src : Grid_public.cc Log message: Implement add_congruences and add_congruences_and_minimize via Congruence_System(cs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Congruence_System.defs.hh Congruence_S ...
by Matthew Mundell 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-07 16:52:08 Modified files: src : Congruence_System.defs.hh Congruence_System.cc Log message: Add Congruence_System(Constraint_System&). Move the normalize_moduli definition into order. Patches: 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/Congruence_System.cc.diff…

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-07 16:40:23 Modified files: src : checked_float.inlines.hh Log message: Don't add nothing to std namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

About the last (huge) commit on BD_Shape.
by Enea Zaffanella 07 Nov '05

07 Nov '05

I finally managed to commit my (huge) changes to the implementation of BDSs. The main novelty are: - shortest-path reduction no longer compromises shortest-path closure (note: I still have to implement the extraction of constraints for the case of a dbm in reduced form); - affine images, preimages and generalized affine images have been rewritten almost from scratch; they should be less buggy than before (this is definitely the case for the case of generalized images); at the very least, the current code is no longer relying upon unreasonable assumptions on the kind of coefficients and the sign of denominators. Some tests will now fail: I strongly suspect that for some of them there is no real bug, but rather the "known_result" was wrong. In summary, there still is plenty of things to do. Ciao, Enea.

1 0

ppl/src checked_float.inlines.hh
by Abramo Bagnara 07 Nov '05

07 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-11-07 16:30:59 Modified files: src : checked_float.inlines.hh Log message: Fixed argument order. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0