1. 21 Jun, 2011 1 commit
  2. 20 Jun, 2011 3 commits
  3. 17 Jun, 2011 8 commits
  4. 16 Jun, 2011 6 commits
  5. 15 Jun, 2011 1 commit
  6. 11 Jun, 2011 2 commits
  7. 10 Jun, 2011 2 commits
    • Andreas Zwinkau's avatar
      improve jumpthreading comments · 978df701
      Andreas Zwinkau authored
      978df701
    • Andreas Zwinkau's avatar
      Revert "jumpthreading must not split edges" · 763b7a16
      Andreas Zwinkau authored
      This reverts commit 2dc83299.
      
      The commit made jumpthreading "more conservative", which fixed the
      problem. However, it is not a good solution in general.
      
      We need a bigger rewrite of opt/jumpthreading, so it analyzes then
      modifies the graph instead of on-the-fly changes. This prevents the
      infinite loop, which would e.g. happen with such a cf graph:
      
          \     A         \     A
         __\    |        __\    |
         |  B   |   =>   |  B   |  => ...
         | / \  |        | / \  |
         |    D |        |    E |
         |     \|        |     \|
          \     C         \     D
           \___/           \   /
                            \_C
      
      Breaks opt/jumpthreading5 and opt/jumpthreading5b
      763b7a16
  8. 09 Jun, 2011 8 commits
  9. 08 Jun, 2011 3 commits
  10. 07 Jun, 2011 2 commits
  11. 06 Jun, 2011 1 commit
  12. 01 Jun, 2011 3 commits