v0.1.0
Pre-release
Pre-release
What's Changed
- Continuous integration by @Kronos3 in #6
- Track code coverage and codemark score in CI by @Kronos3 in #8
- CodeCov by @Kronos3 in #10
- Only upload to codecov on merges into main by @Kronos3 in #11
- Remove unused function by @Kronos3 in #12
- Add Kani model checker tests for unsafe blocks by @Kronos3 in #7
- Simplify InterpreterResult enum by @Kronos3 in #13
- Consolidate InitializeResult with InterpreterResult by @Kronos3 in #14
- Configurable limits by @Kronos3 in #15
- Remove internal copyright notice by @Kronos3 in #19
- Open source SRA copyright notice by @Kronos3 in #20
- Refactor store and static allocation by @Kronos3 in #16
- Fix off-by-one bug for br_table n>=255 (#23) by @cole-wilson in #25
- Refactor br.table to not incur stack allocation by @Kronos3 in #27
- Remove unused TooManyBrTableCases by @Kronos3 in #28
- Pass correct index argument to call_host() by @myint in #29
- Multi-thread Kani GitHub Action by @h313 in #30
- Add release pipeline by @Kronos3 in #31
New Contributors
- @Kronos3 made their first contribution in #6
- @myint made their first contribution in #29
- @cole-wilson made their first contribution in #23
- @h313 made their first contribution in #7
Full Changelog: https://github.com/nasa/spacewasm/commits/v0.1.0
Contributors
myint, h313, and 2 other contributors