search

AeneasVerif / aeneas

A verification toolchain for Rust programs
Apache License 2.0
136 stars 12 forks source link

Cleanup the code in preparation of the nested loops #123

Closed sonmarcho closed 1 month ago

sonmarcho commented 1 month ago

This PR cleanups a bit the code of the compiler and renames Result.ret to Result.ok. Those changes are in preparation of the nested loops.