Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / 5bd7c1101c0b8610949e0172b0e1a0072fd03638
  1. 5bd7c11 Makefile.proof: Increase proof timeout by Nico Huber · 9 weeks ago main
  2. 35ca5cc Makefile.proof: Allow to override $(jobs) for `proof-allconfigs` by Nico Huber · 9 weeks ago
  3. 5034549 Makefile.proof: Also run the regular build as part of proofs by Nico Huber · 9 weeks ago
  4. 0498e10 Makefile.proof: Add full paths and config to diagnostic output by Nico Huber · 9 weeks ago
  5. 2480f77 time: Rewrite Now_US() again to ease automatic proving by Nico Huber · 7 weeks ago
  6. 3a9d9a0 posix file: Explicitly disable SPARK_Mode for hw_file_map() by Nico Huber · 10 weeks ago
  7. d8fae23 Makefile: Always disable warnings for out-of-order record fields by Nico Huber · 2 years, 2 months ago
  8. 584629b Avoid warning '"Pos64" is already use-visible' by Nico Huber · 2 years, 11 months ago
  9. 95ad8c5 hw-debug: Place global variables in the .bss section by Jeremy Compostella · 3 years, 7 months ago
  10. 8be5a82 Fix "unnecessary with of ancestor [-gnatwr]" by Elyes Haouas · 3 years, 9 months ago
  11. fc2102f dynamic_mmio: Use volatile access type by Nico Huber · 5 years ago
  12. a3edc6e Makefile: Add `-gnatw_R` to suppress spurious warning by Angel Pons · 6 years ago
  13. d822df5 Makefile: Delay expansion of `$(ADAFLAGS)` by Angel Pons · 6 years ago
  14. 4e22910 Makefile: Adapt $(space) definition by Angel Pons · 6 years ago
  15. 9f87a10 time: Add T_First constant by Adrian-Ken Rueegsegger · 9 years ago
  16. 69e9086 mutime: Make Sinfo an imported constant by Adrian-Ken Rueegsegger · 6 years ago
  17. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 8 years ago
  18. 455ed64 direct pci, debug: Fix minor style issues by Nico Huber · 8 years ago
  19. 6582141 Makefile.proof: Add --no-inlining to SPARKFLAGS by Nico Huber · 8 years ago
  20. c38015d mutime: Move to common/ by Nico Huber · 8 years ago
  21. a6a4909 time: Revise state abstraction by Nico Huber · 8 years ago
  22. a60324f Makefile.proof: Remove cvc4 from prover list by Nico Huber · 8 years ago
  23. 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 8 years ago
  24. 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 9 years ago
  25. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 9 years ago
  26. e05bf87 direct pci: Always initialize Address_State by Nico Huber · 9 years ago
  27. ff3240b pci: Add Linux sysfs implementation of HW.PCI.Dev by Nico Huber · 9 years ago
  28. ae9b855 pci: Add bare metal HW.PCI.Dev implementation by Nico Huber · 9 years ago
  29. 36934fb Add `debug.adc` and option DEBUG by Nico Huber · 9 years ago
  30. 4a10482 Add Div_Round_Up() for positive integer types by Nico Huber · 9 years ago
  31. ba37830 Makefile: Install generated spec files too by Nico Huber · 9 years ago
  32. def89eb posix file: Add procedure to query the size of a file by Nico Huber · 9 years ago
  33. 81294ed gnat.adc: Allow exception handlers in pure Ada code by Nico Huber · 9 years ago
  34. 967dd0d posix file: Add an `Offset` parameter and make `Len` optional by Nico Huber · 9 years ago
  35. a43b1ee posix file: Let the OS decide addresses to map to by Nico Huber · 9 years ago
  36. ef4545a pci: Add PCI device infrastructure by Nico Huber · 9 years ago
  37. 359e314 Add HW.Config for configuration constants by Nico Huber · 9 years ago
  38. 874113d time: Juggle with types for proof by Nico Huber · 9 years ago
  39. 32f1489 posix file: Match newer warning wording by Nico Huber · 9 years ago
  40. 3bf6759 gnat.adc: Remove restriction `No_Secondary_Stack` by Nico Huber · 9 years ago
  41. 78ca582 Makefile: Compile binder's output w/o gnat config by Nico Huber · 9 years ago
  42. f43881f Makefile: Add support to bind/link application binaries by Nico Huber · 9 years ago
  43. 9d5d025 Makefile: Remove -gnatg from ADAFLAGS by Nico Huber · 9 years ago
  44. f03ef4f Add support to map the contents of a file by Nico Huber · 9 years ago
  45. e86fff9 Makefile: Add simple compilation rule for C by Nico Huber · 9 years ago
  46. 5f82d1a ada/dynamic_mmio: Drop unnecessary Volatile aspect by Nico Huber · 9 years ago
  47. cf01ab6 Makefile: Fix whitespace and syntax highlighting nits by Nico Huber · 9 years ago
  48. 868915f Makefile: Add support for out-of-tree sources by Nico Huber · 9 years ago
  49. b664119 Add muen scheduling info as timer source by Nico Huber · 9 years ago
  50. a5c8ba2 Add Div_Round_Closest() for positive integer types by Nico Huber · 9 years ago
  51. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  52. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  53. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  54. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago