Skip to content
Snippets Groups Projects
  1. Dec 13, 2018
  2. Dec 01, 2018
  3. Nov 28, 2018
  4. Nov 26, 2018
  5. Nov 25, 2018
  6. Oct 15, 2018
  7. Sep 25, 2018
  8. 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
  9. Aug 25, 2018
  10. Aug 17, 2018
  11. Aug 12, 2018
  12. Aug 05, 2018
  13. Jul 30, 2018
  14. Jun 12, 2018
  15. May 28, 2018
  16. 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
  17. May 06, 2018
  18. Apr 30, 2018
  19. Apr 14, 2018
  20. Jan 14, 2018
  21. Jan 09, 2018
  22. Jan 08, 2018
  23. Jan 02, 2018
  24. Dec 18, 2017
  25. Dec 15, 2017
  26. Nov 22, 2017
  27. Oct 20, 2017
  28. Oct 17, 2017
  29. Oct 09, 2017
Loading