]> git.ipfire.org Git - thirdparty/gcc.git/search
projects / thirdparty / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Reuse Is_Package_Or_Generic_Package where possible
2020-06-02  Piotr Trojanek[Ada] Reuse Is_Package_Or_Generic_Package where possible
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-12-18  Piotr Trojanek[Ada] Fix three-letter typos like "sss" in comments...
2019-12-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-12-18  Piotr Trojanek[Ada] Einfo: fix typo in comment
2019-12-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-12-13  Piotr Trojanek[Ada] Minor fix typo in comment
2019-12-13 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-12-12  Piotr Trojanek[Ada] Fix Global contract for the predefined Yield...
2019-12-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-12-12  Piotr Trojanek[Ada] Fix repeated words and typos in doc and comments
2019-12-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-10-10  Piotr Trojanek[Ada] Use declared type for deciding on SPARK pointer...
2019-10-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-09-19  Piotr Trojanek[Ada] Remove duplicated routines for getting homonym...
2019-09-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-09-18  Piotr Trojanek[Ada] Refine type of Get_Homonym_Number result
2019-09-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-09-17  Piotr Trojanek[Ada] A new utility routine for detecting attribute...
2019-09-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-09-17  Piotr Trojanek[Ada] Ignore missing ALI files in GNATprove mode
2019-09-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-21  Piotr Trojanek[Ada] Minor refactorings/reformattings
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-21  Piotr Trojanek[Ada] Bindo.Graphs: Minor typo fixes
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-21  Piotr Trojanek[Ada] Do not rewrite argument of pragma Entry_Queue_Length...
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-21  Piotr Trojanek[Ada] Replace low-level membership tests with high...
2019-08-21 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-20  Piotr Trojanek[Ada] Inconsistent scope chain due to quantified expression
2019-08-20 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-20  Piotr Trojanek[Ada] Revert change for gnatprove that is no longer...
2019-08-20 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-19  Piotr Trojanek[Ada] Minor refactorings
2019-08-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-08-14  Piotr Trojanek[Ada] Minor refactoring in Einfo
2019-08-14 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-11  Piotr Trojanek[Ada] Use high-level wrappers for Lib.Units.Table
2019-07-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-11  Piotr Trojanek[Ada] Minor refactoring
2019-07-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-09  Piotr Trojanek[Ada] Reformat comments
2019-07-09 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-09  Piotr Trojanek[Ada] Exp_Util: minor refactoring
2019-07-09 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-09  Piotr Trojanek[Ada] Reword "wild card" to "wildcard"
2019-07-09 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-09  Piotr Trojanek[Ada] Einfo: fix a typo
2019-07-09 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2019-07-08  Piotr Trojanek[Ada] Remove dead code from Enclosing_Package_Or_Subprogram...
2019-07-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
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
Mirror of https://gcc.gnu.org/git/gcc.git