Dockerfiles for Boogie tools used in the FIXME paper This repository contains the Dockerfiles needed to build the tools used in the Symbooglix FIXME paper. Some images are dependent on each other so just use the Makefile to build them. $ make