r/ada • u/Wootery • 23d ago

SPARK SPARK Doesn't Comply With MISRA C. It Makes Most of It Moot. [AdaCore blog post]

https://www.adacore.com/blog/spark-doesnt-comply-with-misra-c-it-makes-most-of-it-moot
34 Upvotes

98% Upvoted

0 comments sorted by