An open API service for providing issue and pull request metadata for open source projects.

GitHub / Copilot-Language/copilot issues and pull requests

#624 - `copilot-visualizer`: Include in mainline

Issue - State: open - Opened by ivanperez-keera 2 months ago
Labels: CR:Type:Management, CR:Status:Initiated

#623 - `copilot-bluespec`: Include in mainline

Issue - State: open - Opened by ivanperez-keera 2 months ago - 3 comments
Labels: CR:Type:Management, CR:Status:Implementation

#622 - `copilot-verifier`: Include in mainline

Issue - State: open - Opened by ivanperez-keera 3 months ago - 5 comments
Labels: CR:Type:Management, CR:Status:Scheduled

#619 - Release 4.4. Refs #618.

Pull Request - State: closed - Opened by ivanperez-keera 3 months ago - 1 comment

#618 - Release 4.4

Issue - State: closed - Opened by ivanperez-keera 3 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#617 - copilot: Update build status URL. Refs #612.

Pull Request - State: closed - Opened by kaBeech 3 months ago - 1 comment

#616 - `copilot-core`: Remove deprecated `Copilot.Core.Type.uTypeType`. Refs #615.

Pull Request - State: closed - Opened by ivanperez-keera 3 months ago - 1 comment

#615 - `copilot-core`: Remove deprecated record field `Copilot.Core.Type.uTypeType`

Issue - State: closed - Opened by ivanperez-keera 3 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#613 - `copilot-theorem`: Code contains unused pragmas

Issue - State: open - Opened by ivanperez-keera 4 months ago - 3 comments
Labels: CR:Type:Management, CR:Status:Scheduled

#612 - `copilot`: Fix build status icon in README

Issue - State: closed - Opened by ivanperez-keera 4 months ago - 4 comments
Labels: CR:Type:Bug, CR:Status:Verification

#611 - `copilot-theorem`: Extend range of versions of `what4`

Issue - State: open - Opened by ivanperez-keera 4 months ago - 2 comments
Labels: CR:Type:Management, CR:Status:Accepted

#610 - `copilot-theorem`: Translate quantifiers correctly in Kind2 backend. Refs #594.

Pull Request - State: closed - Opened by RyanGlScott 4 months ago - 5 comments

#609 - `copilot-theorem`: Bump version bounds on `what4`. Refs #611.

Pull Request - State: open - Opened by jkachmar 4 months ago - 7 comments

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

Pull Request - State: open - Opened by strikef 5 months ago - 4 comments

#605 - Release 4.3. Refs #604.

Pull Request - State: closed - Opened by ivanperez-keera 5 months ago - 1 comment

#604 - Release 4.3

Issue - State: closed - Opened by ivanperez-keera 5 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#603 - Extend range of versions of dependencies

Issue - State: open - Opened by ivanperez-keera 5 months ago - 2 comments
Labels: CR:Type:Management, CR:Status:Accepted

#600 - Remove deprecated functions `(.!!)` and `(!!)`. Refs #599.

Pull Request - State: closed - Opened by ivanperez-keera 5 months ago - 1 comment

#599 - Remove deprecated functions `(.!!)` and `(!!)`

Issue - State: closed - Opened by ivanperez-keera 5 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#597 - Installation instructions do not expose all packages

Issue - State: closed - Opened by ivanperez-keera 5 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#594 - `copilot-theorem`: Make the kind2 connection handle both existentially and universally quantified properties correctly

Issue - State: closed - Opened by ivanperez-keera 6 months ago - 7 comments
Labels: CR:Type:Bug, CR:Status:Closed

#593 - `copilot`: Update version of GHC in README. Refs #590.

Pull Request - State: closed - Opened by estherdconrad 6 months ago - 1 comment

#591 - `copilot`: Include missing dependencies in installation instructions

Issue - State: closed - Opened by ivanperez-keera 6 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#590 - `copilot`: Update README to reflect compatibility with GHC 9.10

Issue - State: closed - Opened by ivanperez-keera 6 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#589 - `copilot-theorem`: Produce a counterexample when the What4 backend falsifies a property

Issue - State: closed - Opened by RyanGlScott 6 months ago - 6 comments
Labels: CR:Type:Feature, CR:Status:Closed

#588 - Fix typos in documentation. Refs #587.

Pull Request - State: closed - Opened by ivanperez-keera 6 months ago - 1 comment

#587 - Fix typo in comment (double period)

Issue - State: closed - Opened by ivanperez-keera 6 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#585 - `copilot-theorem`: Fix multiple typos in README. Refs #560.

Pull Request - State: closed - Opened by ivanperez-keera 6 months ago - 1 comment

#580 - Add typos checks and fix typos it found

Pull Request - State: open - Opened by philderbeast 7 months ago

#578 - Release 4.2. Refs #577.

Pull Request - State: closed - Opened by ivanperez-keera 7 months ago - 1 comment

#577 - Release 4.2

Issue - State: closed - Opened by ivanperez-keera 7 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#576 - Bump version bounds on dependencies. Refs #570.

Pull Request - State: closed - Opened by kaBeech 7 months ago - 3 comments

#574 - `copilot-core`: Increase test coverage. Refs #555.

Pull Request - State: closed - Opened by ivanperez-keera 7 months ago - 1 comment

#572 - `copilot-c99`: Allow multiple triggers with the same name. Refs #296.

Pull Request - State: closed - Opened by fdedden 7 months ago - 4 comments

#570 - Extend range of versions of dependencies

Issue - State: closed - Opened by juhp 8 months ago - 12 comments
Labels: CR:Type:Management, CR:Status:Closed

#567 - `copilot-core`: Deprecate fields of record `Copilot.Core.Expr.UExpr`. Refs #565.

Pull Request - State: closed - Opened by kaBeech 9 months ago - 4 comments

#566 - Define generic implementations of `Struct` and `Typed` methods. Refs #564.

Pull Request - State: closed - Opened by RyanGlScott 9 months ago - 4 comments

#565 - `copilot-core`: record fields of `UExpr` are unnecessary

Issue - State: closed - Opened by ivanperez-keera 9 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#564 - `copilot-core`: Facilitate use of structs

Issue - State: closed - Opened by ivanperez-keera 9 months ago - 9 comments
Labels: CR:Type:Feature, CR:Status:Closed

#562 - Release 4.1. Refs #561.

Pull Request - State: closed - Opened by ivanperez-keera 9 months ago - 1 comment

#561 - Release 4.1

Issue - State: closed - Opened by ivanperez-keera 9 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#560 - `copilot-theorem`: Typos in README

Issue - State: closed - Opened by ivanperez-keera 9 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#558 - `copilot-theorem:` Fix multiple typos in README. Refs #560.

Pull Request - State: closed - Opened by eltociear 9 months ago - 7 comments

#556 - `copilot-core`: Deprecate `Copilot.Core.Type.UType.uTypeType`. Refs #484.

Pull Request - State: closed - Opened by ivanperez-keera 9 months ago - 1 comment

#555 - `copilot-core`: Increase test coverage

Issue - State: closed - Opened by ivanperez-keera 9 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#553 - README.md: add Fedora installation

Pull Request - State: closed - Opened by juhp 9 months ago - 1 comment

#552 - Standardize changelog format. Refs #550.

Pull Request - State: closed - Opened by ivanperez-keera 9 months ago - 1 comment

#551 - `copilot`: Update README with missing publications. Refs #544.

Pull Request - State: closed - Opened by ivanperez-keera 10 months ago - 1 comment

#550 - `copilot`: Changelogs follow inconsistent format

Issue - State: closed - Opened by ivanperez-keera 10 months ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#549 - `copilot`: Update contribution guidelines. Refs #476.

Pull Request - State: closed - Opened by ivanperez-keera 10 months ago - 3 comments

#548 - `copilot`: Add installation instructions for Fedora 40 and up. Refs #542.

Pull Request - State: closed - Opened by fdedden 10 months ago - 10 comments

#547 - Add Haddocks for `updateField` and describe how to implement it. Refs #525.

Pull Request - State: closed - Opened by RyanGlScott 10 months ago - 5 comments

#544 - `copilot`: Update README with missing papers

Issue - State: closed - Opened by ivanperez-keera 10 months ago - 6 comments
Labels: CR:Type:Feature, CR:Status:Closed

#542 - `copilot`: Update README with new installation process in Fedora

Issue - State: closed - Opened by ivanperez-keera 10 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#539 - RFC: Derive `Struct` and `Typed` instances for structs using `GHC.Generics`

Issue - State: closed - Opened by RyanGlScott 11 months ago
Labels: question

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

Issue - State: closed - Opened by ivanperez-keera 11 months ago - 11 comments
Labels: CR:Type:Bug, CR:Status:Closed

#535 - `copilot`: Results of `what4` example do not match expectation

Issue - State: closed - Opened by ivanperez-keera 11 months ago - 10 comments
Labels: CR:Type:Bug, CR:Status:Closed

#533 - Release 4.0. Refs #532.

Pull Request - State: closed - Opened by ivanperez-keera 11 months ago - 1 comment

#532 - Release 4

Issue - State: closed - Opened by ivanperez-keera 11 months ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#531 - `copilot-language`: Add support for array element updates. Refs #36.

Pull Request - State: closed - Opened by ivanperez-keera 11 months ago - 1 comment

#528 - `copilot-prettyprinter`: Pretty-print struct update expressions. Refs #526.

Pull Request - State: closed - Opened by RyanGlScott 11 months ago - 4 comments

#527 - `copilot-theorem`: Support translating `UpdateField` to `what4`. Refs #524.

Pull Request - State: closed - Opened by RyanGlScott 11 months ago - 3 comments

#526 - `copilot-prettyprinter`: Support pretty-printing struct updates

Issue - State: closed - Opened by RyanGlScott about 1 year ago - 7 comments
Labels: CR:Type:Bug, CR:Status:Closed

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

Issue - State: closed - Opened by RyanGlScott about 1 year ago - 8 comments
Labels: CR:Type:Feature, CR:Status:Closed

#524 - `copilot-theorem`: Support translating struct updates to `what4`

Issue - State: closed - Opened by RyanGlScott about 1 year ago - 7 comments
Labels: CR:Type:Bug, CR:Status:Closed

#523 - Release 3.20. Refs #522.

Pull Request - State: closed - Opened by ivanperez-keera about 1 year ago - 1 comment

#522 - Release 3.20

Issue - State: closed - Opened by ivanperez-keera about 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#521 - `copilot-language`: Add support for struct field updates. Refs #520.

Pull Request - State: closed - Opened by ivanperez-keera about 1 year ago - 3 comments

#520 - `copilot-language`: Support modifying fields of structs

Issue - State: closed - Opened by ivanperez-keera about 1 year ago - 6 comments
Labels: CR:Type:Feature, CR:Status:Closed

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

Issue - State: closed - Opened by ivanperez-keera about 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#517 - `copilot-theorem`: Relax version constraint on what4. Refs #514.

Pull Request - State: closed - Opened by ivanperez-keera about 1 year ago - 1 comment

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

Pull Request - State: closed - Opened by Qqwy about 1 year ago - 1 comment

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

Issue - State: closed - Opened by ivanperez-keera about 1 year ago - 7 comments
Labels: CR:Type:Management, CR:Status:Closed

#513 - Release 3.19.1. Refs #512.

Pull Request - State: closed - Opened by ivanperez-keera about 1 year ago - 1 comment

#512 - Release 3.19.1

Issue - State: closed - Opened by ivanperez-keera about 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#511 - `copilot-theorem`: Update README to match current interface. Refs #452.

Pull Request - State: closed - Opened by fdedden about 1 year ago - 1 comment

#510 - `copilot-theorem`: Look for `falsifiable` (not `invalid`). Refs #495.

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 3 comments

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

Issue - State: closed - Opened by simondlevy over 1 year ago - 12 comments
Labels: question

#505 - Release 3.19. Refs #504.

Pull Request - State: closed - Opened by ivanperez-keera over 1 year ago - 1 comment

#504 - Release 3.19

Issue - State: closed - Opened by ivanperez-keera over 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#503 - `copilot-core`: Increase test coverage. Refs #502.

Pull Request - State: closed - Opened by ivanperez-keera over 1 year ago - 1 comment

#502 - `copilot-core`: Increase test coverage

Issue - State: closed - Opened by ivanperez-keera over 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

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

Issue - State: closed - Opened by ivanperez-keera over 1 year ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed

#498 - Formal methods with stateful functions

Issue - State: closed - Opened by simondlevy over 1 year ago - 4 comments
Labels: question

#497 - ' ' is not a nondigit error

Issue - State: closed - Opened by simondlevy over 1 year ago - 4 comments
Labels: question

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

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 10 comments
Labels: CR:Type:Bug, CR:Status:Closed

#494 - Release 3.18.1. Refs #493.

Pull Request - State: closed - Opened by ivanperez-keera over 1 year ago - 1 comment

#493 - Release 3.18.1

Issue - State: closed - Opened by ivanperez-keera over 1 year ago - 6 comments
Labels: CR:Type:Management, CR:Status:Closed

#492 - `copilot-theorem`: Adjust to work with GHC 9.6. Refs #491.

Pull Request - State: closed - Opened by ivanperez-keera over 1 year ago - 1 comment

#491 - `copilot-theorem`: Failure to compile with GHC 9.6.3

Issue - State: closed - Opened by ivanperez-keera over 1 year ago - 6 comments
Labels: CR:Type:Bug, CR:Status:Closed