diff options
Diffstat (limited to 'scripts/docker/artifact.org')
| -rw-r--r-- | scripts/docker/artifact.org | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/scripts/docker/artifact.org b/scripts/docker/artifact.org index fa0a936..ec8025d 100644 --- a/scripts/docker/artifact.org +++ b/scripts/docker/artifact.org @@ -13,7 +13,7 @@ This artifact should support the claims made in the paper "Formal Verification o The artifact is available on Github, specifically on the ~oopsla21~ branch: -https://github.com/ymherklotz/vericert +https://github.com/___/vericert #+latex: \noindent This release is also archived on Zenodo permanently: @@ -23,7 +23,7 @@ http://doi.org/10.5281/zenodo.5093839 #+latex: \noindent However, for the purposes of this artifact review, a Docker image has been set up: -https://hub.docker.com/repository/docker/ymherklotz/vericert +https://hub.docker.com/repository/docker/___/vericert ** Claims that are not supported by the artifact @@ -38,8 +38,8 @@ In addition to that, the Vivado synthesis tool by Xilinx[fn:3] is also commercia First, the docker image needs to be downloaded and run, which contains the git repository: #+begin_src shell -docker pull ymherklotz/vericert:1.0 -docker run -it ymherklotz/vericert:1.0 sh +docker pull ___/vericert:1.0 +docker run -it ___/vericert:1.0 sh #+end_src Then, one just has to go into the directory which contains the git repository (~/vericert~) and open a ~nix-shell~, which will load a shell with all the correct dependencies loaded: @@ -259,7 +259,7 @@ Where $t$ is the tool being considered. A tex file is included in the ~/data/data~ directory, which unfortunately can only be compiled outside of the docker file, but will recreate the graphs from the paper using the csv files in the directory. This can be achieved using the following commands: #+begin_src shell -docker create ymherklotz/vericert:v1.0 # returns container ID +docker create ___/vericert:v1.0 # returns container ID docker cp $container_id:/data/data . docker rm $container_id cd data @@ -308,7 +308,7 @@ docker run -it <hash> sh The only dependency that is require is nix[fn:7]. Once that is installed, we can clone the Github repository and checkout the ~oopsla21~ branch: #+begin_src shell -git clone https://github.com/ymherklotz/vericert +git clone https://github.com/___/vericert cd vericert git checkout oopsla21 #+end_src |