projects / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Fix validity checking for class-wide objects
2020-06-19 Piotr Trojanek[Ada] Fix validity checking for class-wide objects
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-19 Piotr Trojanek[Ada] Remove repeated testing of Check_Validity_Of_Parameters
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Fix failed assertion on a slice indexed by a...
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Cleanups in code related to static expressions
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] Avoid forced loading of System.Priority in CodePeer...
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-18 Piotr Trojanek[Ada] List aspect Relaxed_Initialization in GNAT RM
2020-06-18 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Support aspect Relaxed_Initialization on private...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix comment of Get_Iterable_Type_Primitive
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Add assertions to Preserve_Comes_From_Source...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix casing from GNATProve to GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Remove unnecessary special-casing of GNATprove...
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-17 Piotr Trojanek[Ada] Fix expansion of "for X of Y loop" in GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Minor casing of " The " after a comma in docs...
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Reuse Is_Object where possible
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Fix typo in comment about overlapping actuals
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Force evaluation of qualified aggregates
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Fix assertion failure on qualified type names...
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Force evaluation of operator calls in renamings
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-16 Piotr Trojanek[Ada] Accept renamings of folded string aggregates
2020-06-16 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Do expect task discriminants in Global and Depends...
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Fix analysis of Relaxed_Initialization for bodies...
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Do not expect task discriminants in Global and...
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Do not expect Global or Depends on single protected...
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Replace repeated Ekind with Ekind_In
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Remove excessive parens
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Support aspect Relaxed_Initialization and attribute...
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-15 Piotr Trojanek[Ada] Remove unreferenced and dubious Is_Renaming_Declaration
2020-06-15 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Alphabetic ordering for name and pragmas
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Reuse Is_Entry where possible
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Detect overlapping actuals in entry calls
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Remove redundant iterations in checks for overlapping...
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Remove suppression for overlapping actuals in...
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-12 Piotr Trojanek[Ada] Simplify getting discriminant value from a list...
2020-06-12 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Refine type of a routine parameter from Node_Id...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Refine type of a counter-like variable
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Iterate with procedural version of Next routine...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Update SPARK RM rule numbers after removing a...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Avoid "others => <>" association in resolved...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Skip unnecessary iterations over constraint expressions
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Move duplicated routines for building itypes...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Refine type for sorting case-choices tables
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Create constrained itypes for nested record aggregates
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Remove a dubious optimization for Object Specific...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Make Object Specific Dispatch tables constant
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Remove useless code in Backend_Processing_Possible
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Fix punctuation in comment of Building_Static_Dispatch...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-11 Piotr Trojanek[Ada] Simplify iteration over formal parameters for...
2020-06-11 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Fix minor typo in comment of membership choice...
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Revert workaround for expansion of Enum_Rep in...
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Fold Enum_Rep attribute in evaluation and not...
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Simplify detection of static membership choices
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Minor fix style and typos in comments
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-10 Piotr Trojanek[Ada] Remove unreferenced GNATprove utility routine...
2020-06-10 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-09 Piotr Trojanek[Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode...
2020-06-09 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-08 Piotr Trojanek[Ada] Port a modified expansion of Enum_Rep from GNAT...
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-08 Piotr Trojanek[Ada] Style cleanups in new code for Pure_Barriers
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-08 Piotr Trojanek[Ada] Restore Snames.Name_SPARK as it used in the GNATprove...
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-08 Piotr Trojanek[Ada] Reuse standard expansion of 'First and 'Last...
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-08 Piotr Trojanek[Ada] Reuse Get_Index_Subtype in the special expander...
2020-06-08 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Fix punctuation in description of Enum_Rep attribute
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Do not create an empty list of nodes that confuses...
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Use Is_Incomplete_Type instead of a low-level...
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Simplify iteration over components
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Move routine for detecting special Text_IO packages...
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-05 Piotr Trojanek[Ada] Add missing Global contract to Ada.Containers...
2020-06-05 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-03 Piotr Trojanek[Ada] Iterate with procedural versions of Next_......
2020-06-03 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-02 Piotr Trojanek[Ada] Remove dead code for detecting hidden package...
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-02 Piotr Trojanek[Ada] Accept objects from nested packages in Initializes...
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
2020-06-02 Piotr Trojanek[Ada] Use new API when creating a special SPARK heap...
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
 commit | commitdiff | tree
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
next