Public Git Hosting - official-gcc.git/search

2022-01-11	Yannick Moy	[Ada] Recover proof of Ada.Strings.Fixed with assertions	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Proof of unit System.Case_Util	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Adapt ghost code to maintain proof	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Proof of System.Vectors.Boolean_Operations	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of System.Generic_Array_Operations at silver...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Justify false positive message from CodePeer...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of runtime unit for non-binary modular...	commit \| commitdiff \| tree
2022-01-06	Yannick Moy	[Ada] Proof of runtime units for binary modular exponentiation	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Add contracts for the proof of System.Arith_128	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Proof of runtime units for integer exponentiation...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Proof of runtime units for integer exponentiation...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Rename parameter-dependent constants in generic...	commit \| commitdiff \| tree
2022-01-05	Yannick Moy	[Ada] Fix lemma in generic unit System.Arith_Double	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of System.Arith_32 for double arithmetic...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Amend proof of System.Arith_Double to remove...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Add pragma Annotate for CodePeer analysis	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of support units for 'Width on signed integers	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of Interfaces.C with SPARK	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of System.Val_Util utilities for 'Value...	commit \| commitdiff \| tree
2021-12-02	Yannick Moy	[Ada] Proof of Boolean'Image and Boolean'Value	commit \| commitdiff \| tree
2021-12-01	Yannick Moy	[Ada] Improve error messages for dot notation when...	commit \| commitdiff \| tree
2021-12-01	Yannick Moy	[Ada] Add query for extended precision floating-point...	commit \| commitdiff \| tree
2021-12-01	Yannick Moy	[Ada] Improve messages on incorrect state refinement...	commit \| commitdiff \| tree
2021-11-10	Yannick Moy	[Ada] Create explicit ghost mirror unit for big integers	commit \| commitdiff \| tree
2021-11-10	Yannick Moy	[Ada] Better error message on missing parentheses	commit \| commitdiff \| tree
2021-11-09	Yannick Moy	[Ada] Complete support for prefixed call on subtypes...	commit \| commitdiff \| tree
2021-11-09	Yannick Moy	[Ada] Fix support for prefixed call with incomplete...	commit \| commitdiff \| tree
2021-10-25	Yannick Moy	[Ada] Issue error on invalid use of Ghost inside pragma...	commit \| commitdiff \| tree
2021-10-20	Yannick Moy	[Ada] Proof of the runtime support for attribute 'Width	commit \| commitdiff \| tree
2021-10-20	Yannick Moy	[Ada] Provide dummy body for big integers library used...	commit \| commitdiff \| tree
2021-10-20	Yannick Moy	[Ada] Issue warning on unused quantified expression	commit \| commitdiff \| tree
2021-10-05	Yannick Moy	[Ada] Improve error message on array aggregates	commit \| commitdiff \| tree
2021-10-05	Yannick Moy	[Ada] Improve error message on missing all/for in quantified...	commit \| commitdiff \| tree
2021-10-05	Yannick Moy	[Ada] Proof of Ada.Strings.Maps	commit \| commitdiff \| tree
2021-10-05	Yannick Moy	[Ada] Proof of Ada.Characters.Handling	commit \| commitdiff \| tree
2021-10-04	Yannick Moy	[Ada] Mark Ada.Text_IO in SPARK	commit \| commitdiff \| tree
2021-10-04	Yannick Moy	[Ada] Add Ada RM description of Ada.Strings.Bounded...	commit \| commitdiff \| tree
2021-09-23	Yannick Moy	[Ada] Minimize parts of Ada.Strings.Fixed marked SPARK_Mode...	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Simplify contract of Ada.Strings.Fixed.Trim for...	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Spurious error on deferred constant with predicate	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK...	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Add adequate guard before calling First_Rep_Item	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Fix infinite loop in compilation of illegal code	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] More precise analysis of function renamings in...	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Fix access to predicated parent in Itype	commit \| commitdiff \| tree
2021-09-22	Yannick Moy	[Ada] Fix obsolete comments/name referring to girder...	commit \| commitdiff \| tree
2021-09-21	Yannick Moy	[Ada] Rename "optional" node subtypes that allow Empty	commit \| commitdiff \| tree
2021-09-21	Yannick Moy	[Ada] Exception raised on empty file in GNATprove mode	commit \| commitdiff \| tree
2021-07-08	Yannick Moy	[Ada] Skip types in error for test to compute array...	commit \| commitdiff \| tree
2021-07-08	Yannick Moy	[Ada] Fix on computation of packed array size in case...	commit \| commitdiff \| tree
2021-07-08	Yannick Moy	[Ada] Compute sizes when possible for packed array...	commit \| commitdiff \| tree
2021-07-07	Yannick Moy	[Ada] Simplify handling of sure errors in GNATprove...	commit \| commitdiff \| tree
2021-07-07	Yannick Moy	[Ada] Fix precondition of Cot for code analyzers	commit \| commitdiff \| tree
2021-07-06	Yannick Moy	[Ada] Missing space in error message for pattern matching	commit \| commitdiff \| tree
2021-07-05	Yannick Moy	[Ada] Adapt SPARK RM rule on non-effectively volatile...	commit \| commitdiff \| tree
2021-07-05	Yannick Moy	[Ada] Adapt SPARK checking after change in rules regarding...	commit \| commitdiff \| tree
2021-06-16	Yannick Moy	[Ada] Do not generate an Itype_Reference node for slices...	commit \| commitdiff \| tree
2021-06-15	Yannick Moy	[Ada] Extend function to retrieve first/last nodes...	commit \| commitdiff \| tree
2021-06-15	Yannick Moy	[Ada] Clarify the semantics of signed intrinsic shift...	commit \| commitdiff \| tree
2021-05-07	Yannick Moy	[Ada] Generate warning for negative literal of a modular...	commit \| commitdiff \| tree
2021-05-04	Yannick Moy	[Ada] Minor tweak in pretty-printing of expressions	commit \| commitdiff \| tree
2021-05-04	Yannick Moy	[Ada] Move match function for pragma Warnings to public...	commit \| commitdiff \| tree
2021-05-04	Yannick Moy	[Ada] Use error marker for messages in GNATprove mode	commit \| commitdiff \| tree
2021-05-04	Yannick Moy	[Ada] Fix continuation message for missing ALL in access...	commit \| commitdiff \| tree
2021-04-29	Yannick Moy	[Ada] Add colors to GNATprove messages output to a...	commit \| commitdiff \| tree
2021-04-29	Yannick Moy	[Ada] Fix evaluation of expressions in inlined code	commit \| commitdiff \| tree
2021-04-29	Yannick Moy	[Ada] Fixes in the use of spans for error locations	commit \| commitdiff \| tree
2021-04-28	Yannick Moy	[Ada] Use spans instead of locations for compiler diagnostics	commit \| commitdiff \| tree
2021-04-28	Yannick Moy	[Ada] Improve error message for ghost in predicate	commit \| commitdiff \| tree
2020-12-17	Yannick Moy	[Ada] Fixes for GNAT error/warning messages	commit \| commitdiff \| tree
2020-12-16	Yannick Moy	[Ada] Mark generic body outside of SPARK	commit \| commitdiff \| tree
2020-12-15	Yannick Moy	[Ada] Mark generic body outside of SPARK	commit \| commitdiff \| tree
2020-12-14	Yannick Moy	[Ada] Fix warning control character for message on...	commit \| commitdiff \| tree
2020-12-14	Yannick Moy	[Ada] Refine error messages on illegal Refined_State...	commit \| commitdiff \| tree
2020-12-14	Yannick Moy	[Ada] Correctly mark subprogram as not always inlined...	commit \| commitdiff \| tree
2020-11-30	Yannick Moy	[Ada] Add comment on special Heap variable used in...	commit \| commitdiff \| tree
2020-11-30	Yannick Moy	[Ada] Add continuation message when others choice not...	commit \| commitdiff \| tree
2020-11-27	Yannick Moy	[Ada] Do not apply range checks inside generics in...	commit \| commitdiff \| tree
2020-11-26	Yannick Moy	[Ada] New warning on questionable missing parentheses	commit \| commitdiff \| tree
2020-11-26	Yannick Moy	[Ada] Issue advice for error regarding Old/Loop_Entry...	commit \| commitdiff \| tree
2020-11-25	Yannick Moy	[Ada] Minimize side-effect removal in GNATprove mode	commit \| commitdiff \| tree
2020-11-25	Yannick Moy	[Ada] Fix internal compilation error on circular type...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Fix crash in GNATprove on inlined subprogram...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Handle correctly current instance of PO in local...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Fix spurious error on child library-level subprogram...	commit \| commitdiff \| tree
2020-11-24	Yannick Moy	[Ada] Reject Global/Depends contracts on null procedures	commit \| commitdiff \| tree
2020-10-26	Yannick Moy	[Ada] Fix GNATprove crash on generics with access types	commit \| commitdiff \| tree
2020-10-26	Yannick Moy	[Ada] Do not instantiate generic bodies outside of...	commit \| commitdiff \| tree
2020-10-21	Yannick Moy	[Ada] Fix target configuration file used for CodePeer...	commit \| commitdiff \| tree
2020-10-20	Yannick Moy	[Ada] Fixes for pretty command-line GNATprove output...	commit \| commitdiff \| tree
2020-10-20	Yannick Moy	[Ada] Fix comments as volatility properties can apply...	commit \| commitdiff \| tree
2020-10-20	Yannick Moy	[Ada] Display source code pointing at locations in...	commit \| commitdiff \| tree
2020-10-19	Yannick Moy	[Ada] Alternative display of multi-line messages for...	commit \| commitdiff \| tree
2020-10-19	Yannick Moy	[Ada] Reject use of Relaxed_Initialization on scalar...	commit \| commitdiff \| tree
2020-10-19	Yannick Moy	[Ada] Clarify protection offered by preconditions on...	commit \| commitdiff \| tree
2020-10-19	Yannick Moy	[Ada] Clarify current design of Errout wrt global variable...	commit \| commitdiff \| tree
2020-10-16	Yannick Moy	[Ada] SPARK: update for effectively volatile types...	commit \| commitdiff \| tree
2020-07-15	Yannick Moy	[Ada] Mark standard containers as not in SPARK	commit \| commitdiff \| tree
2020-07-10	Yannick Moy	[Ada] Fix detection of volatile properties in SPARK	commit \| commitdiff \| tree
2020-07-10	Yannick Moy	[Ada] Fix assertion failure on (in-)out function parameter	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom