Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / 503454968ba8dbad423c6deb1e44397ab11d291b / common / hw-time.adb
  1. 2480f77 time: Rewrite Now_US() again to ease automatic proving by Nico Huber · 7 weeks ago
  2. 8be5a82 Fix "unnecessary with of ancestor [-gnatwr]" by Elyes Haouas · 3 years, 9 months ago
  3. a6a4909 time: Revise state abstraction by Nico Huber · 8 years ago
  4. 874113d time: Juggle with types for proof by Nico Huber · 9 years ago
  5. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  6. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago