Skip to content

v2.17.0

Compare
Choose a tag to compare
@hajduakos hajduakos released this 01 Aug 14:55
· 2594 commits to master since this release
d12a0c4

This release adds checks to the CFA to ensure that all locations and variables have unique names. This is required because although in-memory CFAs are fine with having variables/locations with the same name (it can distinguish references), but if we serialize the CFA and try to parse it back, we're gonna have a bad time. This should not break any frontend, but if it does, then probably the frontend's code was relying on a fragile feature and it should be fixed.