1. a5c8ba2 Add Div_Round_Closest() for positive integer types by Nico Huber · 9 years ago
  2. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  3. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  4. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  5. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago