software . 2020

VMCAI 2020 Virtual Machine

Dietsch, Daniel; Jakobs, Marie-Christine;
Open Source
  • Published: 07 Sep 2020
  • Publisher: Zenodo
Abstract
This package contains the virtual machine used for the VMCAI 2021 artifact evaluation. 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: OCaml 4.08 OpenJDK 1.8.0_265 Mono 6.8.0 Ruby 2.7 Python 2.7 and 3.8 bash 5.0.17 cmake 3.16.3 clang 10.0.0 gcc 9.3.0 Racket 7.2 Vim 8.1 Emacs 26.3 Coq 8.11 with CoqIDE TeXlive 2019 benchexec 2.7 32bit libc VirtualBox guest additions The VM has a user vmcai2021 with password vmcai2021, with sudo access. The system is running an SSH server, and the VirtualBox image has been set up to forward port 2021 on the ho...
Subjects
free text keywords: virtual machine, artifact evaluation, vmcai
Download fromView all 4 versions
Open Access
Zenodo
Software . 2019
Provider: Datacite
Open Access
Zenodo
Software . 2020
Provider: Datacite
Open Access
Zenodo
Software . 2020
Provider: Datacite
Open Access
Zenodo
Software . 2019
Provider: Datacite
Any information missing or wrong?Report an Issue