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
/
libgnat
Age
Commit message (
Expand
)
Author
Files
Lines
2021-09-22
[Ada] Clarify parts of Ada.Strings.Unbounded in SPARK or not
Yannick Moy
1
-1
/
+4
2021-09-22
[Ada] Contracts written for the Ada.Strings.Bounded library
Pierre-Alexandre Bazin
6
-723
/
+4911
2021-09-22
[Ada] VxWorks inconsistent use of return type (BOOL)
Doug Rupp
2
-6
/
+12
2021-09-22
[Ada] Improve performance for case-insensitive regular expressions
Steve Baird
1
-10
/
+53
2021-09-22
[Ada] Remove System.Img_Enum_New unit
Eric Botcazou
2
-255
/
+0
2021-09-21
[Ada] Minor tweaks to System.Dwarf_Line
Eric Botcazou
1
-7
/
+8
2021-09-21
[Ada] Cleanup old VxWorks in Makefile.rtl
Doug Rupp
6
-837
/
+0
2021-09-21
[Ada] Small optimization to DWARF 5 mode in System.Dwarf_Line
Eric Botcazou
1
-6
/
+12
2021-09-21
[Ada] Follow-up tweaks to System.Dwarf_Line
Eric Botcazou
1
-8
/
+7
2021-09-21
[Ada] Refactor sort procedures of doubly linked list containers
Steve Baird
8
-448
/
+454
2021-09-21
[Ada] Remove "with GNAT.OS_Lib;" from libgnat/a-stbufi.ads
Bob Duff
2
-6
/
+8
2021-09-20
[Ada] Add SPARK_Mode => Off to System.File_Control_Block
Claire Dross
1
-1
/
+1
2021-09-20
[Ada] Use OS_Time for interface to TZ functions.
Doug Rupp
2
-13
/
+11
2021-09-20
[Ada] SPARK proof of the Ada.Strings.Fixed library
Pierre-Alexandre Bazin
4
-349
/
+1166
2021-09-20
[Ada] Adjust latest change for ELF platforms
Eric Botcazou
1
-6
/
+5
2021-09-20
[Ada] Add support for PE-COFF PIE to System.Dwarf_Line
Eric Botcazou
4
-67
/
+108
2021-09-20
[Ada] Small cleanup in System.Dwarf_Line
Eric Botcazou
2
-9
/
+6
2021-09-14
Strengthen compatibility warning for GCC builtins
Eric Botcazou
5
-29
/
+22
2021-07-25
[Ada] Declare time_t uniformly based on a system parameter #2
Arnaud Charlet
1
-0
/
+2
2021-07-12
[Ada] Add DWARF 5 support to System.Dwarf_Line
Eric Botcazou
2
-313
/
+653
2021-07-09
[Ada] Improve performance of Ada.Containers.Doubly_Linked_Lists.Generic_Sorti...
Steve Baird
1
-58
/
+161
2021-07-09
[Ada] Typo corrections and minor reformatting
Gary Dismukes
4
-13
/
+12
2021-07-09
[Ada] Declare time_t uniformly based on a system parameter
Doug Rupp
12
-10
/
+255
2021-07-09
[Ada] Fix layout of contracts
Joffrey Huguet
2
-22
/
+18
2021-07-09
[Ada] Code cleanups in a-strfix.adb
Arnaud Charlet
1
-84
/
+54
2021-07-08
[Ada] Incorrect iteration over hashed containers after multiple Inserts
Ed Schonberg
4
-4
/
+41
2021-07-08
[Ada] Make runtime code compatible with No_Dynamic_Accessibility_Checks
Arnaud Charlet
10
-43
/
+40
2021-07-07
[Ada] Minor code cleanup
Arnaud Charlet
1
-1
/
+1
2021-07-07
[Ada] Code cleanups in System.Atomic_Counters
Arnaud Charlet
2
-16
/
+5
2021-07-07
[Ada] Timeout correction on Get_Socket_Option
Dmitriy Anisimkov
1
-6
/
+10
2021-07-07
[Ada] Fix precondition of Cot for code analyzers
Yannick Moy
1
-1
/
+1
2021-07-07
[Ada] Add socket options to control keepalive on TCP connection
Dmitriy Anisimkov
2
-14
/
+62
2021-07-06
[Ada] Enable Ada 2020 Put_Image and Image support for tagged types
Steve Baird
1
-1
/
+2
2021-07-06
[Ada] Transient scope cleanup
Bob Duff
1
-7
/
+0
2021-07-06
[Ada] Add assertions on tampering counts
Bob Duff
1
-0
/
+13
2021-07-05
[Ada] Add Reference and Constant_Reference functions to formal containers
Claire Dross
19
-370
/
+1073
2021-07-05
[Ada] Remove Ada.Strings.Text_Output and child units
Steve Baird
13
-1486
/
+0
2021-07-05
[Ada] The Unix Epochalyse of 2038 - OS_Time comparison
Doug Rupp
2
-45
/
+4
2021-07-05
[Ada] The Unix Epochalypse of 2038 (Warn about time_t in the compiler)
Doug Rupp
2
-28
/
+36
2021-07-05
[Ada] INOX: prototype alternative accessibility model
Justin Squirek
1
-0
/
+1
2021-07-05
[Ada] The Unix Epochalyse of 2038 - OS_Time
Doug Rupp
2
-6
/
+5
2021-07-05
[Ada] Adapt SPARK checking after change in rules regarding heap modeling
Yannick Moy
1
-1
/
+4
2021-06-29
[Ada] Add support for Aarch64 in System.Object_Reader
Aleksandra Pasek
2
-2
/
+10
2021-06-29
[Ada] Disable Pre/Post in formal containers
Claire Dross
7
-0
/
+35
2021-06-29
[Ada] tech debt: Parent (Empty) is not allowed
Bob Duff
2
-2
/
+2
2021-06-29
[Ada] Further adjustment and optimization of System.Value_N
Eric Botcazou
5
-37
/
+38
2021-06-21
[Ada] Optimization of System.Value_N
Bob Duff
1
-3
/
+3
2021-06-21
[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_Output
Steve Baird
78
-302
/
+1419
2021-06-21
[Ada] Improve efficiency of small slice assignments of packed arrays
Bob Duff
3
-15
/
+44
2021-06-21
[Ada] Implement 'Valid_Value attribute
Bob Duff
7
-35
/
+126
[next]