Frank Dedden

Results 6 issues of Frank Dedden

The driver of the testing suite should support structs.

enhancement

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`,...

bug

For better testing purposes, we need to be able to generate arbitrary Copilot specifications.

enhancement

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...

enhancement
feature request

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.