search

AeneasVerif / charon

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

Remove trait resolution #235

Closed Nadrieril closed 3 months ago

Nadrieril commented 3 months ago

Now that the code for trait resolution has been moved to Hax, we should remove what remains of it in Charon.