Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-01-23 | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. | Hristian Kirtchev | 1 | -0/+4 |
2017-01-20 | [multiple changes] | Arnaud Charlet | 1 | -0/+5 |
2017-01-13 | atree.adb (Allocate_Initialize_Node): A newly created node is no longer marke... | Hristian Kirtchev | 1 | -57/+139 |
2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -8/+17 |
2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -4/+0 |
2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -6/+0 |
2015-05-26 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh... | Hristian Kirtchev | 1 | -17/+46 |
2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -0/+115 |