Skip to content
Snippets Groups Projects
  1. Oct 14, 2018
  2. Oct 13, 2018
  3. Oct 12, 2018
  4. Oct 10, 2018
  5. Oct 05, 2018
  6. Sep 28, 2018
  7. Sep 04, 2018
  8. Jul 20, 2018
  9. Jul 17, 2018
    • Giovanni Bussi's avatar
      changelog · dd68b5c1
      Giovanni Bussi authored
      dd68b5c1
    • Giovanni Bussi's avatar
      commit fix · ba752d90
      Giovanni Bussi authored
      when using DEBUG, detailed timers were always shown by mistake.
      Now they are only shown when using flag DETAILED_TIMERS
      ba752d90
  10. Jul 13, 2018
  11. Jul 12, 2018
  12. Jul 02, 2018
  13. Jun 12, 2018
  14. Jun 08, 2018
  15. Jun 06, 2018
  16. Jun 04, 2018
    • Giovanni Bussi's avatar
      small fix · 9e83e94e
      Giovanni Bussi authored
      just annoying when there are directories whose name contains a space
      within the src/ directory
      9e83e94e
  17. May 30, 2018
  18. May 28, 2018
  19. May 21, 2018
  20. May 16, 2018
  21. May 13, 2018
    • Giovanni Bussi's avatar
      Add check astyle · 6b598e34
      Giovanni Bussi authored
      Check first if astyle is present. In this way, when astyle is not compiled,
      we get a single error instead of one error per file.
      6b598e34
  22. May 12, 2018
Loading