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