forked from cangiuli/planning
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
47 lines (38 loc) · 1.88 KB
/
README
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
15-887 course project by Carlo Angiuli, Ben Blum, and Michael Sullivan.
Stuff here:
report/ - source for the report
tempo-sat-sgplan6/ - the source for the planner we used, modified to build.
concurrency-domain/ - the domain and problem files for our assembly like
shared memory concurrency domain
- threads.pddl is the domain file
- the rest are various tests
demo-domain/ - a demo domain with very simple operations on natural numbers
lambda-domain/ - two failed attempts to implement the lambda calculus
- lambda.pddl - a domain for a partially implemented substitution based
lambda calculus evaluator
- lambda-ctx.pddl - a domain for a fully implemented environment passing
based lambda calculus evaluator
- some tests
plus-domain/ - an implementation of Prolog-style natural number addition
- plus.pddl - the plus domain
- some tests
ski-domain/ - an attempt to embed the SKI combinator calculus
- SKI.hs - a SKI evaluator in haskell
- ski.pddl - the SKI domain
- some tests
threads-cmplr/ - a compiler for a simple imperative language to the
threads domain
- parser/ - the parser code - some of it cribbed from the base code
for an assignment given out when mjsulliv@ was a
15-312 TA
- language.sml - the AST of the frontend language
- compile.sml - intermediate languages and translations between them;
the code for converting a label based assembly
language to an address based one modified from code
mjsulliv@ wrote for a project once
- output.sml - pretty printer
- top.sml - top level that pulls the pieces together
- run.sml - script to run the compiler to generate all of the output
files we want. Running 'sml run.sml' from a shell in the
threads-cmplr directory should generate all the generated domain
files.