toy-wasm-symbexp

toy-wasm-symbexp これはおもちゃのWASMシンボリックインタプリタです。以下の記事の内容を例示しています: パート1 - 導入 パート2 - 具象インタプリタの作成 - この段階のコードを閲覧 パート3 - シンボリックインタプリタの作成 - この段階のコードを閲覧 パート4 - シンボリックインタプリタの作成とチャレンジ解決！ - この段階のコードを閲覧 使い方 便利な Makefile が、プログラムが正しく動作するかをテストするのに役立ちます: $ make test $ make part1-custom $ make part1-smt $ make...