gcc.gnu.org Git - gcc.git/search

]> gcc.gnu.org Git - gcc.git/search

2023-07-06	Claire Dross	ada: Add specification source files of runtime units	commit \| commitdiff \| tree
2023-07-06	Claire Dross	ada: Refactor the proof of the Value and Image runtime...	commit \| commitdiff \| tree
2023-06-27	Claire Dross	ada: Correct the contract of Ada.Text_IO.Get_Line	commit \| commitdiff \| tree
2023-06-20	Claire Dross	ada: Remove references to Might_Not_Return and Always_Return	commit \| commitdiff \| tree
2023-05-23	Claire Dross	ada: Update ghost code for proof of integer input functions	commit \| commitdiff \| tree
2023-05-22	Claire Dross	ada: Support calls through dereferences in Find_Actual	commit \| commitdiff \| tree
2023-05-15	Claire Dross	ada: Fix proof of runtime unit System.Value*	commit \| commitdiff \| tree
2022-11-28	Claire Dross	ada: Annotate GNAT.Source_Info with an abstract state	commit \| commitdiff \| tree
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 Dross	a-cforma.adb, [...] (=): Generic parameter removed... 2017-04-27 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-04-27	Claire Dross	a-cofuba.ads (Add): Take as an additional input parameter... 2017-04-27 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-01-23	Claire Dross	exp_spark.adb (Expand_SPARK_Attribute_Reference): For... 2017-01-23 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree
2017-01-19	Claire Dross	exp_ch7.adb (Build_Invariant_Procedure_Body): Semi... 2017-01-19 Claire Dross <dross@adacore.com>	commit \| commitdiff \| tree

GNU Compiler Collection

RSS Atom

This page took 2.683151 seconds and 5 git commands to generate.