Tools for Temporal Object-oriented Property Language.
To try it, use
docker run -ti rgrig/topl
Then try
make test
ls examples
./toplc -help
If you want to have access to the current directory while in the docker image, say
docker run -v $PWD:$PWD -ti rgrig/topl
To setup a development environment, do what
Dockerfile says.
Compile with make,
set up the path with source ./setenv,
then test with make test.