2022-06-18 18:51:47
— part of check-in
[b4d5bdf6ec]
on branch cir-stack-language
—
Added a location id to all CIR instructions (needed with the stack based approach to locate intermediate results)
Fixed a bunch of verifier errors
Re-enabled most verifier tests, other than some requiring to re-implement a few more bits
(user:
zlodo
size: 5987)
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: 5987)