BlockstreamResearch / rust-simplicity

Creative Commons Zero v1.0 Universal
58 stars 12 forks source link

Update simplicity to e5b477f3c5d0bd4af5fa2b364d29cf8a00907074 #167

Closed sanket1729 closed 1 year ago

sanket1729 commented 1 year ago

Also fix broken test cases because of CMR mismatch.

The last commit splits out heavy jets so we can run them longer in our benchmarks.

sanket1729 commented 1 year ago

I suggest ignoring the clippy error as that is something auto-generated by Haskell script which can be fixed at a later point

sanket1729 commented 1 year ago

The third commit is clunky because we need to fix all the upgrade bugs in the same update commit.

apoelstra commented 1 year ago

Wow! Thanks for doing all this.

apoelstra commented 1 year ago

We should fix the clippy thing or patch CI, but we can do this in a later PR since this one is pretty big.