Closed pnkfelix closed 1 year ago
This is a long-needed change that removes an ugly hack I put in for the Rust Verification Workshop demo.
(It is built atop PR #8; you can ignore the first commit since that's really part of #8 alone; in other words, the main relevant commit is: https://github.com/pnkfelix/krabcake/pull/9/commits/fe01725cef3ede0e53eaee369c4b017aef5b0f41 )
Also, its meant to be in tandem to submodule PR https://github.com/pnkfelix/krabcake-vg/pull/9. (I'm pretty sure the submodule updates here are not quite right, but we'll fix them after this lands.)
This is a long-needed change that removes an ugly hack I put in for the Rust Verification Workshop demo.
(It is built atop PR #8; you can ignore the first commit since that's really part of #8 alone; in other words, the main relevant commit is: https://github.com/pnkfelix/krabcake/pull/9/commits/fe01725cef3ede0e53eaee369c4b017aef5b0f41 )
Also, its meant to be in tandem to submodule PR https://github.com/pnkfelix/krabcake-vg/pull/9. (I'm pretty sure the submodule updates here are not quite right, but we'll fix them after this lands.)