Implement return statement and diamond shaped procedures - Githubissues

UQ-PAC / BASIL

Apache License 2.0

8 stars 0 forks source link

Implement return statement and diamond shaped procedures #219

Open ailrst opened 3 months ago

ailrst commented 3 months ago

https://github.com/UQ-PAC/bil-to-boogie-translator/pull/178

Implement this PR without the incremental transform