Skip to content
Snippets Groups Projects
  1. May 09, 2019
  2. May 04, 2019
  3. Apr 07, 2019
  4. Apr 05, 2019
  5. Mar 15, 2019
  6. Feb 26, 2019
  7. Feb 13, 2019
  8. Feb 07, 2019
  9. Feb 05, 2019
  10. Jan 25, 2019
  11. Dec 22, 2018
  12. Dec 13, 2018
  13. Dec 01, 2018
  14. Nov 28, 2018
  15. Nov 26, 2018
  16. Nov 25, 2018
  17. Oct 15, 2018
  18. Sep 25, 2018
  19. Sep 23, 2018
    • Daniel Agar's avatar
      sanitizers cleanup (#10551) · 18a0b399
      Daniel Agar authored
       - add to AddressSanitizer and UndefinedBehaviorSanitizer to CMAKE_BUILD_TYPE options
       - handle environment variable helpers outside of CMake
       - add -O1 optimization
       - cleanup whitespace
      Unverified
      18a0b399
  20. Aug 25, 2018
  21. Aug 17, 2018
  22. Aug 12, 2018
  23. Aug 05, 2018
  24. Jul 30, 2018
  25. Jun 12, 2018
  26. May 28, 2018
  27. May 09, 2018
    • Matthias Grob's avatar
      Makefile: fix parameter -e printed by echo · ef7e8856
      Matthias Grob authored
      It seems that on linux only inside a makefile the parameter after the echo
      command gets printed if no single quoted sting comes afterwards so I had
      to switch to single quotes such that I can use the parameter.
      ef7e8856
    • Matthias Grob's avatar
      Makefile: fix color output of makefile echos · 4e139d24
      Matthias Grob authored
      Force interpretation of backslash escapes with the parameter -e of echo.
      Switch to a lighter blue because on certain terminals default blue is
      hard to read on black background.
      4e139d24
  28. May 06, 2018
Loading