Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / 1404fbbee41319e727915e745f09a05ef6f313f4
  1. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 9 years ago
  2. e05bf87 direct pci: Always initialize Address_State by Nico Huber · 9 years ago
  3. ff3240b pci: Add Linux sysfs implementation of HW.PCI.Dev by Nico Huber · 9 years ago
  4. ae9b855 pci: Add bare metal HW.PCI.Dev implementation by Nico Huber · 9 years ago
  5. 36934fb Add `debug.adc` and option DEBUG by Nico Huber · 9 years ago
  6. 4a10482 Add Div_Round_Up() for positive integer types by Nico Huber · 9 years ago
  7. ba37830 Makefile: Install generated spec files too by Nico Huber · 9 years ago
  8. def89eb posix file: Add procedure to query the size of a file by Nico Huber · 9 years ago
  9. 81294ed gnat.adc: Allow exception handlers in pure Ada code by Nico Huber · 9 years ago
  10. 967dd0d posix file: Add an `Offset` parameter and make `Len` optional by Nico Huber · 9 years ago
  11. a43b1ee posix file: Let the OS decide addresses to map to by Nico Huber · 9 years ago
  12. ef4545a pci: Add PCI device infrastructure by Nico Huber · 9 years ago
  13. 359e314 Add HW.Config for configuration constants by Nico Huber · 9 years ago
  14. 874113d time: Juggle with types for proof by Nico Huber · 9 years ago
  15. 32f1489 posix file: Match newer warning wording by Nico Huber · 9 years ago
  16. 3bf6759 gnat.adc: Remove restriction `No_Secondary_Stack` by Nico Huber · 9 years ago
  17. 78ca582 Makefile: Compile binder's output w/o gnat config by Nico Huber · 9 years ago
  18. f43881f Makefile: Add support to bind/link application binaries by Nico Huber · 9 years ago
  19. 9d5d025 Makefile: Remove -gnatg from ADAFLAGS by Nico Huber · 9 years ago
  20. f03ef4f Add support to map the contents of a file by Nico Huber · 9 years ago
  21. e86fff9 Makefile: Add simple compilation rule for C by Nico Huber · 9 years ago
  22. 5f82d1a ada/dynamic_mmio: Drop unnecessary Volatile aspect by Nico Huber · 9 years ago
  23. cf01ab6 Makefile: Fix whitespace and syntax highlighting nits by Nico Huber · 9 years ago
  24. 868915f Makefile: Add support for out-of-tree sources by Nico Huber · 9 years ago
  25. b664119 Add muen scheduling info as timer source by Nico Huber · 9 years ago
  26. a5c8ba2 Add Div_Round_Closest() for positive integer types by Nico Huber · 9 years ago
  27. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  28. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  29. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  30. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago