bhermann/phasar repository overview

⁠A pre-configured container for the PHASAR framework ( http://phasar.org/⁠ )

To download and start it, just type this command into your terminal:

docker run -ti bhermann/phasar:pldi18

In the standard configuration the container is forgetful. If you want to retain and share data between your system and the container, you can easily use a volume mount, just like this:

docker run -ti -v /path/to/your/workspace:/workspace bhermann/phasar:pldi18

Docker requires that the path is absolute. Relative paths fail silently, unfortunately.

In the running container just copy the folder pldi18_tutorial to /workspace and you can work with your favorite editor (e.g. Visual Studio Code) on your machine. Compilation and execution you trigger manually in the docker container.