Mercurial > hg > Members > atton > tapl

changeset 11:3a4b3f0e595b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add simplebool
author atton
date Thu, 03 Nov 2016 06:39:27 +0000
parents 62a6f4ddf486
children d5e85961789f
files Dockerfile
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/Dockerfile	Tue Nov 01 08:36:26 2016 +0000
+++ b/Dockerfile	Thu Nov 03 06:39:27 2016 +0000
@@ -9,6 +9,7 @@
 WORKDIR /root/tapl-original
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/arith.tar.gz
 RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/untyped.tar.gz
+RUN wget http://www.cis.upenn.edu/~bcpierce/tapl/checkers/simplebool.tar.gz
 RUN find . -name "*.tar.gz" | xargs -L1 tar xzf
 RUN rm -rf *.tar.gz