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