| 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 |
| 2008-07-31 |
Hristian Kirtchev | 2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-07-31 |
Hristian Kirtchev | sem_ch6.adb (Disambiguate_Spec): Continue the disambiguation...
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-07-31 |
Hristian Kirtchev | exp_attr.adb (Find_Stream_Subprogram): Check the base...
2008-07-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-07-30 |
Hristian Kirtchev | einfo.adb: Flag245 is now used.
2008-07-30 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-05-26 |
Hristian Kirtchev | exp_ch4.adb (Expand_N_Type_Conversion): Minor code...
2008-05-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-05-26 |
Hristian Kirtchev | exp_ch3.adb (Build_Init_Statements): Alphabetize local...
2008-05-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-05-20 |
Hristian Kirtchev | 2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-05-20 |
Hristian Kirtchev | 2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-05-20 |
Hristian Kirtchev | exp_ch6.adb (Expand_Call): Add guard to ensure that...
2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | s-strxdr.adb, [...] (Block_IO_OK): New subprogram.
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | s-stoele.ads, [...]: Move the location of Dummy_Communicatio...
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | exp_ch9.ads, [...] (Build_Protected_Entry, [...]):...
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | exp_ch2.adb: Minor reformatting.
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | adaint.h, adaint.c (__gnat_current_time_string): New...
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2008-04-08 |
Hristian Kirtchev | a-calend-vms.ads, [...]: Add with and use clause for...
2008-04-08 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | sem_type.adb (Function_Interp_Has_Abstract_Op): Add...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | sem_ch9.adb (Analyze_Requeue): Add a local flag to...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | sem_ch4.adb (Analyze_Selected_Component): Include the...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | exp_disp.ads, [...] (Default_Prim_Op_Position): Primitive...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | exp_ch9.adb (Expand_N_Asynchronous_Select, [...]):...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | exp_ch3.adb (Predefined_Primitive_Bodies): Generate...
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-12-13 |
Hristian Kirtchev | einfo.ads, einfo.adb: Flag 232 is now Implemented_By_Entry.
2007-12-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-10-15 |
Hristian Kirtchev | sem_ch4.adb: Minor code and comment reformatting.
2007-10-15 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-10-15 |
Hristian Kirtchev | sem_ch12.adb: Minor code reformatting.
2007-10-15 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-10-15 |
Hristian Kirtchev | exp_ch9.adb (Actual_Index_Expression): When the expansion...
2007-10-15 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-09-26 |
Hristian Kirtchev | g-calend.adb (Has_53_Weeks): Rename to Last_Year_Has_53_Weeks.
2007-09-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-09-26 |
Hristian Kirtchev | a-calend-vms.adb, [...]: Add a section on leap seconds...
2007-09-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-09-26 |
Hristian Kirtchev | sem_ch8.adb (Analyze_Use_Type): Code cleanup.
2007-09-26 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-09-12 |
Hristian Kirtchev | bindusg.adb (Display): Correct comment for switch -X.
2007-09-12 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-08-31 |
Hristian Kirtchev | restrict.adb, [...]: Remove redundant type conversion.
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| 2007-08-31 |
Hristian Kirtchev | einfo.ads, einfo.adb: New flag Is_Raised (Flag224).
2007-08-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
| next |
projects / gcc.git / search