2022-06-23 20:01:31
— part of check-in
[68da32e88b]
on branch cir-stack-language
— Correctly handle ghost func applications as "storage locations" alongside regular addresses, fixes the remaining ghost func test
(user:
zlodo
size: 6919)
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: 6919)
2023-08-02 21:46:53
— part of check-in
[32f94cd2e1]
on branch trunk
— Implemented forall statement
(user:
zlodo
size: 6919)