hax icon indicating copy to clipboard operation
hax copied to clipboard
verified publisher icon hacspec

Frontend: bump `rustc` version

Open W95Psp opened this issue 2 years ago • 1 comments

ping @sonmarcho

W95Psp avatar Aug 21 '23 11:08 W95Psp

https://github.com/hacspec/hax/pull/650 https://github.com/hacspec/hax/pull/655

W95Psp avatar May 16 '24 12:05 W95Psp

This was closed by https://github.com/hacspec/hax/pull/735

W95Psp avatar Jul 08 '24 13:07 W95Psp