Code

Cosmetic improvements#84

Code

Merged

vasdommes merged 4 commits intodavidsd:masterdavidsd/sdpb:masterfrom vasdommes:cosmeticsvasdommes/sdpb:cosmeticsCopy head branch name to clipboardJul 11, 2023

Commits

Commits on Jul 5, 2023

• Fix davidsd#73 add .gitignore

  vasdommes

  committedJul 5, 2023
  2f0ebfc

  Copy full SHA for 2f0ebfc

• ScopedTimer: simple RAII timer encapsulating Timers.add_and_start() + Timer.stop()

  Show description for 1b14642
  vasdommes

  committedJul 5, 2023
  1b14642

  Copy full SHA for 1b14642

• Add timestamps to some log messages

  vasdommes

  committedJul 5, 2023
  1d3c993

  Copy full SHA for 1d3c993

Commits on Jul 7, 2023

• print SDPB version

  vasdommes

  committedJul 7, 2023
  aeb1f3b

  Copy full SHA for aeb1f3b