search

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset
https://mlaveaux.github.io/mCRL2-rust/
Boost Software License 1.0
0 stars 0 forks source link

Make the semi compressed tree application reuse vector allocations. #3

Open mlaveaux opened 4 months ago

mlaveaux commented 4 months ago

This is mostly a performance consideration since we use these to apply substitutions in the condition rewriting and the sabre rewriter. Since we store temporary terms this is not completely straight forward, but as vectors are cleared between different applications it should be possible to transmute them safely.