non-packaging-related fixes for IELE performance - Githubissues

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain

Other

131 stars 33 forks source link

non-packaging-related fixes for IELE performance #275

Closed dwightguth closed 3 years ago

dwightguth commented 3 years ago

Still needing to be done in another PR:

Update nix package to enable release mode when building
Enable lto in nix package