2017-11-16 |
Hristian Kirtchev | opt.ads: Elaboration warnings are now on by default. 2017-11-16 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-11-08 |
Hristian Kirtchev | exp_ch3.adb (Expand_N_Object_Declaration): Save and... 2017-11-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-10-14 |
Hristian Kirtchev | sem_elab.adb (In_Preelaborated_Context): A generic... 2017-10-14 Hristian Kirtchev <kirtchev@adacore.com> 2017-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-09-06 |
Hristian Kirtchev | exp_attr.adb, [...]: Minor reformatting. 2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-09-06 |
Hristian Kirtchev | exp_util.adb, [...]: Minor reformatting. 2017-09-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-28 |
Hristian Kirtchev | exp_ch6.adb (Expand_N_Extended_Return_Statement): Use... 2017-04-28 Hristian Kirtchev <kirtchev@adacore.com> 2017-04-28 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-28 |
Hristian Kirtchev | exp_util.adb, [...]: Minor reformatting. 2017-04-28 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-27 |
Hristian Kirtchev | exp_ch9.adb (Expand_Entry_Barrier): Code cleanup. 2017-04-27 Hristian Kirtchev <kirtchev@adacore.com> 2017-04-27 Hristian Kirtchev <kirtchev@adacore.com> 2017-04-27 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-27 |
Hristian Kirtchev | exp_util.adb, [...]: Minor reformatting and code cleanups. 2017-04-27 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Hristian Kirtchev | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract... 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Hristian Kirtchev | checks.adb (Insert_Valid_Check): Code cleanup. 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Hristian Kirtchev | sem_prag.adb, [...]: Minor reformatting. 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Hristian Kirtchev | sem_prag.adb, [...]: Minor reformatting. 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-04-25 |
Hristian Kirtchev | exp_util.adb, [...]: Revert previous changes. 2017-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-23 |
Hristian Kirtchev | ghost.ads, ghost.adb (Is_Ignored_Ghost_Unit): New routine. 2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-23 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting. 2017-01-23 Hristian Kirtchev <kirtchev@adacore.com> 2017-01-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-20 |
Hristian Kirtchev | sem_ch10.adb, [...]: Minor reformatting. 2017-01-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-19 |
Hristian Kirtchev | exp_ch3.adb (Expand_Freeze_Enumeration_Type): Mark... 2017-01-19 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-19 |
Hristian Kirtchev | exp_ch6.adb (Expand_N_Subprogram_Body): Mark the spec... 2017-01-19 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-13 |
Hristian Kirtchev | sem_ch6.adb (Analyze_Subprogram_Body_Helper): Ensure... 2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-13 |
Hristian Kirtchev | sem_aggr.adb, [...]: Minor reformatting. 2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-13 |
Hristian Kirtchev | sem_aggr.adb, [...]: Update all eligible case statements... 2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-13 |
Hristian Kirtchev | atree.adb (Allocate_Initialize_Node): A newly created... 2017-01-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-09 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_... 2017-01-09 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2017-01-06 |
Hristian Kirtchev | exp_ch9.adb: Minor reformatting. 2017-01-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-10-12 |
Hristian Kirtchev | exp_ch5.adb, [...]: Minor reformatting. 2016-10-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-07-04 |
Hristian Kirtchev | g-sercom-mingw.adb, [...]: Minor reformatting. 2016-07-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-07-04 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting. 2016-07-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-06-16 |
Hristian Kirtchev | bindgen.adb, [...]: Minor reformatting. 2016-06-16 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Hristian Kirtchev | sem_ch13.adb (Alignment_Error): Removed. 2016-05-02 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-05-02 |
Hristian Kirtchev | checks.adb, [...]: Minor reformatting. 2016-05-02 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Hristian Kirtchev | lib-writ.adb, [...]: Minor reformatting and code cleanup. 2016-04-21 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-21 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting. 2016-04-21 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | exp_unst.adb: Minor reformatting. 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_ch12.adb (Qualify_Universal_Operands): New routine. 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | s-imgllu.adb, [...]: Minor reformatting. 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_res.adb (Rewrite_Renamed_Operator): Do not rewrite... 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_util.adb, [...]: Minor reformatting. 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-20 |
Hristian Kirtchev | sem_ch13.adb (Build_Invariant_Procedure): Reimplement... 2016-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-18 |
Hristian Kirtchev | par-ch2.adb (P_Expression_Or_Reserved_Word): New routine. 2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-18 |
Hristian Kirtchev | sem_ch3.adb (Analyze_Object_Declaration): Do not consider... 2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2016-04-18 |
Hristian Kirtchev | contracts.adb (Analyze_Object_Contract): Update references... 2016-04-18 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-11-18 |
Hristian Kirtchev | re PR ada/66242 (Front-end error if exception propagation... 2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-11-18 |
Hristian Kirtchev | sem_ch4.adb: Minor reformatting. 2015-11-18 Hristian Kirtchev <kirtchev@adacore.com> 2015-11-18 Hristian Kirtchev <kirtchev@adacore.com> 2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-11-12 |
Hristian Kirtchev | sem_ch10.adb, atree.adb: Minor reformatting. 2015-11-12 Hristian Kirtchev <kirtchev@adacore.com> 2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-11-12 |
Hristian Kirtchev | contracts.adb (Analyze_Entry_Or_Subprogram_Body_Contract... 2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-11-12 |
Hristian Kirtchev | exp_attr.adb, [...]: Minor reformatting. 2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-27 |
Hristian Kirtchev | namet.adb, namet.ads: Minor reformatting. 2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-27 |
Hristian Kirtchev | inline.adb (Is_Expression_Function): Removed. 2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-27 |
Hristian Kirtchev | lib-xref-spark_specific.adb, [...]: Minor reformatting. 2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-26 |
Hristian Kirtchev | contracts.adb (Analyze_Object_Contract): Set and restore... 2015-10-26 Hristian Kirtchev <kirtchev@adacore.com> 2015-10-26 Hristian Kirtchev <kirtchev@adacore.com> 2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-26 |
Hristian Kirtchev | sem_ch3.adb, [...]: Minor reformatting. 2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Hristian Kirtchev | sem_ch12.adb, [...]: Minor reformatting. 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Hristian Kirtchev | a-exextr.adb, [...]: Minor reformatting. 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Hristian Kirtchev | exp_attr.adb, [...]: Minor reformatting. 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Hristian Kirtchev | sem_prag.adb (Analyze_Pragma): Pragma Volatile_Function... 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-23 |
Hristian Kirtchev | exp_ch7.adb (Process_Transient_Objects): Reimplement... 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-20 |
Hristian Kirtchev | 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> 2015-10-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-10-16 |
Hristian Kirtchev | exp_ch3.adb (Expand_N_Full_Type_Declaration): Do not... 2015-10-16 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-26 |
Hristian Kirtchev | exp_ch3.adb (Expand_N_Full_Type_Declaration): Capture... 2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-26 |
Hristian Kirtchev | exp_ch6.adb (Process_Contract_Cases_For): Update the... 2015-05-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-22 |
Hristian Kirtchev | einfo.adb (Default_Init_Cond_Procedure): Code cleanup. 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-22 |
Hristian Kirtchev | 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com> 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-22 |
Hristian Kirtchev | sem_prag.adb (Analyze_Pragma): Remove the detection... 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-05-21 |
Hristian Kirtchev | einfo.adb (Contract): This attribute now applies to... 2015-05-21 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-03-02 |
Hristian Kirtchev | sem_attr.adb (Analyze_Attribute): Factor out heavily... 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-03-02 |
Hristian Kirtchev | exp_util.adb (Possible_Bit_Aligned_Component): Do not... 2015-03-02 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2015-01-07 |
Hristian Kirtchev | 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com> 2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-11-20 |
Hristian Kirtchev | sem_util.adb (Extensions_Visible_Status): Modify the... 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-10-23 |
Hristian Kirtchev | sysdep.c (__gnat_localtime_tzoff): Properly delimit... 2014-10-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-10-17 |
Hristian Kirtchev | sem_ch3.adb (Build_Derived_Record_Type): Remove the... 2014-10-17 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-08-04 |
Hristian Kirtchev | sem_ch3.adb (Analyze_Declarations): Explain why the... 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-08-04 |
Hristian Kirtchev | 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com> 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-08-04 |
Hristian Kirtchev | sem_ch7.adb (Analyze_Package_Body_Helper): When verifying... 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-08-04 |
Hristian Kirtchev | 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com> 2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-08-01 |
Hristian Kirtchev | sem_ch8.adb (Analyze_Subprogram_Renaming): Alphabetize... 2014-08-01 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-07-30 |
Hristian Kirtchev | a-cbmutr.adb (Insert_Child): Use local variable First... 2014-07-30 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-07-29 |
Hristian Kirtchev | exp_ch4.adb (Process_Transient_Object): Remove constant... 2014-07-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-06-13 |
Hristian Kirtchev | freeze.adb (Freeze_Entity): Remove the check concerning... 2014-06-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-05-21 |
Hristian Kirtchev | freeze.adb (Freeze_Record_Type): Update the use of... 2014-05-21 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-02-25 |
Hristian Kirtchev | exp_ch6.adb (Add_Or_Save_Precondition): New routine. 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-02-25 |
Hristian Kirtchev | 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-02-24 |
Hristian Kirtchev | sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do... 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-02-24 |
Hristian Kirtchev | sem_prag.adb (Analyze_Global_Item): Move the check... 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-02-06 |
Hristian Kirtchev | sem_ch3.adb (Handle_Late_Controlled_Primitive): Add... 2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-01-29 |
Hristian Kirtchev | sem_util.adb (Find_Placement_In_State_Space): Assume... 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-01-29 |
Hristian Kirtchev | sem_prag.adb (Check_Missing_Part_Of): List all values... 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-01-29 |
Hristian Kirtchev | 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com> 2014-01-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2014-01-20 |
Hristian Kirtchev | einfo.adb (Non_Limited_View): Applies to abstract states. 2014-01-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | aspects.adb, [...]: Remove all entries for Refined_Pre... 2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | exp_util.adb, [...] (Entity_Of): Moved to Sem_Util. 2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-17 |
Hristian Kirtchev | sem_ch13.adb (Analyze_Aspect_Specifications): Flag... 2013-10-17 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Is_Matching_Input): Consume a matching... 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Analyze_Depends_In_Decl_Part): Rename... 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | einfo.adb: Flag 263 is now known as Has_Visible_Refinement. 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Check_Mode): Do not emit an error when... 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | sem_prag.adb (Analyze_Global_In_Decl_Part): Remove... 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-14 |
Hristian Kirtchev | aspects.adb: Add an entry in table Canonical_Aspect... 2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-10-13 |
Hristian Kirtchev | einfo.adb: Add node/list usage for Refined_State and... 2013-10-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-09-10 |
Hristian Kirtchev | sem_prag.adb (Get_SPARK_Mode_Id): Handle the case where... 2013-09-10 Hristian Kirtchev <kirtchev@adacore.com> 2013-09-10 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
next |