1. 17 Oct, 2017 1 commit
  2. 16 Oct, 2017 2 commits
  3. 08 Oct, 2017 4 commits
  4. 06 Oct, 2017 3 commits
  5. 05 Oct, 2017 1 commit
    • Tomáš Fiedor's avatar
      Fix two issues · 918dc37b
      Tomáš Fiedor authored
      LargeBlockFunctors: Fix the issue with AllPaths when w ==x in shape
        and this led to incorrect rule applied;
      termination: fix issue with optimization.
      918dc37b
  6. 04 Oct, 2017 5 commits
  7. 02 Oct, 2017 13 commits
  8. 01 Oct, 2017 4 commits
  9. 29 Sep, 2017 1 commit
  10. 28 Sep, 2017 4 commits
  11. 26 Sep, 2017 1 commit
    • Tomáš Fiedor's avatar
      Prune significantly the number of resets and changes · 65edc20a
      Tomáš Fiedor authored
      LargeBlockFunctors: Add missing reset for malloc();
      NormChangeGraph: Add pruning of dominated rests;
      NormChangeGraph: Add more precise location in reseted norms;
      NormList: Add location for the NormSet;
      termination: Add pruning for norms, that do not reach the location.
      65edc20a
  12. 25 Sep, 2017 1 commit