copilot

copilot copied to clipboard

Allow appending and then dropping the same number of elements from Stream

4

https://hackage.haskell.org/package/copilot-language-4.3/docs/Copilot-Language-Operators-Temporal.html#v:drop > The elements must be realizable at the present time to be able to drop elements. For most kinds of streams, you cannot drop elements without prepending an **equal...

strikef

`copilot-language` - Unable to drop as many elements from Stream as prepended

1

https://hackage.haskell.org/package/copilot-language-4.3/docs/Copilot-Language-Operators-Temporal.html#v:drop > The elements must be realizable at the present time to be able to drop elements. For most kinds of streams, you cannot drop elements without prepending an equal...

strikef

Extend range of versions of dependencies

3

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

ivanperez-keera

I'd recently fixed many typos in haskell/cabal using the typos tool, see https://github.com/haskell/cabal/pull/10613 and https://github.com/haskell/cabal/pull/10603. I tried the tool here and found many typos. There's already pull request #558 that...

philderbeast

`copilot-bluespec`: Tests are failing on Hackage

5

**Description** The `copilot-bluespec` requires [`bsc`](https://github.com/B-Lang-org/bsc) (the Bluespec compiler) to be installed in order to run its test suite, but the builders that Hackage uses to run uploaded packages' test suites...

RyanGlScott

The copilot-bluespec package requires bsc (the Bluespec compiler) to be installed in order to run its test suite, but the builders that Hackage uses to run uploaded packages' test suites...

chathhorn-galois

`copilot-bluespec`: Special floating-point values are translated to syntactically invalid Bluespec code

4

**Description** `copilot-bluespec` currently generates syntactically invalid Bluespec code for special floating-point values, such as negative zero, infinity, and `NaN` values. For instance, it compiles infinity values to `Infinity`, which is...

RyanGlScott

**Description** The following functions use [`realToFrac`](https://hackage.haskell.org/package/base-4.21.0.0/docs/Prelude.html#v:realToFrac) in their implementations to translate `Float` values. * [`copilot-bluespec:Copilot.Compile.Bluespec.constTy`](https://github.com/Copilot-Language/copilot/blob/894f0aa71a23df4c7c30b037f170a5094b76e9b5/copilot-bluespec/src/Copilot/Compile/Bluespec/Expr.hs#L539) * [`copilot-theorem:Copilot.Theorem.What4.valFromExpr`](https://github.com/Copilot-Language/copilot/blob/894f0aa71a23df4c7c30b037f170a5094b76e9b5/copilot-theorem/src/Copilot/Theorem/What4.hs#L715) As noted in https://github.com/haskell/core-libraries-committee/issues/338, the `realToFrac` function can mis-translate special floating-point values, such...

RyanGlScott

`copilot-c99`: Raise error when compiling an empty array or struct

3

**Description** Copilot allows defining empty arrays (i.e., values of type `Array 0`) and empty structs (i.e., structs with no fields), but using empty arrays or structs in C99 is undefined...

RyanGlScott

`copilot-theorem`: Examples do not compile

4

**Description** Some example programs in the `copilot-theorem/example` subdirectory have bitrotted, as they depend on a `Copilot.Theorem.Prover.Z3` module that is no longer included in `copilot-theorem.cabal` (as of https://github.com/Copilot-Language/copilot/commit/6a67d89ee42ffa0718e844e03a4e7f34d2a88801). Attempting to build...

RyanGlScott