Frank Dedden
Frank Dedden
The driver of the testing suite should support structs.
By mistake the printing of large number does not work correctly in the driver of the test suite. The reason is that even the largest numbers are printed with `%d`,...
For better testing purposes, we need to be able to generate arbitrary Copilot specifications.
Being able to give names or labels to streams has the following benefits: * Traceability between the original Copilot specification and C code is improved greatly, which can be a...
In a SSH session, when trying to connect to a virtual machine console, using the command `qemush ` an error is shown: `2020/03/02 20:22:28 socat[4944] E tcsetattr(5, TCSADRAIN, 0x563ccfc90b40): Not...
Since September 2024, Copilot is available in Fedora 40 and newer. This commit adds installation instruction for Fedora. Closes #542.