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