There is a newer version of the record available.

Published March 6, 2024 | Version v1
Software Open

Explicit Contexts for Substructural Systems

Creators

  • 1. ROR icon McGill University
  • 2. ROR icon Université du Québec à Montréal

Description

This artifact contains the Beluga mechanization for the paper submission

Explicit Contexts for Substructural Systems
D. Zackon, R. Kavanagh, B. Pientka
FORTE 2024, under review

The artifact files are:

  • cp_mech.tar.gz: the Beluga mechanization itself
  • artifact.qcow2: a virtual machine containing the mechanization and a pre-installed copy of Beluga 1.1.1

The virtual machine can be run using QEMU. For example, the following command runs the VM with 4 gigabytes of memory, 4 CPUS, and allow the machine to be accessed over SSH on localhost port 60022 using username `artifact` and password `artifact`:

qemu-system-amd64 -hda artifact.qcow2 -m 4G -smp 4 -nic user,hostfwd=tcp::60022-:22

 

Files

Files (2.0 GB)

Name Size Download all
md5:15c6db432d8b2576f9ac0ae29c59bb69
2.0 GB Download
md5:7e4036701cd60040e7ff65075019d447
73.2 kB Download