2022-06-11 12:29:00
— part of check-in
[17301ed8fc]
on branch cir-stack-language
— Verification now mostly works again, tests not re-enabled yet
(user:
zlodo
size: 3555)
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: 3555)