- computing subtrace lengths in
FoldFSM
(for more details see PR 138) - change
Sender
struct serialization way inCallResult::RequestSentBy
- add a separate (empty?) state in
air_interpreter_data::CallResult
forCallOutputValue::None
for hardening - remove serde-based field renaming in data to support outdated data versions