Age | Commit message (Expand) | Author |
---|---|---|
2020-05-11 | treewide: Remove "this file is part of" lines | Patrick Georgi |
2020-05-09 | treewide: more SPDX header work | Patrick Georgi |
2016-10-29 | gnat.adc: Do not generate assertion code for Refined_Post | Nico Huber |
2016-09-19 | Make Ada a first class citizen | Nico Huber |