News
Docker image finished
Geschrieben am 08.11.2018 12:59 von Robert Künnemann
Hi!
Okay the headline is optimistic, I have no idea if it works on any other computer besides mine and I've added only tamarin, sapic and proverif for starters. :D Anyway, you've been added to the respository, which contains build instructions.
Compiling these tools can be quite a pain, and this should automate the process, leaving you with a docker image, which is sort of like a VM, only slightly faster. The build process takes a while and loads of memory, so in case you are working on a weak machine send me a message and I will publish a pre-compiled image on docker hub.
Cheers, Robert