Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
  • Christoph Mallon's avatar
    Fix a performance bug in push_through_perm(). · e25b0da1
    Christoph Mallon authored
    Now more than one node can be pushed through a Perm.
    After pushing the first node through a Perm, we next inspected the Perm itself (the new schedule predecessor of the moved node), which obviously cannot be pushed through itself.
    e25b0da1