POSIX
From AdaCommons
https://github.com/io7m/coreland-posix-ada
This package provides a (partial) set of SPARK-validated Ada bindings to the IEEE Std 1003.1-2008 (POSIX) specification.
Views
Personal tools
- This page was last modified on 11 December 2011, at 23:25.
- This page has been accessed 722 times.
- Content is available under Attribution-Share Alike 2.5 .
- Privacy policy
- About AdaCommons
- Disclaimers