Harry Kalogirou
Harry Kalogirou
I would like to see this merged. I can understand the safety issues mentioned, but that is what arming is for. In the same manner one can argue that after...
Thank god! 😅
> i think we call the store elimination pass too many times now -- i get identical bytecode across a range of contracts after removing the first store elimination pass...
The evaluations on the Venom-scape need to raise static compilation error on out of bounds, etc. I think the solution should be in the form of #4013 (sorry I thought...
> @harkal is this superseded by #4255? if so i guess we can close this yes! I am closing it
As we move away from the legacy IR optimizer, we are going to get a lot of extra margin for venom, which I am confident we will be able to...
Looks like the "transpiler" is not generating the appropriate `alloca`s
Looked into it. The `alloca` is fine. We need to do memory analysis to lift those `mstores`.