summaryrefslogtreecommitdiffstats
path: root/gnat.adc
Commit message (Expand)AuthorAgeFilesLines
* treewide: Remove "this file is part of" linesPatrick Georgi2020-05-111-1/+0
* treewide: more SPDX header workPatrick Georgi2020-05-091-11/+1
* gnat.adc: Do not generate assertion code for Refined_PostNico Huber2016-10-291-1/+2
* Make Ada a first class citizenNico Huber2016-09-191-0/+40