Commits and authors (simple-bmc)

Total number of commits (excl. merge): 2