| Mode | Name | Size | |
|---|---|---|---|
| l--------- | Makefile -> ../wasm_compile_simple_module/Makefile | 38 | logplain |
| -rw-r--r-- | instructions.wat | 542 | logplain |
| l--------- | test.v -> ../wasm_compile_simple_module/test.v | 36 | logplain |
| -rw-r--r-- | words_to_verify.mem | 74 | logplain |
![]() |
index : AGH-engineering-thesis | |
| Code related to my engineering thesis at AGH University of Science and Technology in Kraków, Poland |
| aboutsummaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| l--------- | Makefile -> ../wasm_compile_simple_module/Makefile | 38 | logplain |
| -rw-r--r-- | instructions.wat | 542 | logplain |
| l--------- | test.v -> ../wasm_compile_simple_module/test.v | 36 | logplain |
| -rw-r--r-- | words_to_verify.mem | 74 | logplain |