jaybosamiya·vor 2 Jahren·discussA fork of rust-analyzer, called verus-analyzer, provides support for Verus syntax and actions (including new proof-specific actions) https://github.com/verus-lang/verus-analyzer/
jaybosamiya·vor 3 Jahren·discussThis reminds me of a bugfix [1] I added to nmap almost a decade ago, where runtime interaction was previously broken due to interaction with sudo and signal propagation. Was a fun rabbit-hole to figure out why the issue was happening.[1]: https://github.com/nmap/nmap/commit/f2e162d2245679f420b40feb...