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/nothrow-detection
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
/
aspects.ads
Age
Commit message (
Expand
)
Author
Files
Lines
2023-06-15
ada: Accept aspect Always_Terminates without expression
Piotr Trojanek
1
-1
/
+1
2023-06-13
ada: Implement new aspect Always_Terminates for SPARK
Piotr Trojanek
1
-0
/
+6
2023-06-13
ada: Support new GNAT-specific aspect Ghost_Predicate
Yannick Moy
1
-1
/
+7
2023-05-25
ada: Add missing supportive code for recently added SPARK aspects
Piotr Trojanek
1
-0
/
+2
2023-05-23
ada: Accept and analyze new aspect Exceptional_Cases
Piotr Trojanek
1
-0
/
+5
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2022-09-05
[Ada] Fix crash for Default_Initial_Condition on derived enumeration type
Eric Botcazou
1
-3
/
+3
2022-07-13
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects
Gary Dismukes
1
-1
/
+1
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2021-11-10
[Ada] ACATS BDC1002 shall not error on arbitrary aspect
Etienne Servais
1
-0
/
+8
2021-10-05
[Ada] Front-end support for Storage_Model feature
Gary Dismukes
1
-0
/
+10
2021-10-01
[Ada] Stub CUDA_Device aspect
Ghjuvan Lacambre
1
-0
/
+4
2021-09-22
[Ada] Removal of technical debt
Justin Squirek
1
-1
/
+1
2021-07-05
[Ada] Turn GNAT_Annotate into its own pragma
Ghjuvan Lacambre
1
-3
/
+10
2021-06-18
[Ada] Remove AAMP from compiler sources
Bob Duff
1
-5
/
+1
2021-06-15
[Ada] No_Task_Parts aspect
Bob Duff
1
-0
/
+5
2021-05-07
[Ada] Implement aspect No_Controlled_Parts
Justin Squirek
1
-0
/
+5
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2020-11-27
[Ada] Implement AI12-0187 (Stable properties of abstract data types)
Steve Baird
1
-19
/
+31
2020-10-23
[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363
Eric Botcazou
1
-0
/
+4
2020-10-23
[Ada] Update header of front-end files
Arnaud Charlet
1
-10
/
+4
2020-10-22
[Ada] AI12-0211: Consistency of inherited nonoverridable aspects
Steve Baird
1
-0
/
+10
2020-10-20
[Ada] Support for new aspect Subprogram_Variant on recursive subprograms
Piotr Trojanek
1
-0
/
+5
2020-10-16
[Ada] Ada2020: AI12-0129 Make protected objects more protecting
Arnaud Charlet
1
-0
/
+4
2020-07-23
[Ada] Stub CUDA_Execute and CUDA_Global pragmas
Arnaud Charlet
1
-0
/
+4
2020-07-10
[Ada] Part of implementation of AI12-0212: container aggregates
Ed Schonberg
1
-0
/
+6
2020-07-06
[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operations
Arnaud Charlet
1
-1
/
+1
2020-06-17
[Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield
Javier Miranda
1
-3
/
+7
2020-06-17
[Ada] Implement static expression functions for Ada 202x (AI12-0075)
Gary Dismukes
1
-0
/
+4
2020-06-16
[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)
Steve Baird
1
-0
/
+15
2020-06-15
[Ada] Missing errors on aspect checking
Arnaud Charlet
1
-1
/
+1
2020-06-15
[Ada] Support aspect Relaxed_Initialization and attribute Initialized
Piotr Trojanek
1
-0
/
+6
2020-06-12
[Ada] ACATS 4.2Q - BDD2007
Arnaud Charlet
1
-0
/
+128
2020-06-04
[Ada] Put_Image attribute
Bob Duff
1
-5
/
+9
2020-06-03
[Ada] Remove ASIS tree generation
Arnaud Charlet
1
-6
/
+0
2020-06-02
[Ada] Bump copyright year
Arnaud Charlet
1
-1
/
+1
2019-08-13
[Ada] Implement pragma Max_Entry_Queue_Length
Justin Squirek
1
-1
/
+6
2019-08-12
[Ada] New aspect/pragma No_Caching for analysis of volatile data
Yannick Moy
1
-0
/
+4
2019-07-23
[Ada] Iterators are view-specific
Ed Schonberg
1
-0
/
+14
2019-01-08
[Ada] Bump copyright years to 2019
Pierre-Marie de Rodat
1
-1
/
+1
2018-05-30
[Ada] Implement pragma Max_Entry_Queue_Depth
Justin Squirek
1
-0
/
+5
2018-05-30
[Ada] Spell preanalysis, preanalyze correctly
Bob Duff
1
-1
/
+1
2018-01-11
[Ada] Bump copyright notices to 2018
Arnaud Charlet
1
-1
/
+1
2017-04-25
[multiple changes]
Arnaud Charlet
1
-1
/
+4
2017-01-12
[multiple changes]
Arnaud Charlet
1
-0
/
+5
2017-01-06
aspects.adb, [...]: Reverted previous change for now.
Patrick Bernardi
1
-5
/
+0
2017-01-06
aspect.adb, aspect.ads: Added new aspect Secondary_Stack_Size.
Patrick Bernardi
1
-0
/
+5
2017-01-06
[multiple changes]
Arnaud Charlet
1
-0
/
+5
2016-04-27
[multiple changes]
Arnaud Charlet
1
-3
/
+3
2015-10-26
[multiple changes]
Arnaud Charlet
1
-1
/
+5
[next]