Gitiles
Code Review Sign In
review.coreboot.org / coreboot / 317a982ddbc0c79ed0a5b2fc00dab74147e76505 / gnat.adc
  1. ff2d863 drivers/intel/gma: Allow SPARK function with side effects by Nico Huber · 5 months ago
  2. 6b5bc77 treewide: Remove "this file is part of" lines by Patrick Georgi · 4 years, 2 months ago
  3. 2faeb11 treewide: more SPDX header work by Patrick Georgi · 4 years, 2 months ago
  4. e941eef gnat.adc: Do not generate assertion code for Refined_Post by Nico Huber · 8 years ago
  5. 2e09d2b Make Ada a first class citizen by Nico Huber · 8 years ago