Explicit Contexts for Substructural Systems ...

• Main Authors: Zackon, Daniel, Kavanagh, Ryan, Pientka, Brigitte
• Format: Article in Journal/Newspaper
• Language: unknown
• Published: Zenodo 2024
• Subjects: Beluga; Beluga*
• Online Access: https://dx.doi.org/10.5281/zenodo.10849894; https://zenodo.org/doi/10.5281/zenodo.10849894

This artifact contains the Beluga mechanization for the paper submission Explicit Contexts for Substructural SystemsD. Zackon, R. Kavanagh, B. PientkaFORTE 2024, under review The artifact files are: cp_mech.tar.gz: the Beluga mechanization itself artifact.qcow2: 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 artifact and password artifact: qemu-system-x86_64 -hda artifact.qcow2 -m 4G -smp 4 -nic user,hostfwd=tcp::60022-:22 Users without a graphical user interface can launch QEMU with the option -nographic 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 README.md found in the archive cp_mech.tar.gz. ...