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