Skip to content
Snippets Groups Projects
This project is mirrored from https://github.com/mantidproject/mantid.git. Pull mirroring updated .
  1. Feb 18, 2016
  2. Feb 12, 2016
  3. Jan 26, 2016
  4. Dec 11, 2015
  5. Oct 14, 2015
  6. Oct 12, 2015
  7. Oct 05, 2015
  8. Mar 19, 2015
  9. Dec 16, 2014
  10. Mar 18, 2014
  11. 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
  12. Jan 22, 2013
  13. Nov 30, 2012
  14. Nov 29, 2012
  15. Nov 26, 2012
  16. Jan 30, 2012
  17. Dec 29, 2011
  18. Dec 06, 2011
  19. Nov 18, 2011
  20. Aug 30, 2011
  21. Aug 24, 2011
  22. Jul 07, 2011
  23. Jun 10, 2011
  24. May 27, 2011
  25. May 24, 2011
  26. Apr 26, 2011
Loading