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 |
2013-07-08 |
Hristian Kirtchev | einfo.adb (Get_Pragma): Handle the retrieval of delayed... 2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-07-05 |
Hristian Kirtchev | aspects.adb: Add an entry for SPARK_Mode in table Canonical_... 2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-07-05 |
Hristian Kirtchev | exp_ch4.adb (Expand_Composite_Equality): Use the full... 2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-04-25 |
Hristian Kirtchev | einfo.ads, einfo.adb: Remove with and use clauses for... 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-04-24 |
Hristian Kirtchev | exp_ch6.adb: Remove with and use clause for Sem_Prag. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-04-12 |
Hristian Kirtchev | aspects.adb (Find_Aspect): New routine. 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-04-12 |
Hristian Kirtchev | aspects.adb: Alphabetize subprogram bodies in this... 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-04-12 |
Hristian Kirtchev | sem_ch13.adb (Analyze_Aspect_Specifications): Aspect... 2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-02-06 |
Hristian Kirtchev | Make-lang.in: Enable System.Stack_Checking.Operations... 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2013-02-06 |
Hristian Kirtchev | sem_ch3.adb (Complete_Private_Subtype): Inherit the... 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2012-11-06 |
Hristian Kirtchev | sem_prag.adb (Analyze_Pragma): Do not output the characters... 2012-11-06 Hristian Kirtchev <kirtchev@adacore.com> 2012-11-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2012-05-15 |
Hristian Kirtchev | exp_ch4.adb (Insert_Dereference_Action): Reimplemented. 2012-05-15 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-12-20 |
Hristian Kirtchev | sem_ch4.adb (Operator_Check): Update the call to Is_Dimensio... 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-12-20 |
Hristian Kirtchev | sem_res.adb (Resolve_Allocator): Warning on allocation... 2011-12-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-12-12 |
Hristian Kirtchev | exp_ch4.adb (Expand_N_Allocator): Update the master... 2011-12-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-11-04 |
Hristian Kirtchev | exp_alfa.adb: Add local constant Disable_Processing_Of_Renam... 2011-11-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-09-06 |
Hristian Kirtchev | exp_attr.adb (Expand_N_Attribute_Reference): Rewrite... 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-09-02 |
Hristian Kirtchev | exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not... 2011-09-02 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-30 |
Hristian Kirtchev | exp_ch3.adb (Expand_Freeze_Array_Type): Correct the... 2011-08-30 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-29 |
Hristian Kirtchev | exp_ch3.adb (Freeze_Type): Generate an accessibility... 2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-29 |
Hristian Kirtchev | s-stposu.adb (Allocate_Any_Controlled): Reimplement... 2011-08-29 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-04 |
Hristian Kirtchev | exp_ch4.adb (Expand_Allocator_Expression): Disable... 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-03 |
Hristian Kirtchev | exp_ch13.adb: Add with and use clause for Targparm; 2011-08-03 Hristian Kirtchev <kirtchev@adacore.com> 2011-08-03 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2011-08-03 |
Hristian Kirtchev | a-except.adb, [...] (Raise_From_Controlled_Operation... 2011-08-03 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2009-06-23 |
Hristian Kirtchev | sem_attr.adb: Add with and use clauses for Sem_Ch10. 2009-06-23 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2009-04-20 |
Hristian Kirtchev | exp_ch3.adb (Make_Predefined_Primitive_Specs, [......
|
commit | commitdiff | tree |
2008-08-20 |
Hristian Kirtchev | exp_ch5.adb (Controlled_Type): New routine. 2008-08-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2008-07-31 |
Hristian Kirtchev | exp_disp.adb (Prim_Op_Kind): Retrieve the full view... 2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
next |