Clone this repo:

Branches

  1. a3edc6e Makefile: Add `-gnatw_R` to suppress spurious warning by Angel Pons · 3 months ago master
  2. d822df5 Makefile: Delay expansion of `$(ADAFLAGS)` by Angel Pons · 3 months ago
  3. 4e22910 Makefile: Adapt $(space) definition by Angel Pons · 8 months ago
  4. 9f87a10 time: Add T_First constant by Adrian-Ken Rueegsegger · 8 months ago
  5. 69e9086 mutime: Make Sinfo an imported constant by Adrian-Ken Rueegsegger · 8 months ago
  6. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 1 year, 6 months ago
  7. 455ed64 direct pci, debug: Fix minor style issues by Nico Huber · 1 year, 6 months ago
  8. 6582141 Makefile.proof: Add --no-inlining to SPARKFLAGS by Nico Huber · 1 year, 6 months ago
  9. c38015d mutime: Move to common/ by Nico Huber · 1 year, 6 months ago
  10. a6a4909 time: Revise state abstraction by Nico Huber · 1 year, 6 months ago
  11. a60324f Makefile.proof: Remove cvc4 from prover list by Nico Huber · 1 year, 6 months ago
  12. 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 2 years, 6 months ago
  13. 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 3 years, 2 months ago
  14. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 3 years, 2 months ago
  15. e05bf87 direct pci: Always initialize Address_State by Nico Huber · 3 years, 2 months ago
  16. ff3240b pci: Add Linux sysfs implementation of HW.PCI.Dev by Nico Huber · 3 years, 2 months ago
  17. ae9b855 pci: Add bare metal HW.PCI.Dev implementation by Nico Huber · 3 years, 2 months ago
  18. 36934fb Add `debug.adc` and option DEBUG by Nico Huber · 3 years, 2 months ago
  19. 4a10482 Add Div_Round_Up() for positive integer types by Nico Huber · 3 years, 2 months ago
  20. ba37830 Makefile: Install generated spec files too by Nico Huber · 3 years, 2 months ago