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