search

0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
618 stars 156 forks source link

Enable serialization of source locations for `AstSerdeOptions` #1211

Closed Fumuran closed 4 months ago

Fumuran commented 7 months ago

This PR implements the additional serialize_source_locations property in the AstSerdeOptions, allowing to choose whether source locations should be serialized. According to this, serialization of source locations was implemented in the ProgramAst and ModuleAst structures.

plafer commented 4 months ago

@Overcastan are you still working on this?

bobbinth commented 4 months ago

We can probably close this as it will not longer be relevant in MAST-based serialization.