Giters

GaloisInc / saw-script

The SAW scripting language.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SAW Rust tutorial requires `rotate_left` override, which isn't included in `crucible-mir` submodule

RyanGlScott opened this issue · comments

commented

The SAW Rust tutorial added in #1939 requires the use of a rotate_left override, which was added to crucible-mir in GaloisInc/crucible#1158. However, SAW's crucible submodule does not yet include the changes from GaloisInc/crucible#1158, which makes it impossible to follow along with the Rust tutorial at the moment. We should bump the crucible submodule accordingly to fix this.