projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Reject junk syntax for Contract_Cases/Test_Case/Subprogram_Variant
[gcc.git]
/
gcc
/
ada
/
sem_prag.adb
2020-12-16
Piotr Trojanek
[Ada] Reject junk syntax for Contract_Cases/Test_Case...
blob
|
commitdiff
|
raw
2020-12-15
Justin Squirek
[Ada] Postcondition checks performed before finalization
blob
|
commitdiff
|
raw
|
diff to current
2020-12-15
Piotr Trojanek
[Ada] Simplify discarding nodes when processing aspect...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Piotr Trojanek
[Ada] Simplify prevention of cascaded errors for Refine...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Yannick Moy
[Ada] Refine error messages on illegal Refined_State...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Piotr Trojanek
[Ada] Avoid reanalysis of malformed dependency relations
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Piotr Trojanek
[Ada] Fix analysis of access objects in Depends contracts
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Piotr Trojanek
[Ada] Update comment for processing of pragma Assertion...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-30
Gary Dismukes
[Ada] Implement inheritance for Default_Initial_Conditi...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Piotr Trojanek
[Ada] Assertion_Policy is not a valid assertion policy
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Piotr Trojanek
[Ada] Simplify check for illegal non-returning procedures
blob
|
commitdiff
|
raw
|
diff to current
2020-11-27
Ghjuvan Lacambre
[Ada] Emit error messages for null/generic nonreturning...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Piotr Trojanek
[Ada] Reuse Is_Generic_Subprogram where possible
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Gary Dismukes
[Ada] Minor reformatting and a typo fix
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Ed Schonberg
[Ada] Crash on task declaration with Restriction_Warnin...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Bob Duff
[Ada] Pass base type to Set_Has_Own_Invariants
blob
|
commitdiff
|
raw
|
diff to current
2020-11-26
Piotr Trojanek
[Ada] Simplify checks for library unit pragmas
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Piotr Trojanek
[Ada] Reuse Is_Named_Number where possible
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Ghjuvan Lacambre
[Ada] Fix crash on invalid `pragma Profile`
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Piotr Trojanek
[Ada] Reuse Is_Named_Number where possible
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Piotr Trojanek
[Ada] Fix inconsistent parameter of SPARK_Msg_NE
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Justin Squirek
[Ada] Compiler crash on assertion pragma in ghost region
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Piotr Trojanek
[Ada] Reuse In_Same_List where possible
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Piotr Trojanek
[Ada] Simplify Is_Loop_Pragma
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Ghjuvan Lacambre
[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restr...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Yannick Moy
[Ada] Handle correctly current instance of PO in local...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-24
Yannick Moy
[Ada] Reject Global/Depends contracts on null procedures
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Piotr Trojanek
[Ada] Reject illegal syntax in pragma Contract_Cases
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Eric Botcazou
[Ada] Implement new legality rules introduced in C...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Piotr Trojanek
[Ada] Sync code for external properties with SPARK RM
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Piotr Trojanek
[Ada] Fix default value for re-analysis of external...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-22
Piotr Trojanek
[Ada] Refactor appending to possibly empty lists
blob
|
commitdiff
|
raw
|
diff to current
2020-10-22
Ghjuvan Lacambre
[Ada] Fix error message for import aspect
blob
|
commitdiff
|
raw
|
diff to current
2020-10-21
Eric Botcazou
[Ada] Basic support for 128-bit types
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Piotr Trojanek
[Ada] Support for new aspect Subprogram_Variant on...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-19
Ghjuvan Lacambre
[Ada] Implement initialization of CUDA runtime
blob
|
commitdiff
|
raw
|
diff to current
2020-10-19
Bob Duff
[Ada] Expanded names in ghost assignments
blob
|
commitdiff
|
raw
|
diff to current
2020-10-19
Piotr Trojanek
[Ada] Fix typo in error message about contract cases
blob
|
commitdiff
|
raw
|
diff to current
2020-10-16
Arnaud Charlet
[Ada] Remove support for -gnatP and pragma Polling
blob
|
commitdiff
|
raw
|
diff to current
2020-10-16
Yannick Moy
[Ada] SPARK: update for effectively volatile types...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-16
Arnaud Charlet
[Ada] Crash when specifying an abstract subprogram...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-15
Javier Miranda
[Ada] Ada2020: AI12-0003 Specifying the standard storag...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-15
Steve Baird
[Ada] Get finalization right when a function returns...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-15
Piotr Trojanek
[Ada] Adjust style in support for CUDA_Execute pragma
blob
|
commitdiff
|
raw
|
diff to current
2020-07-27
Arnaud Charlet
[Ada] Use membership tests in front-end
blob
|
commitdiff
|
raw
|
diff to current
2020-07-27
Gary Dismukes
[Ada] AI12-0194: Language-defined aspects and entry...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-23
Arnaud Charlet
[Ada] Stub CUDA_Execute and CUDA_Global pragmas
blob
|
commitdiff
|
raw
|
diff to current
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigne...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-16
Bob Duff
[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-15
Piotr Trojanek
[Ada] Cleanup condition for an effectively volatile...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-10
Piotr Trojanek
[Ada] Fix failing assertions related to volatile objects
blob
|
commitdiff
|
raw
|
diff to current
2020-07-08
Arnaud Charlet
[Ada] ACATS 4.1R - BD10001 - Error missed
blob
|
commitdiff
|
raw
|
diff to current
2020-07-07
Ghjuvan Lacambre
[Ada] Ensure No_Specification_Of_Aspect forbids pragmas...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Eric Botcazou
[Ada] Remove second warning for convention C_Variadic_n
blob
|
commitdiff
|
raw
|
diff to current
2020-06-18
Eric Botcazou
[Ada] Add second warning for convention C_Variadic_n
blob
|
commitdiff
|
raw
|
diff to current
2020-06-18
Ghjuvan Lacambre
[Ada] Do not treat pragma Compile_Time_Warning as error...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-17
Javier Miranda
[Ada] Ada2020: AI12-0279 more dispatching points with...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-17
Gary Dismukes
[Ada] Various typo corrections plus minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2020-06-17
Ed Schonberg
[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_T...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-17
Piotr Trojanek
[Ada] Fix casing from GNATProve to GNATprove
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Javier Miranda
[Ada] Crash in tagged type constructor with task components
blob
|
commitdiff
|
raw
|
diff to current
2020-06-15
Piotr Trojanek
[Ada] Do expect task discriminants in Global and Depend...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-15
Javier Miranda
[Ada] Crash in tagged type constructor with task components
blob
|
commitdiff
|
raw
|
diff to current
2020-06-15
Piotr Trojanek
[Ada] Do not expect task discriminants in Global and...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-15
Piotr Trojanek
[Ada] Support aspect Relaxed_Initialization and attribu...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-12
Piotr Trojanek
[Ada] Alphabetic ordering for name and pragmas
blob
|
commitdiff
|
raw
|
diff to current
2020-06-12
Eric Botcazou
[Ada] Implement AI12-0269 No_Return for functions
blob
|
commitdiff
|
raw
|
diff to current
2020-06-11
Steve Baird
[Ada] Allow specifying volatility refinement aspects...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
Bob Duff
[Ada] Disable unwanted warnings in Assertion_Policy...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
Arnaud Charlet
[Ada] Remove more references to ASIS
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
Ed Schonberg
[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-09
Eric Botcazou
[Ada] Implement AI12-0028: Import of variadic C functions
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
Steve Baird
[Ada] Implement AI12-0073 (Ravenscar disallows Synchron...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-08
Steve Baird
[Ada] Implement AI12-0291 (Jorvik profile)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Arnaud Charlet
[Ada] Replace ? by ?? in Error_Msg_N
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Arnaud Charlet
[Ada] AI12-0207 Convention of anonymous access types
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Bob Duff
[Ada] Assertion_Policy (Ignore) ignores invariants
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Arnaud Charlet
[Ada] Minor wording changes wrt Ada 202x
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Ed Schonberg
[Ada] Ada_2020: contracts for formal subprograms
blob
|
commitdiff
|
raw
|
diff to current
2020-06-04
Arnaud Charlet
[Ada] Remove OpenACC support
blob
|
commitdiff
|
raw
|
diff to current
2020-06-03
Yannick Moy
[Ada] Improve handling of SPARK_Mode in generic instances
blob
|
commitdiff
|
raw
|
diff to current
2020-06-03
Piotr Trojanek
[Ada] Iterate with procedural versions of Next_......
blob
|
commitdiff
|
raw
|
diff to current
2020-06-02
Arnaud Charlet
[Ada] Remove ASIS_Mode
blob
|
commitdiff
|
raw
|
diff to current
2020-06-02
Arnaud Charlet
[Ada] Bump copyright year
blob
|
commitdiff
|
raw
|
diff to current
2020-06-02
Piotr Trojanek
[Ada] Accept objects from nested packages in Initialize...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-02
Arnaud Charlet
[Ada] Address potentially uninitialized variables and...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-02
Yannick Moy
[Ada] Allow GNATprove to set overflow mode
blob
|
commitdiff
|
raw
|
diff to current
2020-05-25
Yannick Moy
[Ada] Change pragma Compile_Time_Error to force compile...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-18
Ed Schonberg
[Ada] AI12-0282: shared variable control aspects on...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-16
Eric Botcazou
[Ada] Fix couple of oversights in the implementation...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-16
Eric Botcazou
[Ada] Implement new legality rules introduced in C...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-13
Javier Miranda
[Ada] Pragma Linker_Section in subprogram instantiation...
blob
|
commitdiff
|
raw
|
diff to current
2019-12-13
Yannick Moy
[Ada] Avoid spurious errors on Global/Depends in instan...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Gary Dismukes
[Ada] Various minor typo fixes
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Bob Duff
[Ada] T'Size in pragma Compile_Time_Error
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Bob Duff
[Ada] Assertion_Policy (Ignore) ignores invariants
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Anthony Leonardo...
[Ada] Mention GNAT Studio instead of GPS
blob
|
commitdiff
|
raw
|
diff to current
2019-10-10
Piotr Trojanek
[Ada] Use declared type for deciding on SPARK pointer...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-19
Steve Baird
[Ada] Accept concatentation arguments to pragma Annotate
blob
|
commitdiff
|
raw
|
diff to current
2019-09-19
Yannick Moy
[Ada] Use declared type for deciding on SPARK pointer...
blob
|
commitdiff
|
raw
|
diff to current
next