software . 2020

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine;
Open Source
  • Published: 07 Sep 2020
  • Publisher: Zenodo
Abstract
<p>This package contains the virtual machine used for the VMCAI 2021 artifact evaluation.</p> <p>The VMCAI 2021 virtual machine was created with VirtualBox 6.1.12 and consists of an installation of Ubuntu 20.04 with Linux 5.4.0-45 and the following notable packages:</p> <ul> <li>OCaml 4.08</li> <li>OpenJDK 1.8.0_265</li> <li>Mono 6.8.0</li> <li>Ruby 2.7</li> <li>Python 2.7 and 3.8</li> <li>bash 5.0.17</li> <li>cmake 3.16.3</li> <li>clang 10.0.0</li> <li>gcc 9.3.0</li> <li>Racket 7.2</li> <li>Vim 8.1</li> <li>Emacs 26.3</li> <li>Coq 8.11 with CoqIDE</li> <li>TeXlive 2019</li> <li>benchexec 2.7</li> <li>32bit libc</li> <li>VirtualBox guest additions</li> </ul> <p>...
Subjects
free text keywords: virtual machine, artifact evaluation, vmcai
Download fromView all 6 versions
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Datacite
Any information missing or wrong?Report an Issue