| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2016-04-18 | contracts.adb (Analyze_Object_Contract): Update references to SPARK RM. | Hristian Kirtchev | 1 | -3/+3 |
| 2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -4/+38 |
| 2015-11-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-11-12 | exp_attr.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -6/+7 |
| 2015-11-12 | einfo.ads (Overlays_Constant): Document usage for E_Constant. | Eric Botcazou | 1 | -20/+65 |
| 2015-10-26 | contracts.adb (Analyze_Object_Contract): Set and restore the SPARK_Mode for b... | Hristian Kirtchev | 1 | -5/+40 |
| 2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+19 |
| 2015-10-26 | freeze.adb (Check_Component_Storage_Order): Skip a record component if it has... | Eric Botcazou | 1 | -45/+63 |
| 2015-10-23 | exp_attr.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -3/+4 |
| 2015-10-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+17 |
| 2015-10-20 | fmap.adb, [...]: Fix coding style for marking start of processing of subprogr... | Yannick Moy | 1 | -1/+1 |
| 2015-10-20 | sem_aggr.adb, [...]: Fix typos. | Arnaud Charlet | 1 | -1/+1 |
| 2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -19/+0 |
| 2015-10-16 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not capture, set and restore... | Hristian Kirtchev | 1 | -37/+25 |
| 2015-05-27 | [multiple changes] | Arnaud Charlet | 1 | -24/+42 |
| 2015-05-26 | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture, set and restore the Gh... | Hristian Kirtchev | 1 | -5/+5 |
| 2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
| 2015-05-22 | einfo.ads (Has_Volatile_Full_Access): Rename into... | Eric Botcazou | 1 | -1/+1 |
| 2015-05-22 | exp_ch5.adb, [...]: This is a general change that deals with the fact that mo... | Robert Dewar | 1 | -24/+29 |
| 2015-05-22 | freeze.adb (Freeze_Profile): Suppress warning if imported subprogram is not a... | Bob Duff | 1 | -2/+13 |
| 2015-05-21 | [multiple changes] | Arnaud Charlet | 1 | -5/+7 |
| 2015-05-21 | [multiple changes] | Arnaud Charlet | 1 | -3/+3 |
| 2015-05-21 | sem_ch13.adb (Check_Iterator_Functions): Emit error on Iterator aspect as wel... | Ed Schonberg | 1 | -12/+25 |
| 2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -0/+16 |
| 2015-05-12 | sem_ch3.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -41/+42 |
| 2015-05-12 | sem_ch3.adb (Analyze_Object_Declaration): New function Has_Delayed_Aspect... | Ed Schonberg | 1 | -170/+210 |
| 2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -10/+10 |
| 2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
| 2015-03-13 | [multiple changes] | Arnaud Charlet | 1 | -8/+13 |
| 2015-02-20 | sem_prag.adb (Analyze_Pragma, [...]): Pragma legally applies to an abstract s... | Ed Schonberg | 1 | -1/+7 |
| 2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -7/+11 |
| 2015-02-20 | [multiple changes] | Arnaud Charlet | 1 | -3/+64 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+38 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
| 2015-01-30 | [multiple changes] | Arnaud Charlet | 1 | -20/+1 |
| 2015-01-07 | [multiple changes] | Arnaud Charlet | 1 | -6/+6 |
| 2015-01-07 | prj.ads, [...]: Minor reformatting. | Robert Dewar | 1 | -4/+9 |
| 2015-01-07 | freeze.adb (Freeze_Array_Type): Apply same handling to Is_Atomic component ty... | Eric Botcazou | 1 | -9/+6 |
| 2015-01-07 | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> | Hristian Kirtchev | 1 | -7/+50 |
| 2015-01-06 | freeze.adb (Freeze_Array_Type): Remove always true test and unreachable 'else... | Eric Botcazou | 1 | -15/+6 |
| 2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -1/+3 |
| 2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -12/+18 |
| 2015-01-06 | [multiple changes] | Arnaud Charlet | 1 | -0/+20 |
| 2015-01-06 | exp_strm.adb (Build_Elementary_Input_Call): Clarify comments in previous chec... | Robert Dewar | 1 | -0/+26 |
| 2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -8/+16 |
| 2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -4/+3 |
| 2014-11-20 | [multiple changes] | Arnaud Charlet | 1 | -2/+2 |
