v0.1.0 Public Release

What's Changed

• Set clear FFI boundary by @Jbsco in #1
• Implement rate limiting & property testing in the Haskell layer by @Jbsco in #2
• Implement continuous integration actions for GitHub by @Jbsco in #3
• Update documentation to include DO-278A language and objective mappings by @Jbsco in #4
• Restructure http https equivalence (near-Gold level SPARK assurance) by @Jbsco in #5
• Proof of work integration by @Jbsco in #6
• Docker and Systemd deployment implementation by @Jbsco in #7
• Security self audit by @Jbsco in #8
• V1 documentation by @Jbsco in #9

Full Changelog: v0.1.0-dev...v0.1.0