1. 12 Oct, 2005 1 commit
  2. 15 Sep, 2005 1 commit
  3. 14 Sep, 2005 1 commit
  4. 07 Sep, 2005 1 commit
  5. 01 Sep, 2005 1 commit
  6. 31 Aug, 2005 1 commit
  7. 27 Jun, 2005 1 commit
  8. 24 Jun, 2005 1 commit
  9. 23 Jun, 2005 2 commits
  10. 22 Jun, 2005 1 commit
  11. 01 Jun, 2005 1 commit
  12. 31 May, 2005 1 commit
  13. 06 Apr, 2005 1 commit
  14. 23 Mar, 2005 1 commit
  15. 24 Feb, 2005 1 commit
    • Michael Beck's avatar
      make inline version of: · 71ba538f
      Michael Beck authored
      get_Block_block_visited(node)
      set_Block_block_visited(node, visit)
      mark_Block_block_visited(node)
      Block_not_block_visited(node)
      
      [r5241]
      71ba538f
  16. 21 Feb, 2005 1 commit
  17. 11 Feb, 2005 3 commits
  18. 10 Feb, 2005 1 commit
  19. 07 Feb, 2005 1 commit
  20. 26 Jan, 2005 1 commit
  21. 18 Jan, 2005 1 commit
  22. 04 Jan, 2005 1 commit
  23. 10 Dec, 2004 1 commit
  24. 02 Dec, 2004 2 commits
  25. 01 Dec, 2004 1 commit
    • Michael Beck's avatar
      Added a new attribute to block nodes: dead · 3b7785f7
      Michael Beck authored
      This attribute can only be set, not reseted and means the block is dead
      (could be replaced my Bad in old semantics).
      
      the new is_Block_dead() test chescks for the new attribute (and is_Bad() too)
      and should be used whenever a block is check with is_Bad()
      
      [r4535]
      3b7785f7
  26. 10 Nov, 2004 1 commit
  27. 08 Nov, 2004 1 commit
  28. 05 Nov, 2004 1 commit
  29. 03 Nov, 2004 1 commit
  30. 18 Oct, 2004 1 commit
  31. 28 Sep, 2004 1 commit
  32. 17 Sep, 2004 1 commit
  33. 08 Sep, 2004 1 commit
  34. 13 Aug, 2004 1 commit
  35. 22 Jul, 2004 1 commit
  36. 06 Jul, 2004 1 commit