index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
ada
Age
Commit message (
Expand
)
Author
Files
Lines
2024-05-07
ada: Fix calculation of tasks in null arrays
Piotr Trojanek
1
-1
/
+2
2024-05-07
ada: Prevent calculation of negative stack counts
Piotr Trojanek
7
-20
/
+20
2024-05-07
ada: Cleanup calculation of task stacks
Piotr Trojanek
1
-18
/
+13
2024-05-07
ada: Fix grammar in comment
Piotr Trojanek
1
-1
/
+1
2024-05-07
ada: Remove redundant guard against empty list of declarations
Piotr Trojanek
1
-2
/
+1
2024-05-07
ada: Remove redundant guard against empty list of actions
Piotr Trojanek
1
-14
/
+11
2024-05-07
ada: Cleanup detection of per-object constraints in inlining for SPARK
Piotr Trojanek
1
-14
/
+14
2024-05-07
ada: Simplify detection of the enclosing scope
Piotr Trojanek
1
-4
/
+1
2024-05-07
ada: Reduce scope in the analysis of access attributes
Piotr Trojanek
1
-7
/
+8
2024-05-07
ada: Fix detection of components with per-object constraints
Piotr Trojanek
2
-80
/
+14
2024-05-07
ada: Fix bad interaction between homogeneous finalization master and BIP prot...
Eric Botcazou
11
-523
/
+32
2024-05-07
ada: Add Global contracts to Ada.Numerics.Generic_Elementary_Functions
Joffrey Huguet
1
-46
/
+74
2024-05-07
ada: Remove obsolete field Postconditions_Proc
Eric Botcazou
3
-8
/
+0
2024-05-07
ada: Fix typo in documentation comment
Ronan Desplanques
1
-1
/
+1
2024-05-07
ada: Fix crash on body postcondition
Bob Duff
3
-67
/
+13
2024-05-07
ada: Adapt proof of runtime units
Yannick Moy
4
-5
/
+24
2024-05-07
Update copyright years.
Marc Poulhiès
2
-2
/
+2
2024-05-07
ada: Improve pragma No_Return's pre-Ada2022 handling of functions
Steve Baird
1
-69
/
+97
2024-05-07
ada: Fix LTO type mismatches in GNAT.Sockets.Thin
Eric Botcazou
2
-18
/
+170
2024-05-07
ada: Aspects on multiple component declarations
Bob Duff
10
-59
/
+45
2024-05-07
ada: Bad internal naming when using pragma Compile_Time_Error
Justin Squirek
1
-1
/
+17
2024-05-07
ada: Fix missing flag for GNATprove
Yannick Moy
1
-0
/
+11
2024-05-07
ada: Fix spurious error on generic state in SPARK
Yannick Moy
1
-0
/
+8
2024-05-07
ada: Reject non-statically compatible extended return statement
Javier Miranda
2
-2
/
+27
2024-05-07
ada: Minor comment improvement
Bob Duff
1
-1
/
+1
2024-05-07
ada: Fix bug in overloaded selected_components in aspect_specifications
Bob Duff
1
-4
/
+11
2024-05-07
ada: Fix Program_Error raised during generation of data representation in JSON
Eric Botcazou
1
-0
/
+6
2024-05-07
ada: SPARK rule changed on functions with side effects
Yannick Moy
1
-0
/
+5
2024-05-07
ada: Accept constants of access types as globals of side-effect function
Piotr Trojanek
1
-1
/
+3
2024-05-07
ada: Update comment about implicit inputs of Depends contract
Piotr Trojanek
1
-2
/
+1
2024-05-07
Daily bump.
GCC Administrator
1
-0
/
+252
2024-05-06
ada: Allow use of writable parameters inside function with side-effects
Piotr Trojanek
1
-2
/
+3
2024-05-06
ada: Cleanup collecting of implicit outputs
Piotr Trojanek
1
-11
/
+11
2024-05-06
ada: Support writable parameters in Depends with side-effects
Piotr Trojanek
1
-8
/
+13
2024-05-06
ada: Excess finalization on return of call to dispatching constructor
Gary Dismukes
1
-0
/
+10
2024-05-06
ada: Give error for reference to nonvisible library unit
Bob Duff
1
-20
/
+29
2024-05-06
ada: Tweak discriminant source locations
Ronan Desplanques
1
-1
/
+2
2024-05-06
ada: Do not attempt to generate finalization actions with restricted profile
Eric Botcazou
2
-3
/
+11
2024-05-06
ada: Small cleanup in C/C++ front-end interface
Eric Botcazou
1
-231
/
+41
2024-05-06
ada: Deconstruct support for abstract states with Relaxed_Initialization
Piotr Trojanek
7
-47
/
+12
2024-05-06
ada: Spurious reference warning on qualified expression
Justin Squirek
1
-1
/
+2
2024-05-06
ada: Spurious reference warning on qualified expression
Justin Squirek
1
-0
/
+4
2024-05-06
ada: Spurious reference warning on qualified expression
Justin Squirek
1
-10
/
+10
2024-05-06
ada: Spurious reference warning on qualified expression
Justin Squirek
1
-0
/
+10
2024-05-06
ada: Fix RM reference in comment
Ronan Desplanques
1
-1
/
+1
2024-05-06
ada: Make a couple of comment tweaks
Eric Botcazou
1
-5
/
+4
2024-05-06
ada: Rework processing of special objects needing finalization
Eric Botcazou
10
-380
/
+500
2024-05-06
ada: Replace references to PO_Simple by Protected_Objects in comments
Eric Botcazou
3
-4
/
+10
2024-05-06
ada: Fix wrong Finalization_Size for No_Heap_Finalization objects
Eric Botcazou
1
-1
/
+9
2024-05-06
ada: Fix spurious warning emission
Ronan Desplanques
5
-10
/
+13
[next]