Translate additional unsafe MIR operations

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification

Apache License 2.0

79 stars 14 forks source link

Closed Nadrieril closed 3 weeks ago

Nadrieril commented 3 weeks ago

Fixes #280, fixes #91, fixes #335.

This required updates to hax. Since @W95Psp is on vacation, I will use my own hax fork in Charon until these changes can be merged upstream.