2022-03-01 00:29:06
— part of check-in
[09337f6de9]
on branch trunk
— Ghost functions: added tests and fixed a lot of bugs, it even seems that all this garbage is actually beginning to work
(user:
zlodo
size: 1304)
2022-06-22 20:06:00
— part of check-in
[a0a57b5e22]
on branch cir-stack-language
— Re-implemented "addr modified by loop" stuff (except ghost func related stuff) and re-enabled loop verification tests
(user:
zlodo
size: 1304)