summaryrefslogtreecommitdiff
path: root/gnat.adc
AgeCommit message (Expand)Author
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