2022-05-26 11:31:44
— part of check-in
[dd5c48041c]
on branch cir-stack-language
— Re-enabled codegen and related tests, and adapted it to the now stack-based CIR language
(user:
zlodo
size: 1596)
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: 1596)