Skip to content
Snippets Groups Projects
  1. Nov 26, 2015
  2. Nov 24, 2015
  3. Nov 01, 2015
  4. Sep 02, 2015
  5. Sep 01, 2015
  6. Aug 31, 2015
  7. Aug 28, 2015
  8. Aug 24, 2015
  9. Aug 21, 2015
  10. Aug 19, 2015
  11. 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
  12. Jul 29, 2015
  13. Jul 28, 2015
  14. Jul 27, 2015
  15. Jul 21, 2015
  16. Jul 01, 2015
  17. Jun 16, 2015
  18. Jun 15, 2015
  19. Jun 12, 2015
  20. Jun 04, 2015
  21. Jun 03, 2015
  22. Jun 02, 2015