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