projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
[Ada] Silence spurious warning on instances of formal vectors
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