copilot

copilot copied to clipboard

Reusability of preprocessing functions to reduce code bloat

3

If we have a stream A in a copilot specification that is defined by applying some preprocessing to another stream B (say an external signal), it seems that in the...

antanas-kalkauskas-sensmetry

The driver of the testing suite should support structs.

fdedden

Fix printf format for numbers in testing suite

1

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

fdedden

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

fdedden

Add ability to add names / labels to streams

2

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

fdedden

`local` streams can escape their lexical scope

5

The `local` combinator is intended to act like an internal `let` operation, but doesn't seem to be handled correctly. In particular, if a stream bound via `local` is passed into...

robdockins

`prop` and `theorem` forget their quantifier?

3

Looking at the datatypes involved in the high-level and low-level `Spec` datatypes (e.g. `SpecItem`), it seems to me that properties and theorems are both represented as a bare stream of...

robdockins

Defining Stream (Array 2 Double) from 2 Stream Double

5

If I have 2 streams carrying doubles, such as: ```haskell x :: Stream Double x = extern "x" Nothing y :: Stream Double y = extern "y" Nothing ``` Is...

ghost

This my attempt to address #379. The changes I made are: - Deprecated module Copilot.Core.Type.Equality - Replaced it's usage with the Data.Type.Equality. In particular: - Replaced typeclass EqualType with typeclass...

achilleasNP

`copilot-core`: replace uses of `Copilot.Core.Type.Equality` with definitions from `base`

1

**Description** The module `Copilot.Core.Type.Equality` provides definitions to reason about type equality. That module is very similar to `base:Data.Type.Equality`, and all uses of the former can be replaced by uses of...

ivanperez-keera