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

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

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
2020-07-10	Yannick Moy	[Ada] Remove use of debug flag -gnatdF for GNATprove	commit \| commitdiff \| tree
2020-07-08	Yannick Moy	[Ada] Add utility function to recognize attribute ...	commit \| commitdiff \| tree
2020-06-05	Yannick Moy	[Ada] Add comment about function only used in CodePeer 2020-06-05 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2020-06-03	Yannick Moy	[Ada] Improve handling of SPARK_Mode in generic instances 2020-06-03 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2020-06-03	Yannick Moy	[Ada] Fix missing overflow checks in analysis of predefined... 2020-06-03 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2020-06-02	Yannick Moy	[Ada] Allow GNATprove to set overflow mode 2020-06-02 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2020-05-25	Yannick Moy	[Ada] Fix spurious error on checking of null Abstract_State 2020-05-25 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2020-05-25	Yannick Moy	[Ada] Change pragma Compile_Time_Error to force compile... 2020-05-25 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-12-16	Yannick Moy	[Ada] Do not issue restriction violations on ignored... 2019-12-16 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-12-13	Yannick Moy	[Ada] Avoid spurious mismatch error of assertion policy... 2019-12-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-12-13	Yannick Moy	[Ada] Avoid spurious errors on Global/Depends in instantiations 2019-12-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-12-13	Yannick Moy	[Ada] Prevent inlining inside condition of while loop... 2019-12-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-10-10	Yannick Moy	[Ada] Fix inlining of subprograms with deep param/result... 2019-10-10 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-10-10	Yannick Moy	[Ada] Do not inline subprograms with deep parameter... 2019-10-10 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Use declared type for deciding on SPARK pointer... 2019-09-19 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Disable inlining of traversal function in GNATprove 2019-09-19 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Allow constants of access type in Global contracts 2019-09-19 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-19	Yannick Moy	[Ada] Move SPARK borrow-checker to gnat2why codebase 2019-09-19 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-18	Yannick Moy	[Ada] Skip entity name qualification in GNATprove mode 2019-09-18 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Fix rounding of fixed-point arithmetic operation 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Minor fixes mostly in comments of runtime arithmetic... 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Raise Constraint_Error in overflow case involving... 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Fix possible suppressed overflows in arithmetic... 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] GNATprove: avoid crash on illegal borrow during... 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-09-17	Yannick Moy	[Ada] Do not inline dispatching operations in GNATprove... 2019-09-17 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] More precise propagation of Size attribute in... 2019-08-21 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Update references to the SPARK RM 2019-08-21 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Avoid spurious error in GNATprove mode on non... 2019-08-21 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-21	Yannick Moy	[Ada] Ignore subprogram address in ownership checking 2019-08-21 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-20	Yannick Moy	[Ada] Adapt GNATprove expansion for slices with access... 2019-08-20 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-19	Yannick Moy	[Ada] Do not skip non-aliasing checking when inlining... 2019-08-19 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Expose part of ownership checking for use in... 2019-08-14 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Check SPARK restriction on Old/Loop_Entry with... 2019-08-14 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Fix spurious ownership error in GNATprove 2019-08-14 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-14	Yannick Moy	[Ada] Fix failing assertions on SPARK elaboration 2019-08-14 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid crash in GNATprove_Mode on allocator inside... 2019-08-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid crash in GNATprove due to inlining inside... 2019-08-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking... 2019-08-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-13	Yannick Moy	[Ada] Complete the more extended AST traversal used... 2019-08-13 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] New aspect/pragma No_Caching for analysis of... 2019-08-12 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] Adapt new extended traversal of AST to have optional... 2019-08-12 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] More precise handling of Size/Object_Size in... 2019-08-12 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] SPARK: disable expansion of Enum_Rep 2019-08-12 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-08-12	Yannick Moy	[Ada] Extended traversal subprograms for GNATprove 2019-08-12 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
2019-07-23	Yannick Moy	[Ada] Issue error on SPARK ownership rule violation 2019-07-23 Yannick Moy <moy@adacore.com>	commit \| commitdiff \| tree
next

GNU Compiler Collection

RSS Atom

This page took 0.360678 seconds and 4 git commands to generate.