You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For seamless integration in editors (e.g. Visual Studio) we should produce source maps by default when extracting, allowing users to browse F*/Coq/ProVerif/* extracted code, click on any section, and find the associated Rust source code.
The text was updated successfully, but these errors were encountered:
For seamless integration in editors (e.g. Visual Studio) we should produce source maps by default when extracting, allowing users to browse F*/Coq/ProVerif/* extracted code, click on any section, and find the associated Rust source code.
The text was updated successfully, but these errors were encountered: