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