copilot
copilot copied to clipboard
Copilot-Language
A stream-based runtime-verification framework for generating hard real-time C code.
I had a few conversations with @fdedden during and after ZuriHack about the possibility of adding instances of the `Struct` class for user-defined datatypes with less boilerplate, potentially using Generics....
**Description** The test coverage of `copilot-core` is currently reported at 75% by Hackage. Although there are exceptions to what we can test (record fields of existential types) or should test...
Since September 2024, Copilot is available in Fedora 40 and newer. This commit adds installation instruction for Fedora. Closes #542.
**Description** Copilot is now available in Fedora 40, which makes installation much easier for users on that platform. The installation instructions should be updated to reflect the simpler installation process...
## description should close https://github.com/commercialhaskell/stackage/issues/7725; tested locally that this compiles as expected (although I haven't run the test suite yet to verify that they all pass).
The [`Copilot.Theorem.Prover.Z3`](https://github.com/Copilot-Language/copilot/blob/894f0aa71a23df4c7c30b037f170a5094b76e9b5/copilot-theorem/src/Copilot/Theorem/Prover/Z3.hs) module has not included in the `copilot-theorem.cabal` file ever since https://github.com/Copilot-Language/copilot/commit/6a67d89ee42ffa0718e844e03a4e7f34d2a88801, and as such, it is dead code. Moreover, the code has bitrotted since then, as trying to...
**Description** The code of `copilot-theorem` contains unused language pragmas. To comply with our coding style, which required unused code not to be included in the codebase, those pragmas should be...
Removed unused pragmas from copilot-theorem and updated the changed logs. Removing the unused 'pragmas' further aligns copilot with [Haskell's programming guidelines ](https://wiki.haskell.org/Programming_guidelines)which states: "Don't leave unused or commented-out code in...
**Description** In order to keep Copilot effectively working in the current Haskell ecosystem, as well as new versions of GHC, we need to extend the versions of dependencies that Copilot...
Metadata
Owner
Metadata
A stream-based runtime-verification framework for generating hard real-time C code.