4 ms·
I'm talking about SPARK-with-pointers. As of June this year, that was still only available as a preview: > If you now feel like using them, a preview is availa
by roca 7y ago
I'm talking about SPARK-with-pointers. As of June this year, that was still only available as a preview:
> If you now feel like using them, a preview is available in the community 2019 edition of GNAT+SPARK.
- pjmlp 7y agoFair enough, however SPARK-without-pointers is even more constrained in what concerns dynamic allocation, basically it is forbidden and everything must be known at compile time.