Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / refs/heads/main / common
  1. 61f7287 pci direct: Allow a preset MMConf address per `Dev` instance by Nico Huber · 6 years ago main
  2. 2480f77 time: Rewrite Now_US() again to ease automatic proving by Nico Huber · 4 months ago
  3. 8be5a82 Fix "unnecessary with of ancestor [-gnatwr]" by Elyes Haouas · 4 years ago
  4. 9f87a10 time: Add T_First constant by Adrian-Ken Rueegsegger · 9 years ago
  5. 69e9086 mutime: Make Sinfo an imported constant by Adrian-Ken Rueegsegger · 7 years ago
  6. 455ed64 direct pci, debug: Fix minor style issues by Nico Huber · 8 years ago
  7. c38015d mutime: Move to common/ by Nico Huber · 8 years ago
  8. a6a4909 time: Revise state abstraction by Nico Huber · 8 years ago
  9. 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 8 years ago
  10. 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 9 years ago
  11. e05bf87 direct pci: Always initialize Address_State by Nico Huber · 9 years ago
  12. ff3240b pci: Add Linux sysfs implementation of HW.PCI.Dev by Nico Huber · 9 years ago
  13. ae9b855 pci: Add bare metal HW.PCI.Dev implementation by Nico Huber · 9 years ago
  14. 4a10482 Add Div_Round_Up() for positive integer types by Nico Huber · 9 years ago
  15. def89eb posix file: Add procedure to query the size of a file by Nico Huber · 9 years ago
  16. 967dd0d posix file: Add an `Offset` parameter and make `Len` optional by Nico Huber · 9 years ago
  17. a43b1ee posix file: Let the OS decide addresses to map to by Nico Huber · 9 years ago
  18. ef4545a pci: Add PCI device infrastructure by Nico Huber · 9 years ago
  19. 359e314 Add HW.Config for configuration constants by Nico Huber · 9 years ago
  20. 874113d time: Juggle with types for proof by Nico Huber · 9 years ago
  21. f03ef4f Add support to map the contents of a file by Nico Huber · 9 years ago
  22. a5c8ba2 Add Div_Round_Closest() for positive integer types by Nico Huber · 10 years ago
  23. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  24. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago