Age | Commit message (Expand) | Author |
---|---|---|
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 |
index : coreboot | ||
Some coreboot project code with my work | vimacs |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
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 |