[16:01:23] <ada_ru> (Максим) https://blog.adacore.com/use-of-gnat-llvm-to-translate-ada-applications-to-webassembly
[16:30:45] <ada_ru> (Vadim) А менеджера памяти кучи там так и нет ;)
[16:37:10] <ada_ru> (shiz01)  отвечает (Vadim) на <А менеджера памяти к…>
Емнип, его и в Emscripten нет.
(на декабрь 2017)
[16:40:32] <ada_ru> (vasil_sd)  отвечает (Vadim) на <А менеджера памяти к…>
Доделываю TLSF по мере сил :)
Почти доделал формальную модель для блоков на спарке.
[16:41:16] <ada_ru> (Vadim) Круто!
[16:41:43] <ada_ru> (Vadim) Но программировать без кучи жутко непривычно.
[16:42:27] <ada_ru> (vasil_sd)  отвечает (Vadim) на <Круто!>
Я решил совсем упороться и доказываю очень строгие свойства корректности, это сложно, но это даст абсолютную гарантию функциональной корректности.
[21:09:06] <ada_ru> (FROL256) ку
[21:09:30] <ada_ru> (FROL256) упс не туда )
[21:09:37] <ada_ru> (FROL256) ку
[21:09:42] <ada_ru> (FROL256) да ёлки
[23:48:53] <ada_ru> (I_vlxy_I)  отвечает (shiz01) на <Емнип, его и в Emscr…>
ась? всякое new/delete malloc/free отлично работает.