Public Git Hosting - official-gcc.git/search

2022-05-10	Piotr Trojanek	[Ada] Fix comment about building names in task arrays	commit \| commitdiff \| tree
2022-05-10	Piotr Trojanek	[Ada] Simplify conversion from Character to Char_Code	commit \| commitdiff \| tree
2022-05-09	Yannick Moy	[Ada] Suggest use of First_Valid/Last_Valid on type...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Raise Constraint_Error when converting negative...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Simplify conversions from Uint to Char_Code	commit \| commitdiff \| tree
2022-05-09	Justin Squirek	[Ada] Fix invalid memory access on finalization of...	commit \| commitdiff \| tree
2022-05-09	Etienne Servais	[Ada] Fully qualify name in JSON representation info	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove extra space around binary operators	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Prevent inlining-for-proof for calls inside ELSIF...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant guards for empty list	commit \| commitdiff \| tree
2022-05-09	Eric Botcazou	[Ada] Fix missing error on actual for In/Out parameter	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Fix indentation of "Start of processing for ...	commit \| commitdiff \| tree
2022-05-09	Justin Squirek	[Ada] Improve error messages to include full package...	commit \| commitdiff \| tree
2022-05-09	Yannick Moy	[Ada] Set Error_Msg_Warn before use of << insertion	commit \| commitdiff \| tree
2022-05-09	Steve Baird	[Ada] Properly handle unprefixed references to components	commit \| commitdiff \| tree
2022-05-09	Ed Schonberg	[Ada] Fix package installation for private array type...	commit \| commitdiff \| tree
2022-05-09	Eric Botcazou	[Ada] Fix internal error on declaration of derived...	commit \| commitdiff \| tree
2022-05-09	Ed Schonberg	[Ada] Fix visibility inside declare_expression	commit \| commitdiff \| tree
2022-05-09	Ed Schonberg	[Ada] Fix check for looking for user defined literals	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Refine description of SPARK with static Boolean...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Allow Big_Integer in loop and subprogram variants	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Add utility to preanalyze assert expression without...	commit \| commitdiff \| tree
2022-05-09	Eric Botcazou	[Ada] Revamp type resolution for comparison and equality...	commit \| commitdiff \| tree
2022-05-09	Bob Duff	[Ada] Use "aspect" instead of "pragma" in warnings	commit \| commitdiff \| tree
2022-05-09	Doug Rupp	[Ada] vx21.07: stack-checking on ppc	commit \| commitdiff \| tree
2022-05-09	Fedor Rybin	[Ada] Remove gnattest section from gnat user guide	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove repeated analysis of attribute prefixes	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove redundant call to Set_Etype for attribute...	commit \| commitdiff \| tree
2022-05-09	Piotr Trojanek	[Ada] Remove doubly-negated tests for empty lists	commit \| commitdiff \| tree
2022-05-09	Dmitriy Anisimkov	[Ada] Remove unused parameter from __gnat_kill	commit \| commitdiff \| tree
2022-05-09	Dmitriy Anisimkov	[Ada] Stabilize exit code on close process	commit \| commitdiff \| tree
2022-04-27	Pierre-Marie de...	[Ada] Revert r12-6599 (Fix up handling of ghost units...	commit \| commitdiff \| tree
2022-01-31	Pierre-Marie de...	[Ada] doc/share/conf.py: fix string handling	commit \| commitdiff \| tree
2022-01-31	Arnaud Charlet	[Ada] Fix up handling of ghost units PR104027 #2	commit \| commitdiff \| tree
2022-01-11	Eric Botcazou	[Ada] Relax assertion on designated types for equality...	commit \| commitdiff \| tree
2022-01-11	Justin Squirek	[Ada] Include generic instance names in non-visible...	commit \| commitdiff \| tree
2022-01-11	Etienne Servais	[Ada] Accept square brackets for expression functions	commit \| commitdiff \| tree
2022-01-11	Justin Squirek	[Ada] Task arrays trigger spurious unreferenced warnings	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced CCG-specific routine Insert_Declar...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Avoid redundant checks for empty lists	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove name constant used by GNATprove but not...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reduce scope of declare block in analysis of...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Balance parentheses in comments about allocators	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unreferenced name constants	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Adapt proof of System.Arith_Double	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Deconstruct a VMS utility routine which is only...	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Recover proof of Ada.Strings.Fixed with assertions	commit \| commitdiff \| tree
2022-01-11	Arnaud Charlet	[Ada] PR ada/79724	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove unnecessary block in code for expansion...	commit \| commitdiff \| tree
2022-01-11	Eric Botcazou	[Ada] Fix incomplete debug info for derived packed...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Reuse Make_Temporary where possible	commit \| commitdiff \| tree
2022-01-11	Etienne Servais	[Ada] Fix check for implicit allocation of dynamic...	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Proof of unit System.Case_Util	commit \| commitdiff \| tree
2022-01-11	Claire Dross	[Ada] Proof of System.Val_Uns at gold level	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Adapt ghost code to maintain proof	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Simplify construction of messages about configurable...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove redundant initialization of Test_And_Set_Flag...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Tune inconsistent message about fixed-lower-bound...	commit \| commitdiff \| tree
2022-01-11	Gary Dismukes	[Ada] Conformance error on protected subp with anonymous...	commit \| commitdiff \| tree
2022-01-11	Yannick Moy	[Ada] Proof of System.Vectors.Boolean_Operations	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove extra space in single object declarations	commit \| commitdiff \| tree
2022-01-11	Arnaud Charlet	[Ada] Code cleanups	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Remove warnings-as-errors about constraints error...	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Escalate pre-continuation messages from warnings...	commit \| commitdiff \| tree
2022-01-11	Arnaud Charlet	[Ada] Update copyright notice and bump Gnatvsn.Current_Year	commit \| commitdiff \| tree
2022-01-11	Richard Kenner	[Ada] Document LLVM-specific flags	commit \| commitdiff \| tree
2022-01-11	Piotr Trojanek	[Ada] Use atomic builtins for atomic counters on x86...	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Fix bogus error on call to subprogram with incomplete...	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Fix internal error on unchecked union with component...	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Make pragma Inspection_Point work for constants	commit \| commitdiff \| tree
2022-01-10	Arnaud Charlet	[Ada] Reduce runtime dependencies on stage1	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for Lock_Free_...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Remove CodePeer annotations for pragma Loop_Variant	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Disable expansion of pragma Loop_Variant in CodePeer...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Fix typo in comment about unit families	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Adjust the alignment to the size for bit-packed...	commit \| commitdiff \| tree
2022-01-10	Piotr Trojanek	[Ada] Switch from __sync to __atomic builtins for atomic...	commit \| commitdiff \| tree
2022-01-10	Eric Botcazou	[Ada] Fix error on too large size clause for bit-packed...	commit \| commitdiff \| tree
2022-01-10	Justin Squirek	[Ada] Task arrays trigger spurious unreferenced warnings	commit \| commitdiff \| tree
2022-01-07	Patrick Bernardi	[Ada] Read directory in Ada.Directories.Start_Search...	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Fix the check of the 'Old prefix	commit \| commitdiff \| tree
2022-01-07	Ghjuvan Lacambre	[Ada] Fix uses of pragma Unreferenced in MinGW runtime...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix layout of pragma Inline in generated AST...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix style in expansion of multi-dimensional array...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] More default initialization for multi-dim array...	commit \| commitdiff \| tree
2022-01-07	Javier Miranda	[Ada] Crash in class-wide pre/postconditions	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Fix typo on "Placement" in comment	commit \| commitdiff \| tree
2022-01-07	Justin Squirek	[Ada] Cleanup and modification of unreferenced warnings	commit \| commitdiff \| tree
2022-01-07	Javier Miranda	[Ada] Spurious error caused by order of interfaces...	commit \| commitdiff \| tree
2022-01-07	Dmitriy Anisimkov	[Ada] Fix __gnat_kill on Windows	commit \| commitdiff \| tree
2022-01-07	Eric Botcazou	[Ada] Fix a couple of issues with pragma Inspection_Point	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove repeated routines for printing AST in...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Simplify traversal in hooking of transient scopes	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove extra space before THEN keywords	commit \| commitdiff \| tree
2022-01-07	Dmitriy Anisimkov	[Ada] Fix exit status of GNAT.Expect.Close call on...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Remove explicit expansion of block with general...	commit \| commitdiff \| tree
2022-01-07	Etienne Servais	[Ada] Update -gnatwr doc for import of parent package	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix comment about subprogram unnesting and unconstrain...	commit \| commitdiff \| tree
2022-01-07	Piotr Trojanek	[Ada] Fix inconsistent quoting in messages about compile...	commit \| commitdiff \| tree
next

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

RSS Atom