Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase

Ada base library for hardware access

Clone this repo:

Branches

  1. 3a9d9a0 posix file: Explicitly disable SPARK_Mode for hw_file_map() by Nico Huber · 7 weeks ago main
  2. d8fae23 Makefile: Always disable warnings for out-of-order record fields by Nico Huber · 2 years, 1 month ago
  3. 584629b Avoid warning '"Pos64" is already use-visible' by Nico Huber · 2 years, 10 months ago
  4. 95ad8c5 hw-debug: Place global variables in the .bss section by Jeremy Compostella · 3 years, 6 months ago
  5. 8be5a82 Fix "unnecessary with of ancestor [-gnatwr]" by Elyes Haouas · 3 years, 8 months ago
  6. fc2102f dynamic_mmio: Use volatile access type by Nico Huber · 5 years ago
  7. a3edc6e Makefile: Add `-gnatw_R` to suppress spurious warning by Angel Pons · 6 years ago
  8. d822df5 Makefile: Delay expansion of `$(ADAFLAGS)` by Angel Pons · 6 years ago
  9. 4e22910 Makefile: Adapt $(space) definition by Angel Pons · 6 years ago
  10. 9f87a10 time: Add T_First constant by Adrian-Ken Rueegsegger · 9 years ago
  11. 69e9086 mutime: Make Sinfo an imported constant by Adrian-Ken Rueegsegger · 6 years ago
  12. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 8 years ago
  13. 455ed64 direct pci, debug: Fix minor style issues by Nico Huber · 8 years ago
  14. 6582141 Makefile.proof: Add --no-inlining to SPARKFLAGS by Nico Huber · 8 years ago
  15. c38015d mutime: Move to common/ by Nico Huber · 8 years ago
  16. a6a4909 time: Revise state abstraction by Nico Huber · 8 years ago
  17. a60324f Makefile.proof: Remove cvc4 from prover list by Nico Huber · 8 years ago
  18. 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 8 years ago
  19. 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 9 years ago
  20. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 9 years ago