I'm thinking of making such (tiny) library, using VST and CompCert (for education purposes, obviously).
But the first step is to search if such library isn't already made.
Lessness has marked this topic as resolved.
Lessness has marked this topic as unresolved.
There is WhyMP: https://www.sciencedirect.com/science/article/abs/pii/S0747717122000657 by @Guillaume Melquiond .
But it is not done with VST afaik.
Last updated: Feb 04 2023 at 21:02 UTC