Skip to content
Snippets Groups Projects
This project is mirrored from https://github.com/mantidproject/mantid.git. Pull mirroring updated .
  1. Feb 27, 2018
  2. Feb 20, 2018
  3. Sep 15, 2017
  4. Jan 05, 2017
  5. Dec 19, 2016
  6. Nov 03, 2016
  7. Feb 24, 2016
  8. Feb 22, 2016
  9. Feb 18, 2016
  10. Feb 14, 2016
  11. Feb 12, 2016
  12. Feb 11, 2016
  13. Jan 26, 2016
  14. Dec 11, 2015
  15. Oct 14, 2015
  16. Oct 12, 2015
  17. Oct 05, 2015
  18. Mar 19, 2015
  19. Dec 16, 2014
  20. Mar 18, 2014
  21. Feb 08, 2013
    • Russell Taylor's avatar
      Re #6547. Check that map has been fully filled. · e0a3cd29
      Russell Taylor authored
      Just checking that it's not empty can mean that filling it is in
      progress, so we need to enter the critical block if that's the case.
      This shouldn't have much (any?) performance implication as size(),
      like empty(), takes constant time.
      e0a3cd29
  22. Jan 22, 2013
  23. Nov 30, 2012
  24. Nov 29, 2012
  25. Nov 26, 2012
  26. Jan 30, 2012
  27. Dec 29, 2011
  28. Dec 06, 2011
  29. Nov 18, 2011
  30. Aug 30, 2011
  31. Aug 24, 2011
  32. Jul 07, 2011
  33. Jun 10, 2011
Loading