search

AeneasVerif / charon

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

Rename `assumed` to `builtin` #231

Open Nadrieril opened 3 months ago

Nadrieril commented 3 months ago

The "assumed" terminology is very prover-centric. From the pov of the rust language, "built-in" or "primitive" is a clearer name.

sonmarcho commented 1 month ago

Reopening because there are still a few occurrences of "assumed" in the code :)

Nadrieril commented 1 month ago

Fair, in the OCaml side. I'm counting that as part of https://github.com/AeneasVerif/charon/issues/287