| commit | 7c816946d1b568d65449a42f7364d344779ff3c9 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 May 2009 20:57:32 +0000 (26 22:57 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 May 2009 20:57:32 +0000 (26 22:57 +0200) | ||
| tree | 60d2156d73e7a62af31230c77256f9b5df18fbf7 | treesnapshot (tar.gz zip) |
| parent | dd7489581f30d8fa3ffd548cbf4f3bad4f952c4a | commitdiff |
Polyhedron_Factor: fix merging of groups of columns
Before, any element of a group could be reset to point to another
group, possibly leaving the group representative pointing to an empty group.
This could lead to an infinite loop later on.
Now, we correctly change the group representative.
Problem reported by Andreas Paffenholz <paffenholz@mi.fu-berlin.de>
Before, any element of a group could be reset to point to another
group, possibly leaving the group representative pointing to an empty group.
This could lead to an infinite loop later on.
Now, we correctly change the group representative.
Problem reported by Andreas Paffenholz <paffenholz@mi.fu-berlin.de>
| tests/andreas | [new file with mode: 0644] | blob |
| util.c | diffblobblamehistory |