Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-11-09 | [multiple changes] | Pierre-Marie de Rodat | 1 | -1/+1 |
2017-11-08 | lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta... | Pierre-Marie de Rodat | 1 | -4/+6 |
2017-11-08 | sem_disp.adb (Is_Inherited_Public_Operation): Extend the functionality of thi... | Pierre-Marie de Rodat | 1 | -2/+10 |
2017-09-07 | [multiple changes] | Arnaud Charlet | 1 | -24/+1 |
2017-04-25 | Minor reformatting. | Arnaud Charlet | 1 | -1/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+7 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -10/+10 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -3/+1 |
2017-04-25 | sem_prag.adb, [...]: Minor reformatting. | Hristian Kirtchev | 1 | -6/+8 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -0/+59 |
2017-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+10 |
2017-01-19 | [multiple changes] | Arnaud Charlet | 1 | -3/+19 |
2017-01-06 | exp_ch5.adb (Get_Default_Iterator): For a derived type... | Ed Schonberg | 1 | -2/+8 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2016-04-19 | [multiple changes] | Arnaud Charlet | 1 | -13/+15 |
2016-04-18 | [multiple changes] | Arnaud Charlet | 1 | -68/+114 |
2015-10-26 | [multiple changes] | Arnaud Charlet | 1 | -7/+23 |
2015-10-16 | exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM. | Arnaud Charlet | 1 | -4/+3 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -5/+14 |
2015-05-26 | [multiple changes] | Arnaud Charlet | 1 | -0/+3 |
2015-05-26 | inline.adb (Has_Initialized_Type): Adapt to new names. | Yannick Moy | 1 | -0/+10 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -7/+4 |
2015-05-22 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2015-05-12 | sem_ch9.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -3/+2 |
2015-05-12 | sem_ch9.adb (Collect_Interfaces): Initialize Direct_Primitive_Operations for ... | Ed Schonberg | 1 | -0/+5 |
2015-05-12 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2015-03-02 | exp_ch9.adb (Build_Corresponding_Record): Propagate type invariants to the co... | Javier Miranda | 1 | -3/+3 |
2015-01-30 | sem_disp.adb: Minor reformatting. | Robert Dewar | 1 | -4/+4 |
2015-01-30 | sem_disp.adb (Is_Dynamically_Tagged): when applied to an entity or a function... | Ed Schonberg | 1 | -2/+24 |
2014-10-10 | [multiple changes] | Arnaud Charlet | 1 | -8/+2 |
2014-08-04 | [multiple changes] | Arnaud Charlet | 1 | -45/+60 |
2014-08-01 | [multiple changes] | Arnaud Charlet | 1 | -9/+38 |
2014-02-24 | [multiple changes] | Arnaud Charlet | 1 | -2/+8 |
2014-01-29 | a-except-2005.adb, [...]: Minor reformatting. | Robert Dewar | 1 | -6/+6 |
2014-01-20 | exp_spark.adb (Expand_SPARK_Call): Remove procedure. | Yannick Moy | 1 | -1/+1 |
2013-10-17 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -2/+5 |
2013-04-25 | [multiple changes] | Arnaud Charlet | 1 | -1/+14 |
2013-04-12 | [multiple changes] | Arnaud Charlet | 1 | -8/+5 |
2013-04-11 | [multiple changes] | Arnaud Charlet | 1 | -0/+15 |
2013-04-11 | exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements): Do not add cleanup ac... | Javier Miranda | 1 | -2/+2 |
2013-01-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+1 |
2013-01-03 | [multiple changes] | Arnaud Charlet | 1 | -10/+19 |
2013-01-02 | [multiple changes] | Arnaud Charlet | 1 | -9/+9 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -0/+6 |
2012-10-29 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -50/+47 |
2012-07-12 | [multiple changes] | Arnaud Charlet | 1 | -20/+96 |
2012-07-09 | [multiple changes] | Arnaud Charlet | 1 | -2/+4 |