2018-10-09 | Maroua Maalej | [Ada] SPARK: fix bug related to non access object permissions 2018-10-09 Maroua Maalej <maalej@adacore.com> |
commit | commitdiff | tree |
2018-09-26 | Maroua Maalej | [Ada] SPARK: fix a bug related to loop exit environment 2018-09-26 Maroua Maalej <maalej@adacore.com> |
commit | commitdiff | tree |
2018-09-26 | Maroua Maalej | [Ada] SPARK: update borrowing effects for IN parameters 2018-09-26 Maroua Maalej <maalej@adacore.com> |
commit | commitdiff | tree |
2018-08-21 | Maroua Maalej | [Ada] Update for Ownership rules for access types according... 2018-08-21 Maroua Maalej <maalej@adacore.com> |
commit | commitdiff | tree |
2018-05-23 | Maroua Maalej | [Ada] Fix of some permission rules of pointers in SPARK 2018-05-23 Maroua Maalej <maalej@adacore.com> |
commit | commitdiff | tree |