Mode | Name | Size | |
---|---|---|---|
l--------- | Makefile -> ../stack_machine_function_call/Makefile | 39 | logplainabout |
-rw-r--r-- | instructions.wat | 232 | logplainabout |
l--------- | test.v -> ../stack_machine_store/test.v | 29 | logplainabout |
-rw-r--r-- | words_to_verify.mem | 81 | logplainabout |