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.

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

              Created:
              Updated:
              Resolved: