wasm: Convert to wam syntax using wamp.
authorJoel Martin <github@martintribe.org>
Sun, 14 Oct 2018 04:10:28 +0000 (23:10 -0500)
committerJoel Martin <github@martintribe.org>
Sat, 8 Dec 2018 23:02:09 +0000 (17:02 -0600)
commit33309c6a6246ea0d5699b4eb0d90a2fd0c67ec8a
tree275bea6d1b25cc85616f9c4394abfa00164f45fc
parentb16fe73ec1ce93fb5ebcdea5208892d525aa27a5
wasm: Convert to wam syntax using wamp.

- Convert sources to much more concise wam syntax supported by wamp.
- Rename sources from *.wast to *.wam and generate *.wast files by
  translating via wamp.
24 files changed:
.gitignore
wasm/Makefile
wasm/debug.wam [new file with mode: 0644]
wasm/debug.wast [deleted file]
wasm/env.wam [new file with mode: 0644]
wasm/env.wast [deleted file]
wasm/mem.wam [new file with mode: 0644]
wasm/mem.wast [deleted file]
wasm/printer.wam [new file with mode: 0644]
wasm/printer.wast [deleted file]
wasm/reader.wam [new file with mode: 0644]
wasm/reader.wast [deleted file]
wasm/step0_repl.wam [moved from wasm/step0_repl.wast with 52% similarity]
wasm/step1_read_print.wam [new file with mode: 0644]
wasm/step1_read_print.wast [deleted file]
wasm/step2_eval.wam [new file with mode: 0644]
wasm/step2_eval.wast [deleted file]
wasm/step3_env.wam [new file with mode: 0644]
wasm/step3_env.wast [deleted file]
wasm/types.wam [new file with mode: 0644]
wasm/types.wast [deleted file]
wasm/util.wam [new file with mode: 0644]
wasm/util.wast [deleted file]
wasm/wastpp.py [deleted file]