Mode | Name | Size | |
---|---|---|---|
l--------- | Makefile -> ../wasm_compile_simple_module/Makefile | 38 | logplain |
-rw-r--r-- | instructions.wat | 905 | logplain |
l--------- | test.v -> ../wasm_compile_simple_module/test.v | 36 | logplain |
-rw-r--r-- | words_to_verify.mem | 94 | 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 | 905 | logplain |
l--------- | test.v -> ../wasm_compile_simple_module/test.v | 36 | logplain |
-rw-r--r-- | words_to_verify.mem | 94 | logplain |