forked from wspace/corpus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathproject.json
55 lines (55 loc) · 1.69 KB
/
project.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
{
"id": "python/mcolom",
"name": "Whitespace tool",
"authors": ["Miguel Colom"],
"license": "GPL-3.0-or-later",
"languages": ["Python"],
"tags": ["interpreter"],
"date": "2013-09-25 14:10:25 +0200",
"spec_version": "0.3",
"source": ["https://github.com/mcolom/whitespace", "https://sourceforge.net/projects/whitespacetool/"],
"assembly": {
"mnemonics": {
"push": ["PUSH"],
"dup": ["SDUPLI"],
"copy": ["SCOPY"],
"swap": ["SSWAP"],
"drop": ["SDISCARD"],
"slide": ["SSLIDE"],
"add": ["ADD"],
"sub": ["SUB"],
"mul": ["MUL"],
"div": ["DIV"],
"mod": ["MOD"],
"store": ["STORE"],
"retrieve": ["RETRIEVE"],
"label": ["LABEL"],
"call": ["CALL"],
"jmp": ["JUMP"],
"jz": ["JUMP-ZERO"],
"jn": ["JUMP-NEG"],
"ret": ["RETURN"],
"end": ["END"],
"printc": ["OUT-CHAR"],
"printi": ["OUT-NUM"],
"readc": ["IN-CHAR"],
"readi": ["IN-NUM"]
},
"usage": ["enum"]
},
"commands": [
{
"type": "interpreter",
"bin": "whitespace.py",
"usage": "[-h | --help] [-v | --verbose] [-s | --stack] [-p | --pause] <file>",
"options": [
{ "short": "h", "long": "help", "desc": "show this help message and exit" },
{ "short": "v", "long": "verbose", "desc": "Activate verbose mode" },
{ "short": "s", "long": "stack", "desc": "Show the stack after each intruction execution" },
{ "short": "p", "long": "pause", "desc": "Pause the execution after each instruction" }
],
"option_parse": "Python optparse"
}
],
"notes": "Shares instruction definitions in interpreter.py with python/katc; relationship unclear"
}