search

rems-project / isla

Symbolic execution tool for Sail ISA specifications
Other
61 stars 10 forks source link

Rust version out of date in README #59

Closed ric-almeida closed 1 year ago

ric-almeida commented 1 year ago

The Rust version needed to build should be >= 1.65, not 1.56. let-else is stable >=1.65.

I don't have permissions to open a PR for this.

Alasdair commented 1 year ago

Should be fixed now