Artifact for PLDI17 paper "FunTAL: Reasonably Mixing a Functional Language with Assembly".
282
SETUP:
opam init --comp 4.03.make install-deps
(if this were to fail, see the local opam file for dependencies)BUILD:
makeEDITOR:
artifact/index.html in a browser.RUN TESTS:
./test.nativeSETUP
docker build -t funtal .EDITOR:
docker run --rm funtal cat /funtal/artifact/web.js > artifact/web.jsartifact/index.html in a browser.RUN TESTS:
docker run funtaldocker run dbp1/funtalThis is automatically built by docker from this repository, and hosted here: https://hub.docker.com/r/dbp1/funtal/
Content type
Image
Digest
Size
542.8 MB
Last updated
over 9 years ago
docker pull dbp1/funtal