1. 04 Oct, 2016 2 commits
  2. 20 Sep, 2016 3 commits
  3. 14 Sep, 2016 2 commits
  4. 13 Sep, 2016 2 commits
  5. 12 Sep, 2016 1 commit
  6. 09 Sep, 2016 1 commit
    • Christian Dietrich's avatar
      gcfg/ipet: fix interrupt propagation · c0b69be8
      Christian Dietrich authored
      There was a general flaw in the state->abb propagation. There were
      corner cases, were an ABB was executed not often enough although the
      state was visited often enough. So here is the new logic:
      
      1) In general an ABB is executed as often as the system state is
         visited (= sum_of_incoming), BUT
         2) Interrupt Activations (=sum_of_outgoin_irq_edges) substracted, BUT
            3) Interrupt Activations with no resume are added again
      c0b69be8
  7. 08 Sep, 2016 1 commit
  8. 07 Sep, 2016 3 commits
  9. 06 Sep, 2016 2 commits
  10. 02 Sep, 2016 5 commits
  11. 30 Aug, 2016 2 commits
  12. 12 Aug, 2016 2 commits
  13. 09 Aug, 2016 14 commits