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 |
2007-08-31 |
Hristian Kirtchev | checks.adb (In_Declarative_Region_Of_Subprogram_Body... 2007-08-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-08-16 |
Hristian Kirtchev | sem_res.adb (Comes_From_Predefined_Lib_Unit): New. 2007-08-16 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-08-16 |
Hristian Kirtchev | sem_ch10.adb (Has_With_Clause): If the name of the... 2007-08-16 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-08-14 |
Hristian Kirtchev | g-catiio.adb (Image): For the case of %s... 2007-08-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-08-14 |
Hristian Kirtchev | a-calend-vms.adb, [...] ("+", [...]): Remove calls... 2007-08-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | sem_util.ads, [...] (May_Be_Lvalue): A prefix of an... 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | sem_res.ads, [...] (Process_Allocator): Do not propagate... 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | exp_ch2.adb: Remove "with" and "use" clauses for Namet... 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | exp_attr.adb (Expand_N_Attribute_Reference): Case Callable... 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | a-ztflau.adb, [...] (Load_Real): Do not parse "." in... 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-06-06 |
Hristian Kirtchev | 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com> 2007-04-20 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2007-04-06 |
Hristian Kirtchev | a-calend-vms.ads, [...]: New version of Ada.Calendar... 2007-04-06 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-10-31 |
Hristian Kirtchev | sem_disp.adb (Check_Dispatching_Operation): Do not... 2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-10-31 |
Hristian Kirtchev | sem_ch9.adb (Analyze_Protected_Definition): Remove... 2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-10-31 |
Hristian Kirtchev | par-ch12.adb: Grammar update and cleanup. 2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-10-31 |
Hristian Kirtchev | g-catiio.ads, [...] (Value): New function. 2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-10-31 |
Hristian Kirtchev | a-calend-vms.adb (Leap_Sec_Ops): Temp body for package... 2006-10-31 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-02-15 |
Hristian Kirtchev | sem_ch10.adb (Check_Redundant_Withs): New procedure... 2006-02-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-02-15 |
Hristian Kirtchev | a-tiboio.adb, [...]: New files. 2006-02-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2006-02-15 |
Hristian Kirtchev | a-tasatt.adb, [...]: Remove redundant with clauses. 2006-02-13 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
2005-11-15 |
Hristian Kirtchev | sem_res.adb (Resolve_Call): Provide a better error... 2005-11-14 Hristian Kirtchev <kirtchev@adacore.com>
|
commit | commitdiff | tree |
next |