Fully-Automatic Type Inference for Borrows with Lifetimes

This repository contains a compressed docker image file, containing the artifact for the paper "Fully-Automatic Type Inference for Borrows with Lifetimes." To use this artifact, run `docker load` on the .tar.gz and then `docker run -it morphic bash`. Information for reproducing the results from our paper is available in README.md file in the '/home/ubuntu/morphic/' directory inside the Docker image. Note! the Docker archive must loaded with 'docker load' (*not* 'docker import', as our archive does not use squashed layers).