Skip to content
Snippets Groups Projects
  1. Aug 31, 2015
  2. Aug 28, 2015
  3. Aug 24, 2015
  4. Aug 21, 2015
  5. Aug 19, 2015
  6. Aug 18, 2015
    • Jan Včelák's avatar
      evsched: attempt to fix rare data race · f8fddd32
      Jan Včelák authored
      The scheduled time of an event must not be changed when the event is
      potentially in the heap and the heap is not locked. Otherwise a parallel
      modification of the heap could break the heap property and the planning
      might not work reliably.
      
      closes #390
      f8fddd32
  7. Jul 29, 2015
  8. Jul 28, 2015
  9. Jul 27, 2015
  10. Jul 21, 2015
  11. Jul 01, 2015
  12. Jun 16, 2015
  13. Jun 15, 2015
  14. Jun 12, 2015
  15. Jun 04, 2015
  16. Jun 03, 2015
  17. Jun 02, 2015
  18. May 28, 2015
  19. May 27, 2015