| Summary: | 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: <code>cp_mech.tar.gz</code>: the Beluga mechanization itself <code>artifact.qcow2</code>: a Debian 12 (amd64) 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 <code>artifact</code> and password <code>artifact</code>: <code>qemu-system-x86_64 -hda artifact.qcow2 -m 4G -smp 4 -nic user,hostfwd=tcp::60022-:22</code> Users without a graphical user interface can launch QEMU with the option <code>-nographic</code> to interact with the machine via a its emulated serial port. Further details on using QEMU and the virtual machine can be found in the file<code>README.md</code> found in the archive <code>cp_mech.tar.gz</code>.
|
|---|