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:
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
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: