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.
 
 
 
Jeremy Compostella 95ad8c53c6
hw-debug: Place global variables in the .bss section
1 month ago
ada dynamic_mmio: Use volatile access type 2 years ago
c posix file: Add an `Offset` parameter and make `Len` optional 6 years ago
common Fix "unnecessary with of ancestor [-gnatwr]" 4 months ago
configs pci: Add Linux sysfs implementation of HW.PCI.Dev 6 years ago
debug hw-debug: Place global variables in the .bss section 1 month ago
proof pci: Add Linux sysfs implementation of HW.PCI.Dev 6 years ago
.gitignore Initial upstream commit 6 years ago
COPYING Initial upstream commit 6 years ago
Makefile Makefile: Add `-gnatw_R` to suppress spurious warning 3 years ago
Makefile.inc Add support to map the contents of a file 6 years ago
Makefile.proof Makefile: Revise support for generated sources 4 years ago
debug.adc Add `debug.adc` and option DEBUG 6 years ago
gnat.adc gnat.adc: Allow exception handlers in pure Ada code 6 years ago
spark.adc gnat.adc: Remove restriction `No_Secondary_Stack` 6 years ago