]> Nishi Git Mirror - gwion.git/commit
:art: Secure get_type_name
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 4 May 2020 21:27:05 +0000 (23:27 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Mon, 4 May 2020 21:27:13 +0000 (23:27 +0200)
commit8c77f35d366f412cd44f3f5d84677f99ceb2261f
tree6722ff5e747e43f2d7c3a884331578201a8b4262
parentc3219009a4939b6fd76548d720cb34206eb6f4f9
:art: Secure get_type_name
include/env/type.h
src/env/type.c
src/lib/ptr.c