Skip to content
Snippets Groups Projects
  1. Nov 25, 2016
  2. Oct 12, 2016
  3. Sep 21, 2016
  4. Aug 10, 2016
  5. Jul 11, 2016
  6. Apr 25, 2016
  7. Mar 29, 2016
    • Eelco Dolstra's avatar
      Improve SIGINT handling in multi-threaded programs · ab3ce1cc
      Eelco Dolstra authored
      The flag remembering whether an Interrupted exception was thrown is
      now thread-local. Thus, all threads will (eventually) throw
      Interrupted. Previously, one thread would throw Interrupted, and then
      the other threads wouldn't see that they were supposed to quit.
      ab3ce1cc
    • Eelco Dolstra's avatar
      Re-enable sync_with_stdio · 0ebe69dc
      Eelco Dolstra authored
      Otherwise writing to std::cerr is not thread-safe (in particular,
      lines will be randomly duplicated).
      0ebe69dc
  8. Feb 23, 2016
  9. Feb 22, 2016
  10. Feb 09, 2016
  11. Feb 04, 2016
    • Eelco Dolstra's avatar
      StoreAPI -> Store · fa7cd536
      Eelco Dolstra authored
      Calling a class an API is a bit redundant...
      fa7cd536
    • Eelco Dolstra's avatar
      Eliminate the "store" global variable · c10c6144
      Eelco Dolstra authored
      Also, move a few free-standing functions into StoreAPI and Derivation.
      
      Also, introduce a non-nullable smart pointer, ref<T>, which is just a
      wrapper around std::shared_ptr ensuring that the pointer is never
      null. (For reference-counted values, this is better than passing a
      "T&", because the latter doesn't maintain the refcount. Usually, the
      caller will have a shared_ptr keeping the value alive, but that's not
      always the case, e.g., when passing a reference to a std::thread via
      std::bind.)
      c10c6144
  12. Jan 28, 2016
  13. Jan 06, 2016
  14. Jan 04, 2016
  15. Sep 17, 2015
  16. Jul 23, 2015
  17. Jul 19, 2015
  18. May 21, 2015
  19. Jan 02, 2015
  20. Dec 14, 2014
  21. Dec 12, 2014
  22. Dec 10, 2014
  23. Dec 09, 2014
  24. Dec 05, 2014
  25. Oct 31, 2014
  26. Oct 14, 2014
  27. Sep 26, 2014
  28. Sep 18, 2014
  29. Aug 20, 2014
Loading