Simplify the structure of the project by merging vecmap into the main runtime crate. Vecmap is a small module and I don't think the fact it has a formally verified implementation justifies keeping the runtime crate split like that. I tagged the previous commit so we can still revive the creusot implementation in the future.
Simplify the structure of the project by merging vecmap into the main runtime crate. Vecmap is a small module and I don't think the fact it has a formally verified implementation justifies keeping the runtime crate split like that. I tagged the previous commit so we can still revive the creusot implementation in the future.