2014-07-17 |
Robert Dewar | sem_ch3.adb, [...]: Remove the word kludge from ada... |
blob | commitdiff | raw |
2014-07-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-06-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-05-21 |
Robert Dewar | einfo.ads (Can_Never_Be_Null): Minor comment update. |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-25 |
Hristian Kirtchev | 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> |
blob | commitdiff | raw | diff to current |
2014-02-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-20 |
Robert Dewar | einfo.ads: Minor comment addition: Etype of package... |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Arnaud Charlet | 2014-02-06 Sergey Rybin <rybin@adacore.com frybin> |
blob | commitdiff | raw | diff to current |
2014-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Robert Dewar | exp_ch5.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-02-04 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Robert Dewar | a-except-2005.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-29 |
Hristian Kirtchev | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Robert Dewar | sem_prag.adb (Set_Convention_From_Pragma): Check that... |
blob | commitdiff | raw | diff to current |
2014-01-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-21 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2014-01-20 |
Hristian Kirtchev | einfo.adb (Non_Limited_View): Applies to abstract states. |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-17 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Hristian Kirtchev | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Robert Dewar | einfo.ads, einfo.adb (Default_Aspect_Component_Value... |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-14 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect... |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-13 |
Hristian Kirtchev | einfo.adb: Add node/list usage for Refined_State and... |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Robert Dewar | freeze.adb: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-10-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-09-10 |
Robert Dewar | sem_ch3.adb, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Hristian Kirtchev | einfo.adb (Get_Pragma): Handle the retrieval of delayed... |
blob | commitdiff | raw | diff to current |
2013-07-08 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canon... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove with and use clauses for... |
blob | commitdiff | raw | diff to current |
2013-04-25 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-24 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-23 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-12 |
Hristian Kirtchev | aspects.adb: Alphabetize subprogram bodies in this... |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Robert Dewar | einfo.ads, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-04-11 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-02-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-03 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Thomas Quinot | exp_intr.adb (Expand_Dispatching_Constructor_Call)... |
blob | commitdiff | raw | diff to current |
2013-01-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-11-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-29 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-10-02 |
Robert Dewar | par_sco.adb, [...]: Change name Conditional_Expression... |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Vincent Pucci | einfo.adb einfo.ads (Get_Rep_Item): Removed. |
blob | commitdiff | raw | diff to current |
2012-06-14 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-06-12 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-05-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-04-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-04-26 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-19 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-15 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-03-07 |
Thomas Quinot | einfo.adb, einfo.ads: Remove unused entity flags. |
blob | commitdiff | raw | diff to current |
2012-03-07 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Robert Dewar | a-strhas.ads, [...]: Minor reformatting/code reorganiza... |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Robert Dewar | einfo.ads, [...]: Minor reformatting. |
blob | commitdiff | raw | diff to current |
2012-01-30 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-12-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-12-02 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-10-06 |
Arnaud Charlet | [multiple changes] |
blob | commitdiff | raw | diff to current |
2011-09-27 |
Ed Schonberg | a-cbhase.adb, [...]: Add iterator machinery to bounded... |
blob | commitdiff | raw | diff to current |
2011-09-06 |
Robert Dewar | a-cbprqu.ads, [...]: Mark all entities as Implementatio... |
blob | commitdiff | raw | diff to current |
next |