XMLWordPrintable

    • b17

      After many preparatory sub-tasks have been integrated, I'm finally able to fix the outstanding issues.

      This is the main fix for Assertion Predicates which makes sure that we clone and update Template Assertion Predicates when splitting a loop and then create Initialized Assertion Predicates from them accordingly to keep the graph in a sane state.

            Assignee:
            Christian Hagedorn
            Reporter:
            Christian Hagedorn
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: