- 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 11 months ago master
- 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 1 year, 8 months ago
- 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 1 year, 8 months ago
- e05bf87 direct pci: Always initialize Address_State by Nico Huber · 1 year, 8 months ago
- ff3240b pci: Add Linux sysfs implementation of HW.PCI.Dev by Nico Huber · 1 year, 8 months ago
- ae9b855 pci: Add bare metal HW.PCI.Dev implementation by Nico Huber · 1 year, 8 months ago
- 36934fb Add `debug.adc` and option DEBUG by Nico Huber · 1 year, 8 months ago
- 4a10482 Add Div_Round_Up() for positive integer types by Nico Huber · 1 year, 8 months ago
- ba37830 Makefile: Install generated spec files too by Nico Huber · 1 year, 8 months ago
- def89eb posix file: Add procedure to query the size of a file by Nico Huber · 1 year, 8 months ago
- 81294ed gnat.adc: Allow exception handlers in pure Ada code by Nico Huber · 1 year, 8 months ago
- 967dd0d posix file: Add an `Offset` parameter and make `Len` optional by Nico Huber · 1 year, 8 months ago
- a43b1ee posix file: Let the OS decide addresses to map to by Nico Huber · 1 year, 8 months ago
- ef4545a pci: Add PCI device infrastructure by Nico Huber · 1 year, 8 months ago
- 359e314 Add HW.Config for configuration constants by Nico Huber · 1 year, 8 months ago
- 874113d time: Juggle with types for proof by Nico Huber · 1 year, 9 months ago
- 32f1489 posix file: Match newer warning wording by Nico Huber · 1 year, 9 months ago
- 3bf6759 gnat.adc: Remove restriction `No_Secondary_Stack` by Nico Huber · 1 year, 11 months ago
- 78ca582 Makefile: Compile binder's output w/o gnat config by Nico Huber · 1 year, 11 months ago
- f43881f Makefile: Add support to bind/link application binaries by Nico Huber · 1 year, 11 months ago
