toy-wasm-symbexp

toy-wasm-symbexp Este é um interpretador simbólico WASM didático. Ele ilustra os seguintes artigos: Parte 1 - Introdução Parte 2 - Escrevendo um interpretador concreto - veja o código nesta etapa Parte 3 - Escrevendo um interpretador simbólico - veja o código nesta etapa Parte 4 - Escrevendo um...