You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Nico Huber bd0ed91cb9 Makefile: Revise support for generated sources 1 year ago
ada mutime: Move to common/ 1 month ago
c posix file: Add an `Offset` parameter and make `Len` optional 1 year ago
common direct pci, debug: Fix minor style issues 1 month ago
configs pci: Add Linux sysfs implementation of HW.PCI.Dev 1 year ago
debug direct pci, debug: Fix minor style issues 1 month ago
proof pci: Add Linux sysfs implementation of HW.PCI.Dev 1 year ago
.gitignore Initial upstream commit 2 years ago
COPYING Initial upstream commit 2 years ago
Makefile Makefile: Revise support for generated sources 1 month ago
Makefile.inc Add support to map the contents of a file 2 years ago
Makefile.proof Makefile: Revise support for generated sources 1 month ago
debug.adc Add `debug.adc` and option DEBUG 1 year ago
gnat.adc gnat.adc: Allow exception handlers in pure Ada code 1 year ago
spark.adc gnat.adc: Remove restriction `No_Secondary_Stack` 2 years ago