lmntal / lmntal-docker

Dockerfile for LMNtal

Usage

Exec program from stdin

$ docker run --rm -it lmntal/lmntal

Then write your LMNtal program to stdin, and put C-d.

Exec from file

Create .lmn file containing LMNtal program.

$ cd #where program exists
$ docker run --rm -itv $PWD:/mnt slim [options] /mnt/program.lmn

or

$ cat program.lmn | docker run --rm -i lmntal #RT(runtime) mode
$ cat program.lmn | docker run --rm -i lmntal sh -c 'lmntal --stdin-lmn --slimcode --hl-opt | slim --nd --hl -' #MC(model checking) mode

or

$ cd #where program exists
$ docker rum --rm -itv $PWD:/mnt bash

Then bash appears, enjoy running lmntal and slim!

Components

• lmntal - LMNtal compiler
• slim - SLIM, the LMNtal runtime

Tags

• latest, 1.45-2.4.0 - LMNtal compiler v1.45 and SLIM v2.4.0
• 1.44-2.3.1 - LMNtal compiler v1.44 and SLIM v2.3.1

LMNtal Information

For information about LMNtal, visit official website.