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