TNEW is implemented except when we index another table with TNEW result.
We need to find a way to get some unique id or hash of the TNEW at the moment we access another table. The problem is that indixes can be unknown, like:
local function foo(y, a)
x = {a =1}
y["b"] = a[x]
end
So it can't be done statically. It should be done dynamically (kinda) using SMT instruments, I can't find a way to do so.
Same for TDUP + need to copy constant table. Which can have another constant tables recursively. We need to encode it into smt, the problem is in recursive table, maybe there's more clean way to do it.
TNEW is implemented except when we index another table with
TNEWresult.We need to find a way to get some
uniqueid orhashof the TNEW at the moment we access another table. The problem is that indixes can be unknown, like:So it can't be done statically. It should be done
dynamically(kinda) using SMT instruments, I can't find a way to do so.Same for TDUP + need to copy constant table. Which can have another constant tables recursively. We need to encode it into smt, the problem is in recursive table, maybe there's more clean way to do it.