GitHub / Copilot-Language/copilot issues and pull requests
#625 - `copilot-bluespec`: Include in mainline `copilot` repo. Refs #623.
Pull Request -
State: open - Opened by RyanGlScott 2 months ago
#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
#607 - `copilot-language` - Unable to drop as many elements from Stream as prepended
Issue -
State: open - Opened by strikef 5 months ago
- 1 comment
#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
#598 - `copilot`: List all Copilot packages in installation command in README. Refs #597.
Pull Request -
State: closed - Opened by ivanperez-keera 5 months ago
- 1 comment
#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
#596 - `copilot-theorem`: Reject existentially quantified propositions in What4 backend. Refs #254.
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
- 13 comments
#595 - `copilot-theorem`: Add function to produce counterexamples for invalid properties. Refs #589.
Pull Request -
State: closed - Opened by RyanGlScott 5 months ago
- 5 comments
#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
#592 - `copilot`: Include missing dependencies in installation instructions. Refs #591.
Pull Request -
State: closed - Opened by ivanperez-keera 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
#546 - `copilot`: Update `what4-propositional` example's comments to match results. Refs #535.
Pull Request -
State: closed - Opened by RyanGlScott 10 months ago
- 3 comments
#545 - `copilot-language`: Detect duplicate extern names in properties and theorems. Refs #536.
Pull Request -
State: closed - Opened by RyanGlScott 10 months ago
- 8 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
#519 - `copilot-language`: Remove deprecated function `Copilot.Language.Spec.forall`. Refs #518.
Pull Request -
State: closed - Opened by ivanperez-keera about 1 year ago
- 3 comments
#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
#501 - `copilot-core`: Remove deprecated functions in `Copilot.Core.Type` and `Copilot.Core.Type.Array`. Refs #500.
Pull Request -
State: closed - Opened by ivanperez-keera over 1 year ago
- 1 comment
#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