?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
[Ada] Add loop variants to Ada.Strings.Search and Ada.Strings.Maps
2022-09-02 Claire Dross[Ada] Add loop variants to Ada.Strings.Search and Ada...
commit | commitdiff | tree
2022-09-02 Claire Dross[Ada] Fix proof of runtime unit System.Exp_Mod
 commit | commitdiff | tree
2022-09-02 Claire Dross[Ada] Fix proof of runtime unit System.Wid_*
 commit | commitdiff | tree
2022-09-02 Claire Dross[Ada] Fix proof of runtime unit System.Value* and System...
commit | commitdiff | tree
2022-07-04 Claire Dross[Ada] Update the documentation of functional containers
 commit | commitdiff | tree
2022-07-04 Claire Dross[Ada] Add GNAT specific pragmas to the equivalent Assertion_...
commit | commitdiff | tree
2022-06-02 Claire Dross[Ada] Rename GNATprove annotate pragma for termination...
commit | commitdiff | tree
2022-06-02 Claire Dross[Ada] Fix iteration on formal vectors
 commit | commitdiff | tree
2022-05-19 Claire Dross[Ada] Fix proof of runtime unit a-strfix and a-strsup
 commit | commitdiff | tree
2022-05-18 Claire Dross[Ada] Fix proof of runtime unit s-imageu
 commit | commitdiff | tree
2022-05-18 Claire Dross[Ada] Fix proof of runtime unit s-valeu
 commit | commitdiff | tree
2022-05-10 Claire Dross[Ada] Accept Structural in aspect Subprogram_Variant...
commit | commitdiff | tree
2022-05-10 Claire Dross[Ada] Proof of System.Val_Int at gold level
 commit | commitdiff | tree
2022-01-11 Claire Dross[Ada] Proof of System.Val_Uns at gold level
 commit | commitdiff | tree
2022-01-05 Claire Dross[Ada] Introduce expression functions for contract of...
commit | commitdiff | tree
2021-10-05 Claire Dross[Ada] Disable contract cases on formal containers
 commit | commitdiff | tree
2021-09-20 Claire Dross[Ada] Add SPARK_Mode => Off to System.File_Control_Block
 commit | commitdiff | tree
2021-07-05 Claire Dross[Ada] Add Reference and Constant_Reference functions...
commit | commitdiff | tree
2021-06-29 Claire Dross[Ada] Disable Pre/Post in formal containers
 commit | commitdiff | tree
2021-05-07 Claire Dross[Ada] Move Has_Inferable_Discriminants to Sem_Util
 commit | commitdiff | tree
2020-10-21 Claire Dross[Ada] Raise Capacity_Error on formal vector insertion
 commit | commitdiff | tree
2020-10-20 Claire Dross[Ada] Make attribute Update an obsolescent feature
 commit | commitdiff | tree
2020-06-18 Claire Dross[Ada] The definition of constants in declare expressions...
2020-06-18 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2020-06-08 Claire Dross[Ada] Silence spurious warning on instances of formal...
2020-06-08 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2020-06-08 Claire Dross[Ada] Add Depends contracts to Delete procedures of...
2020-06-08 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-12-12 Claire Dross[Ada] Use correct subtype for call to Last in formal...
2019-12-12 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-09-18 Claire Dross[Ada] Factor out code for deciding statically known...
2019-09-18 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-09-18 Claire Dross[Ada] Fix style issues in functional maps
2019-09-18 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-09-17 Claire Dross[Ada] Add Remove primitive on functional maps
2019-09-17 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-09-17 Claire Dross[Ada] Support chained calls to traversal functions...
2019-09-17 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-08-21 Claire Dross[Ada] Allow for of iteration on formal vectors
2019-08-21 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-08-19 Claire Dross[Ada] Allow reading a borrowed object inside a call...
2019-08-19 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-08-13 Claire Dross[Ada] Extend range type in search primitives of formal...
2019-08-13 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-07-11 Claire Dross[Ada] Refactor ownership pointer checking in SPARK...
2019-07-11 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-07-11 Claire Dross[Ada] Memory corruption when using formal hashed sets...
2019-07-11 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-07-10 Claire Dross[Ada] Fix possible crashes in GNATprove analysis of...
2019-07-10 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2019-07-05 Claire Dross[Ada] Ada.Containers.Formal_Vectors: make vectors always...
2019-07-05 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2018-10-09 Claire Dross[Ada] Functional_Vectors: remove default value for...
2018-10-09 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2018-05-28 Claire Dross[Ada] Allow for GNATprove specific versions of routines...
2018-05-28 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2017-04-27 Claire Drossa-cforma.adb, [...] (=): Generic parameter removed...
2017-04-27 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2017-04-27 Claire Drossa-cofuba.ads (Add): Take as an additional input parameter...
2017-04-27 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2017-01-23 Claire Drossexp_spark.adb (Expand_SPARK_Attribute_Reference): For...
2017-01-23 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
2017-01-19 Claire Drossexp_ch7.adb (Build_Invariant_Procedure_Body): Semi...
2017-01-19 Claire Dross <dross@adacore.com>
 commit | commitdiff | tree
Mirror of the offical gcc git repository hosted at gcc.gnu.org