runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
77 stars 19 forks source link

Simplify Nix code #674

Closed Baltoli closed 1 month ago

Baltoli commented 1 month ago

This PR adopts the new K-supplied Pyk derivation, rather than using the separate subdirectory Pyk flake as we did previously. Doing so simplifies the dependency graph for this project's flake, and reduces the opportunity for multiple versions of packages to get dragged in.