Skip to content
No description, website, or topics provided.
OCaml Shell Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
examples
paper_examples
.gitignore
.merlin
.ocamlinit
.travis-ci.sh
.travis.yml
IO.ml
Makefile
README.md
_tags
analysis.ml
check.ml
disasm.ml
edit.ml
eval.ml
instr.ml
lexer.mll
myocamlbuild.ml
opam
ott.ml
parse.ml
parse.mli
parser.messages
parser.mly
scope.ml
sourir.install
sourir.ml
sourir.mllib
test_examples.sh
tests.ml
transform.ml
transform_assumption.ml
transform_cleanup.ml
transform_constantfold.ml
transform_fix.ml
transform_hoist.ml
transform_hoist_assign.ml
transform_inline.ml
transform_liveness.ml
transform_prune.ml
transform_utils.ml
types.ml

README.md

sourir

sourir is cuter than RIR

Howto

Install Opam, the OCaml package manager, and then:

opam install ocaml.4.04.0
git clone https://github.com/reactorlabs/sourir
cd sourir
make install-deps
make sourir
./sourir examples/sum.sou

Syntax / Semantics

The language is still in flux. See parser.mly to get an idea of the syntax or the files in examples/, and eval.ml (in particular Eval.reduce) for the operational semantics.

Hacking

Add tests and run them with

make tests

Run a toplevel utop with

make runtop

Send new code by pull-request

You can’t perform that action at this time.