search

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
74 stars 18 forks source link

Clean up nix code #664

Closed Baltoli closed 1 week ago

Baltoli commented 1 week ago

Now that Pyk and K have aligned their respective versions of Nixpkgs, we can begin to clean up some of the Nix code that was previously required to work around them being separated.

Baltoli commented 1 week ago

Ah, that's a good point. I'll follow up on that in the K toolchain repositories separately.