search

BlockstreamResearch / rust-simplicity

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

Refactor exec_jec #207

Closed uncomputable closed 6 months ago

uncomputable commented 7 months ago

A small change that fits into no other PR.

uncomputable commented 7 months ago

Added another bugfix that fits nowhere else.

uncomputable commented 6 months ago

Rebased on master. Creating the buffers inside the helper methods is much cleaner than passing mutable references. Added assertions that the active read / write frame are large enough. Resolved misunderstanding that jet source / target type is as wide as active read / write frame (actually the relation is type ≤ frame).