Skip to content
Snippets Groups Projects
  1. Apr 12, 2021
  2. Oct 31, 2020
  3. Aug 14, 2020
  4. May 20, 2020
  5. May 08, 2020
  6. Apr 26, 2019
  7. Mar 15, 2019
  8. Jan 21, 2019
  9. May 24, 2018
  10. Jan 19, 2018
  11. Jan 18, 2018
  12. Jan 12, 2018
  13. Dec 26, 2017
  14. Dec 14, 2017
  15. Dec 13, 2017
  16. Nov 01, 2017
  17. Feb 29, 2016
  18. Oct 17, 2015
  19. Oct 14, 2015
  20. Jun 23, 2015
  21. Jun 15, 2015
  22. Jun 05, 2015
  23. Jun 01, 2015
  24. May 21, 2015
  25. Mar 31, 2015
    • Per Hedbor's avatar
      Optimized has_index for mappings and multiset · 135db46f
      Per Hedbor authored
      It is now way faster for mappings (in testing about 2x) and somewhat
      faster for multisets. Since our developers have a tendency to write
      if(has_index(map,key)) instead of if(mapping[key]) this can be a
      noticeable gain.
      135db46f
  26. Oct 22, 2014
  27. Sep 04, 2014
  28. Sep 03, 2014
  29. Aug 28, 2014
Loading