Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.
MIT License
Slightly refine the documentation and update the verification tooling. There are no changes to the codebase in this release.
Published by pavel-kirienko almost 3 years ago
Full Changelog: https://github.com/pavel-kirienko/o1heap/compare/2.0.0...2.1.0
Published by pavel-kirienko about 3 years ago
See the changelog for details.