summaryrefslogtreecommitdiff
path: root/gnat.adc
AgeCommit message (Expand)Author
2024-03-01drivers/intel/gma: Allow SPARK function with side effectsNico Huber
2020-05-11treewide: Remove "this file is part of" linesPatrick Georgi
2020-05-09treewide: more SPDX header workPatrick Georgi
2016-10-29gnat.adc: Do not generate assertion code for Refined_PostNico Huber
2016-09-19Make Ada a first class citizenNico Huber