projects / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Diagnostics for Elaboration order v4.0
2019-07-08 Piotr Trojanek[Ada] Set dummy Etype for the fake __HEAP entity in...
2019-07-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-05 Piotr Trojanek[Ada] Typo fixes
2019-07-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-04 Piotr Trojanek[Ada] Minor typo fixes
2019-07-04 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-04 Piotr Trojanek[Ada] Keep assertions in internal units enabled for...
2019-07-04 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-01 Piotr Trojanek[Ada] Remove a SPARK rule about implicit Global
2019-07-01 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-01 Piotr Trojanek[Ada] Cleanup references to LynuxWorks in docs and...
2019-07-01 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-01 Piotr Trojanek[Ada] Revert "Global => null" on calendar routines...
2019-07-01 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-01 Piotr Trojanek[Ada] Fix "componant" typos in comments
2019-07-01 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-12-11 Piotr Trojanek[Ada] Add "Global => null" contracts to Ada.Calendar...
2018-12-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-12-11 Piotr Trojanek[Ada] Stubs that complete generic subprogram do have...
2018-12-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-11-14 Piotr Trojanek[Ada] Record components do not appear in the Global...
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-11-14 Piotr Trojanek[Ada] Fix handling of generic actuals with default...
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-11-14 Piotr Trojanek[Ada] Use Cancel_Special_Output instead of Set_Special_Outpu...
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-11-14 Piotr Trojanek[Ada] Fix parentheses in comments and "library-level...
2018-11-14 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-08-21 Piotr Trojanek[Ada] Handle pragmas that come from aspects for GNATprove
2018-08-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-31 Piotr Trojanek[Ada] Replace low-level calls to Ekind with high-level...
2018-07-31 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-31 Piotr Trojanek[Ada] Deconstruct 'F' as a prefix for an ALI data
2018-07-31 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Reuse Is_Rewrite_Substitution in Relocate_Node
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Fix RM rule references
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Remove extra parentheses in Expand_Inlined_Call
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Consistent spelling of "i.e." in docs and comments
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Fix Next_Actual when used on calls "inlined for...
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Attach the special GNATprove HEAP entity to the...
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-17 Piotr Trojanek[Ada] Minor refactoring: remove extra parentheses
2018-07-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-16 Piotr Trojanek[Ada] Deconstruct unused Withed_Body filed of N_With_Clause...
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-16 Piotr Trojanek[Ada] Avoid crash when traversing units with -gnatd...
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-16 Piotr Trojanek[Ada] Trivial simplifications in in Walk_Library_Items
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-16 Piotr Trojanek[Ada] Deconstruct always-false calls to Withed_Body...
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-07-16 Piotr Trojanek[Ada] Adjust reference to renumbered SPARK RM rule
2018-07-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-06-11 Piotr Trojanek[Ada] Don't split AND THEN expressions in GNATprove_Mode
2018-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-06-11 Piotr Trojanek[Ada] Fix handling of Pre/Post contracts with AND THEN...
2018-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-31 Piotr Trojanek[Ada] Detect returning procedures annotated with No_Return
2018-05-31 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-31 Piotr Trojanek[Ada] Simplify call to Unique_Defining_Entity on protected...
2018-05-31 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-31 Piotr Trojanek[Ada] Set Etype on rewriteen Max_Queue_Length expressions
2018-05-31 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-30 Piotr Trojanek[Ada] Update documentation of Sinfo.Package_Instantiation...
2018-05-30 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-30 Piotr Trojanek[Ada] Reuse Is_Rewrite_Substitution where possible
2018-05-30 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-30 Piotr Trojanek[Ada] Simplify conditions by removing always true conjuncts
2018-05-30 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-29 Piotr Trojanek[Ada] Minor reformatting
2018-05-29 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-25 Piotr Trojanek[Ada] Fix convention for iteration with multiple loop...
2018-05-25 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-25 Piotr Trojanek[Ada] Rewrite Iterate_Call_Parameters in more assertive...
2018-05-25 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-24 Piotr Trojanek[Ada] Simplify routines with a local Result variable
2018-05-24 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-24 Piotr Trojanek[Ada] Minor fix grammar in comment of N_Defining_Identifier
2018-05-24 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-24 Piotr Trojanek[Ada] Fix inconsistent documentation for the Contract_Cases...
2018-05-24 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-24 Piotr Trojanek[Ada] Fix references to Backend_Layout configuration...
2018-05-24 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-23 Piotr Trojanek[Ada] Minor reformatting
2018-05-23 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-21 Piotr Trojanek[Ada] Clarify code for accessing full view of a type
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-21 Piotr Trojanek[Ada] Remove External aspect from predefined abstract...
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-21 Piotr Trojanek[Ada] Only allow Has_Discriminants on type entities
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-21 Piotr Trojanek[Ada] Typo in lib.ads comment
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-05-21 Piotr Trojanek[Ada] Fix inconstent subprogram body headers
2018-05-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-01-11 Piotr Trojanek[Ada] Allow uses of range utility routines on private...
2018-01-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-01-11 Piotr Trojanek[Ada] Annotate standard File_Type with Default_Initial_Condi...
2018-01-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2018-01-11 Piotr Trojanek[Ada] Fix minor comment issues
2018-01-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2017-11-08 Piotr Trojanekspark_xrefs.ads (SPARK_Scope_Record): Rename Scope_Id...
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2017-11-08 Piotr Trojanekspark_xrefs.ads (SPARK_File_Record): Remove string...
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2017-11-08 Piotr Trojaneklib-xref.ads, [...] (Traverse_Declarations): Remove...
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2017-11-08 Piotr Trojanekspark_xrefs.ads (SPARK_Xref_Record): Remove inessential...
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2017-11-08 Piotr Trojaneklib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...
2017-11-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2015-12-06 Piotr Trojanekre PR ada/60164 (Missing parenthesis in the documentation)
 commit | commitdiff | tree