v0.2.0 - First crates.io Release

A lot has happened since the last release. The interpreter is now available via crates.io: dlr-wasm-interpreter. We also provide multiple utility crates: https://crates.io/search?q=dlr-wasm-interpreter.

What's Changed

• Dev/update version number by @wucke13 in #298
• Add checked API & stored objects by @florianhartung in #286
• Frühjahrsputz by @wucke13 in #302
• Use cargo-nextest for Miri Tests by @florianhartung in #303
• Refactor linear memory to use Atomics by @wucke13 in #301
• Properly initialize spectest by @florianhartung in #296
• Allow Access to Linear Memory via &mut [u8] by @florianhartung in #304
• u64 for Fuel by @florianhartung in #308
• Minor Fixes Before New Indices by @florianhartung in #311
• Various Fixes by @florianhartung in #312
• Migrate Requirements To Newer Strictdoc Syntax by @florianhartung in #319
• Unpin log Version by @florianhartung in #320
• Make The ValueStack Contain a Special Base Call Frame by @florianhartung in #315
• Add Embedder API for Accessing Imports/Exports of a Module by @florianhartung in #318
• Implement core::error::Error for all error types by @florianhartung in #274
• More Various Fixes by @florianhartung in #314
• Add Utility Trait to Convert from u32 to usize by @florianhartung in #310
• Rework Readers & Type-Safe Indices by @florianhartung in #306
• Lock-Free Dormitory by @florianhartung in #316
• Owning Resumables & Remove ResumableRef by @florianhartung in #324
• Impl AbstractStored for Vec Directly by @florianhartung in #325
• Define New Wrapper Structs for Checked API by @florianhartung in #326
• Export Opcodes And Their to_str Functions by @florianhartung in #329
• Make Unchecked Store API Unsafe by @florianhartung in #327
• Modular Crates by @florianhartung in #330
• Fix Codecov Badge In Readme by @florianhartung in #331
• Fix Validation Formatting by @florianhartung in #332
• Store Custom Sections In ValidationInfo by @florianhartung in #336
• Frühjahrsputz of vec allocations by @cemonem in #335
• Returning Host Functions by @florianhartung in #334
• fix(execution): skip block type instead of u32 after if instruction by @florianhartung in #338
• Fix Infinite Recursion in Debug Impl for Stored by @florianhartung in #339
• Fix Bug Where the PC is Reset to an Unknown Location When Out Of Fuel in Fill/Init Instructions by @florianhartung in #341
• chore: update flake lock by @florianhartung in #344
• Cache bench-against-main Results and Remove Log from Default Features by @florianhartung in #345
• fix: remove sidetable offset arithmetic by @cemonem in #346
• feat: replace Vec by Box for value stack by @wucke13 in #342
• Split Interpreter Loop Into Separate Functions by @florianhartung in #343
• Add DecodingError by @florianhartung in #351
• Improve Criterion Benchmark by @florianhartung in #349
• fix: expose CustomSection struct by @florianhartung in #352
• fix: max value stack size by @florianhartung in #357
• Improve PR Template by @florianhartung in #358
• Align Project Structure with Specification by @florianhartung in #360
• Add Requirement for Compliance with Wasm Specification by @florianhartung in #355
• Various QoL fixes by @wucke13 in #362
• Add coremark-wasm as a New Benchmark by @florianhartung in #348
• refactor: clean up old "beautiful" instruction logging by @florianhartung in #363
• feat: validation instruction hook by @cemonem in #340
• Fix Error Handling for {table,memory}.grow by @florianhartung in #356
• Fix FixedCapacityVec by @skade in #366
• feat: add citation info to README.md by @wucke13 in #367
• fix: missing comma in readme bibtex citation by @florianhartung in #368
• Revert LinearMemory To Being Single-Threaded by @florianhartung in #353
• Unpin libm Version by @florianhartung in #371
• Prepare v0.2 by @florianhartung in #372

New Contributors

• @skade made their first contribution in #366

Full Changelog: v0.1.0...v0.2.0

1st stable release

This marks the first stable release of the DLR Wasm Interpreter. With the publication of ¹ on 2nd of December, the reach of 100% Wasm Specification 2.0 test suite compliance late in the summer of '25 and the current trajectory towards being a feature complete Wasm interpreter, we feel confident to tag our first release.

If you would like to cite this release, please refer to it via the citation info:

@INPROCEEDINGS{11257180,
  author={Zaeske, Wanja and Önem, A. Cem and Hartung, Florian and Durak, Umut},
  booktitle={2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC)}, 
  title={On the Design of a WebAssembly Interpreter for Safety Critical Avionics Applications}, 
  year={2025},
  volume={},
  number={},
  pages={1-10},
  keywords={Codes;Instruction sets;Aerospace electronics;Webassembly;Software;Hardware;Safety;Space exploration;Certification;Standards;Avionics;Wasm;ED-12C/DO-178C;ED-217/DO-332},
  doi={10.1109/DASC66011.2025.11257180}
}

1. https://ieeexplore.ieee.org/document/11257180 ↩