summaryrefslogtreecommitdiffstats
path: root/gnat.adc
Commit message (Expand)AuthorAgeFilesLines
* 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