Copilot-Language/copilot

Issues

• `copilot-core`: record fields of `UExpr` are unnecessary

  #565 opened 11 days ago by ivanperez-keera
  4

• `copilot-core`: Facilitate use of structs

  #564 opened 11 days ago by ivanperez-keera
  7

• `copilot-core`: Increase test coverage

  #555 opened a month ago by ivanperez-keera
  3

• Release 4.1

  #561 opened 15 days ago by ivanperez-keera
  6

• `copilot-theorem`: Typos in README

  #560 opened 21 days ago by ivanperez-keera
  2

• `copilot-core`: record field `uTypeType` is unnecessary

  #484 opened 24 days ago by ivanperez-keera
  6

• `copilot`: Update README with new installation process in Fedora

  #542 opened 25 days ago by ivanperez-keera
  6

• `copilot`: Changelogs follow inconsistent format

  #550 opened a month ago by ivanperez-keera
  6

• `copilot-core`: Add documentation for `updateField` describing how (and why) to implement it

  #525 opened a month ago by RyanGlScott
  8

• `copilot`: Results of `what4` example do not match expectation

  #535 opened a month ago by ivanperez-keera
  10

• `copilot`: Update README with missing papers

  #544 opened a month ago by ivanperez-keera
  6

• `copilot-theorem`: Crash when two externs share the same name

  #536 opened a month ago by ivanperez-keera
  11

• `copilot`: Update README to reflect new contribution process

  #476 opened a month ago by ivanperez-keera
  6

• RFC: Derive `Struct` and `Typed` instances for structs using `GHC.Generics`

  #539 opened 2 months ago by RyanGlScott
  0

• Release 4

  #532 opened 3 months ago by ivanperez-keera
  6

• `copilot-prettyprinter`: Support pretty-printing struct updates

  #526 opened 3 months ago by RyanGlScott
  7

• `copilot-theorem`: Support translating struct updates to `what4`

  #524 opened 3 months ago by RyanGlScott
  7

• Release 3.20

  #522 opened 5 months ago by ivanperez-keera
  6

• `copilot-c99`: Can C99 generator declare stream functions as static?

  #507 opened 4 months ago by simondlevy
  12

• `copilot-language`: Support modifying fields of structs

  #520 opened 5 months ago by ivanperez-keera
  6

• `copilot-language`: Remove deprecated function `Copilot.Language.Spec.forall`

  #518 opened 5 months ago by ivanperez-keera
  6

• Release 3.19.1

  #512 opened 7 months ago by ivanperez-keera
  6

• `copilot-theorem`: Extend range of versions `what4` to include 1.6

  #514 opened 5 months ago by ivanperez-keera
  7

• Release 3.19

  #504 opened 9 months ago by ivanperez-keera
  6

• `copilot-theorem`: README mentions inexisting `Driver.hs`, `lightProver`

  #452 opened 7 months ago by ivanperez-keera
  11

• `copilot-theorem`: `kind2Prover` gives parse error when disproving a property

  #495 opened 7 months ago by RyanGlScott
  10

• `copilot-core`: Increase test coverage

  #502 opened 9 months ago by ivanperez-keera
  6

• `copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array`

  #500 opened 9 months ago by ivanperez-keera
  6

• ' ' is not a nondigit error

  #497 opened 10 months ago by simondlevy
  4

• Formal methods with stateful functions

  #498 opened 9 months ago by simondlevy
  4

• Release 3.18.1

  #493 opened a year ago by ivanperez-keera
  6

• `copilot-theorem`: Failure to compile with GHC 9.6.3

  #491 opened a year ago by ivanperez-keera
  6

• Release 3.18

  #487 opened a year ago by ivanperez-keera
  6

• `copilot`: Extend range of versions `optparse-applicative`

  #488 opened a year ago by ivanperez-keera
  6

• `copilot-c99`: compliance with MISRA C 2012

  #472 opened a year ago by ivanperez-keera
  8

• `copilot-language`: `Copilot.Language.Spec.forall` will be forbidden

  #470 opened a year ago by ivanperez-keera
  7

• `copilot-libraries`: Introduce testing infrastructure

  #475 opened a year ago by ivanperez-keera
  6

• `copilot-theorem`: Introduce testing infrastructure

  #474 opened a year ago by ivanperez-keera
  6

• `copilot-c99`: compiler warnings during tests

  #471 opened a year ago by swt2c
  10

• `copilot-c99`: test failure on non-Intel architectures

  #468 opened a year ago by swt2c
  21

• `copilot-language`: test compile error

  #469 opened a year ago by swt2c
  16

• Release 3.17

  #466 opened a year ago by ivanperez-keera
  6

• `copilot-core`: Compliance with style guide (partial) (3)

  #457 opened a year ago by ivanperez-keera
  6

• `copilot-theorem`: Extend range of versions `what4`

  #461 opened a year ago by swt2c
  8

• `copilot`: Typo in README (zephir vs zephyr)

  #459 opened a year ago by ivanperez-keera
  6

• License for use

  #460 opened a year ago by simtheverse
  1

• `copilot-c99`: Compliance with style guide (partial)

  #453 opened a year ago by ivanperez-keera
  6

• Array/Struct constructors

  #458 opened a year ago by RemyCiterin
  1

• Release 3.16.1

  #455 opened a year ago by ivanperez-keera
  6

• Release 3.16

  #448 opened a year ago by ivanperez-keera
  6