projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
[Ada] Ada_2020: ongoing work for aggregates for bounded containers
2020-10-21
Claire Dross
[Ada] Raise Capacity_Error on formal vector insertion
commit
|
commitdiff
|
tree
2020-10-20
Claire Dross
[Ada] Make attribute Update an obsolescent feature
commit
|
commitdiff
|
tree
2020-06-18
Claire Dross
[Ada] The definition of constants in declare expressions...
2020-06-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Claire Dross
[Ada] Silence spurious warning on instances of formal...
2020-06-08
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2020-06-08
Claire Dross
[Ada] Add Depends contracts to Delete procedures of...
2020-06-08
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-12-12
Claire Dross
[Ada] Use correct subtype for call to Last in formal...
2019-12-12
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[Ada] Factor out code for deciding statically known...
2019-09-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-18
Claire Dross
[Ada] Fix style issues in functional maps
2019-09-18
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Add Remove primitive on functional maps
2019-09-17
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-09-17
Claire Dross
[Ada] Support chained calls to traversal functions...
2019-09-17
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-21
Claire Dross
[Ada] Allow for of iteration on formal vectors
2019-08-21
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-19
Claire Dross
[Ada] Allow reading a borrowed object inside a call...
2019-08-19
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-08-13
Claire Dross
[Ada] Extend range type in search primitives of formal...
2019-08-13
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Claire Dross
[Ada] Refactor ownership pointer checking in SPARK...
2019-07-11
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-11
Claire Dross
[Ada] Memory corruption when using formal hashed sets...
2019-07-11
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-10
Claire Dross
[Ada] Fix possible crashes in GNATprove analysis of...
2019-07-10
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2019-07-05
Claire Dross
[Ada] Ada.Containers.Formal_Vectors: make vectors always...
2019-07-05
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2018-10-09
Claire Dross
[Ada] Functional_Vectors: remove default value for...
2018-10-09
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2018-05-28
Claire Dross
[Ada] Allow for GNATprove specific versions of routines...
2018-05-28
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-04-27
Claire Dross
a-cforma.adb, [...] (=): Generic parameter removed...
2017-04-27
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-04-27
Claire Dross
a-cofuba.ads (Add): Take as an additional input parameter...
2017-04-27
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-01-23
Claire Dross
exp_spark.adb (Expand_SPARK_Attribute_Reference): For...
2017-01-23
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree
2017-01-19
Claire Dross
exp_ch7.adb (Build_Invariant_Procedure_Body): Semi...
2017-01-19
Claire Dross
<dross@adacore.com>
commit
|
commitdiff
|
tree