2022-06-27 16:56:56
— part of check-in
[b81d4242e3]
on branch cir-stack-language
—
cir: allow verification specific code and instructions to be interspersed with regular code again and added a function to filter them out before consuming the code in the interpreter and during codegen
verification: better handling of non-representable types that don't involve giving up entirely on verifying the function
g0 api: updated it to match the CIR changes
prelude: adapted reference verification to the new CIR api
(user:
zlodo
size: 3950)
2022-06-29 21:47:37
— part of check-in
[1f87fbda15]
on branch trunk
— The CIR is no longer made out of instructions that are basically expression trees, but is now instead a stack language to make it possible to insert verification instructions before and after the evaluation of individual function arguments
(user:
zlodo
size: 3950)