Copilot-Language copilot issues

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.

http://copilot-language.github.io

616 stars 49 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

An example default implementation of the `Struct` typeclass based on `GHC.Generics`

#516 Qqwy opened 2 weeks ago
0
`copilot-theorem`: Extend range of versions `what4` to include 1.6

#514 ivanperez-keera opened 1 month ago
0
Release 3.19.1. Refs #512.

#513 ivanperez-keera closed 1 month ago
1
Release 3.19.1

#512 ivanperez-keera closed 1 month ago
6
`copilot-theorem`: Update README to match current interface. Refs #452.

#511 fdedden closed 1 month ago
1
`copilot-theorem`: Look for `falsifiable` (not `invalid`). Refs #495.

#510 RyanGlScott closed 1 month ago
3
`copilot-c99`: Can C99 generator declare stream functions as static?

#507 simondlevy opened 3 months ago
10
Release 3.19. Refs #504.

#505 ivanperez-keera closed 3 months ago
1
Release 3.19

#504 ivanperez-keera closed 3 months ago
6
`copilot-core`: Increase test coverage. Refs #502.

#503 ivanperez-keera closed 3 months ago
1
`copilot-core`: Increase test coverage

#502 ivanperez-keera closed 3 months ago
6
`copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array`. Refs #500.

#501 ivanperez-keera closed 3 months ago
1
`copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array`

#500 ivanperez-keera closed 3 months ago
6
Formal methods with stateful functions

#498 simondlevy closed 4 months ago
4
' ' is not a nondigit error

#497 simondlevy closed 4 months ago
4
`copilot-theorem`: `kind2Prover` gives parse error when disproving a property

#495 RyanGlScott closed 1 month ago
10
Release 3.18.1. Refs #493.

#494 ivanperez-keera closed 5 months ago
1
Release 3.18.1

#493 ivanperez-keera closed 5 months ago
6
`copilot-theorem`: Adjust to work with GHC 9.6. Refs #491.

#492 ivanperez-keera closed 5 months ago
1
`copilot-theorem`: Failure to compile with GHC 9.6.3

#491 ivanperez-keera closed 5 months ago
6
Release 3.18. Refs #487.

#490 ivanperez-keera closed 5 months ago
1
`copilot`: Relax version constraint on `optparse-applicative`. Refs #488.

#489 ivanperez-keera closed 5 months ago
1
`copilot`: Extend range of versions `optparse-applicative`

#488 ivanperez-keera closed 5 months ago
6
Release 3.18

#487 ivanperez-keera closed 5 months ago
6
`copilot-c99`: compliance with MISRA C 2012. Refs #472.

#486 ivanperez-keera closed 5 months ago
1
`copilot-core`: record field `uTypeType` is unnecessary

#484 ivanperez-keera opened 6 months ago
0
`copilot-language`: Deprecate `forall` in favor of `forAll`. Refs #470.

#483 ivanperez-keera closed 6 months ago
1
`copilot-libraries`: Introduce testing infrastructure for `Copilot.Library`. Refs #475.

#482 ivanperez-keera closed 6 months ago
1
`copilot-c99`: Pass output arrays as arguments to trigger argument functions. Refs #431.

#481 RyanGlScott closed 6 months ago
1
`copilot-theorem`: Introduce testing infrastructure for `Copilot.Theorem.What4`. Refs #474.

#480 ivanperez-keera closed 6 months ago
3
`copilot-c99`: Print constants in tests using portable suffixes. Refs #471.

#479 ivanperez-keera closed 6 months ago
6
`copilot-language`: Add type annotation to help type inference engine. Refs #469.

#478 ivanperez-keera closed 6 months ago
1
`copilot-c99`: Change return type of `main` generated for tests. Refs #468.

#477 ivanperez-keera closed 6 months ago
1
`copilot`: Update README to reflect new contribution process

#476 ivanperez-keera opened 6 months ago
0
`copilot-libraries`: Introduce testing infrastructure

#475 ivanperez-keera closed 6 months ago
6
`copilot-theorem`: Introduce testing infrastructure

#474 ivanperez-keera closed 6 months ago
6
`copilot-c99`: compliance with MISRA C 2012

#472 ivanperez-keera closed 5 months ago
8
`copilot-c99`: compiler warnings during tests

#471 swt2c closed 6 months ago
10
`copilot-language`: `Copilot.Language.Spec.forall` will be forbidden

#470 ivanperez-keera closed 6 months ago
7
`copilot-language`: test compile error

#469 swt2c closed 6 months ago
16
`copilot-c99`: test failure on non-Intel architectures

#468 swt2c closed 6 months ago
21
Release 3.17. Refs #466.

#467 ivanperez-keera closed 7 months ago
1
Release 3.17

#466 ivanperez-keera closed 7 months ago
6
`copilot-core`: Rename functions to comply with style guide. Refs #457.

#465 ivanperez-keera closed 7 months ago
1
`copilot-core`: Rename functions to comply with style guide. Refs #457.

#464 ivanperez-keera closed 7 months ago
0
`copilot-theorem`: Relax version constraint on `what4`. Refs #461.

#463 ivanperez-keera closed 7 months ago
1
`copilot`: Fix typo. Refs #459.

#462 ivanperez-keera closed 7 months ago
1
`copilot-theorem`: Extend range of versions `what4`

#461 swt2c closed 7 months ago
8
License for use

#460 simtheverse closed 8 months ago
1
`copilot`: Typo in README (zephir vs zephyr)

#459 ivanperez-keera closed 7 months ago
6