Hi, > I think it would be useful to have an official repository for the dockerized > KLEE, which we would recommend to new users on the KLEE website, and which > would be maintained as part of the KLEE project on GitHub > (https://github.com/klee). Also, it would be useful to automatically update > an associated KLEE Docker image and upload it to the Docker registry either > after each KLEE commit, or at regular time intervals.
The docker registry provides a service where you can link it with your github repository and it will automatically rebuild the docker image on every commit. I use this for several docker images I have (e.g. [1] [2] and [3]) [1] https://github.com/delcypher/gpuverify-docker [2] https://github.com/delcypher/boogaloo-docker [3] https://github.com/delcypher/klee-cl-docker _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
