search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
79 stars 14 forks source link

Make hax an optional dependency #304

Closed Nadrieril closed 1 month ago

Nadrieril commented 1 month ago

For https://github.com/AeneasVerif/charon/issues/178