Explicit Contexts for Substructural Systems ...
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 c...
| Main Authors: | , , |
|---|---|
| Format: | Article in Journal/Newspaper |
| Language: | unknown |
| Published: |
Zenodo
2024
|
| Subjects: | |
| Online Access: | https://dx.doi.org/10.5281/zenodo.10790749 https://zenodo.org/doi/10.5281/zenodo.10790749 |
| Summary: | 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. ... |
|---|