1. 6b5bc77 treewide: Remove "this file is part of" lines by Patrick Georgi · 2 years, 2 months ago
  2. 2faeb11 treewide: more SPDX header work by Patrick Georgi · 2 years, 2 months ago
  3. e941eef gnat.adc: Do not generate assertion code for Refined_Post by Nico Huber · 6 years ago
  4. 2e09d2b Make Ada a first class citizen by Nico Huber · 6 years ago