-
Iustin Pop authored
This improves Issue 325 - new runtime and memory consumption is about 1/10 compared to before. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Guido Trotter <ultrotter@google.com>
086ad4cf
This improves Issue 325 - new runtime and memory consumption is about 1/10 compared to before. Signed-off-by: Iustin Pop <iustin@google.com> Reviewed-by: Guido Trotter <ultrotter@google.com>