Add a bunch of missing features

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 1 month ago

Nadrieril commented 1 month ago

Fixes AeneasVerif/charon#165, fixes AeneasVerif/charon#322, fixes AeneasVerif/charon#278, fixes AeneasVerif/charon#323, fixes AeneasVerif/charon#320.