forked from wspace/corpus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathproject.json
58 lines (58 loc) · 1.58 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
56
57
58
{
"id": "ocaml/steiner26",
"name": "Whitespace Interpreter",
"authors": ["Brandon Stein"],
"license": "none",
"languages": ["OCaml", "Yacc", "Lex"],
"tags": ["interpreter", "programs"],
"date": "2021-10-22 00:08:29 -0400",
"spec_version": "0.3",
"source": ["https://github.com/steiner26/Whitespace"],
"whitespace": { "extension": "ws" },
"assembly": {
"mnemonics": {
"push": ["Push"],
"dup": ["Duplicate"],
"copy": ["Copy"],
"swap": ["Swap"],
"drop": ["Discard"],
"slide": ["Slide"],
"add": ["Add"],
"sub": ["Subtract"],
"mul": ["Multiply"],
"div": ["Divide"],
"mod": ["Modulo"],
"store": ["Store"],
"retrieve": ["Retrieve"],
"label": ["Mark"],
"call": ["Call"],
"jmp": ["Jump"],
"jz": ["Jump if Zero"],
"jn": ["Jump if Negative"],
"ret": ["End Subroutine"],
"end": ["End Program"],
"printc": ["Output Character"],
"printi": ["Output Number"],
"readc": ["Read Character"],
"readi": ["Read Number"]
},
"usage": ["debug", "enum"]
},
"programs": [
{
"path": "programs/helloworld.ws",
"aux": ["programs/helloworldannotated.ws"],
"spec_version": "0.2"
},
{ "path": "programs/helloworld2.ws", "spec_version": "0.2" },
{ "path": "programs/factorial.ws", "equivalent": "fact.ws", "spec_version": "0.2" }
],
"commands": [
{
"bin": "whitespace",
"usage": "<file> [--debug]",
"options": [{ "long": "debug", "desc": "Record program trace" }],
"option_parse": "manual"
}
]
}