search

AeneasVerif / charon

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

Write a manual #236

Open sonmarcho opened 3 weeks ago

sonmarcho commented 3 weeks ago

Charon is starting to have quite a few undocumented features. For instance, it is now possible to annotate declarations with the opaque attribute. We should start thinking about writing a reference manual.