7 Commits (6c2213b9a1069ea22b1748afe0bcfc3dac08f7d0)

Author SHA1 Message Date
Matthias Volk 79f96ad2ed Added Dockerfile for Storm 8 years ago
Matthias Volk 857ffe1f14 Install z3 for travis 8 years ago
Matthias Volk 3557399336 Support for Debian 9 8 years ago
Matthias Volk 94590ff5b9 Several changes 8 years ago
Matthias Volk dcedea5a08 Caching from docker as well 8 years ago
Matthias Volk 6b2db852be Ruby is needed in docker 8 years ago
Matthias Volk 453e31ef67 First try on docker for Ubuntu 16.10 8 years ago