Ecosyste.ms: Issues

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

GitHub / copilot-language/copilot-verifier issues and pull requests

#73 - Require building with Copilot 4.1. Refs #72.

Pull Request - State: closed - Opened by RyanGlScott 18 days ago

#73 - Require building with Copilot 4.1. Refs #72.

Pull Request - State: closed - Opened by RyanGlScott 18 days ago

#72 - Release 4.1

Issue - State: closed - Opened by RyanGlScott 18 days ago - 1 comment

#72 - Release 4.1

Issue - State: closed - Opened by RyanGlScott 18 days ago - 1 comment

#71 - Bump version to 4.0. Refs #69.

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

#71 - Bump version to 4.0. Refs #69.

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

#70 - Add example demonstrating struct update support. Refs #57.

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

#70 - Add example demonstrating struct update support. Refs #57.

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

#69 - Release 4.0

Issue - State: closed - Opened by RyanGlScott 3 months ago

#69 - Release 4.0

Issue - State: closed - Opened by RyanGlScott 3 months ago

#68 - Support array updates. Refs #63.

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

#68 - Support array updates. Refs #63.

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

#67 - Error building docker image

Issue - State: closed - Opened by ivanperez-keera 3 months ago - 2 comments

#67 - Error building docker image

Issue - State: closed - Opened by ivanperez-keera 3 months ago - 2 comments

#66 - Support building with `crucible-llvm-0.7`/`crux-llvm-0.9`, build against GHC 9.4–9.8. Refs #64, #65.

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

#66 - Support building with `crucible-llvm-0.7`/`crux-llvm-0.9`, build against GHC 9.4–9.8. Refs #64, #65.

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

#65 - CI: Update GHC versions

Issue - State: closed - Opened by RyanGlScott 3 months ago

#64 - Support `crux-llvm-0.9`

Issue - State: closed - Opened by RyanGlScott 3 months ago

#64 - Support `crux-llvm-0.9`

Issue - State: closed - Opened by RyanGlScott 3 months ago

#63 - Support array updates

Issue - State: closed - Opened by RyanGlScott 4 months ago
Labels: enhancement

#63 - Support array updates

Issue - State: closed - Opened by RyanGlScott 4 months ago
Labels: enhancement

#62 - Better distinguish between durable and non-durable proof goals. Refs #51.

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

#62 - Better distinguish between durable and non-durable proof goals. Refs #51.

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

#61 - Log when proof goals arise before or after calling `step()`. Refs #52.

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

#61 - Log when proof goals arise before or after calling `step()`. Refs #52.

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

#60 - Bump version to 3.20. Refs #58.

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

#60 - Bump version to 3.20. Refs #58.

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

#59 - Remove redundant `build-depends` packages

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

#59 - Remove redundant `build-depends` packages

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

#58 - Release 3.20

Issue - State: closed - Opened by RyanGlScott 5 months ago

#58 - Release 3.20

Issue - State: closed - Opened by RyanGlScott 5 months ago

#57 - Support struct updates

Issue - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#57 - Support struct updates

Issue - State: closed - Opened by RyanGlScott 5 months ago
Labels: enhancement

#56 - Fix warnings in demo programs

Pull Request - State: closed - Opened by RyanGlScott 6 months ago

#56 - Fix warnings in demo programs

Pull Request - State: closed - Opened by RyanGlScott 6 months ago

#55 - Add `Dockerfile`

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#55 - Add `Dockerfile`

Pull Request - State: closed - Opened by RyanGlScott 7 months ago

#54 - Release 3.19. Refs #53.

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

#54 - Release 3.19. Refs #53.

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

#53 - Release 3.19 to Hackage

Issue - State: closed - Opened by RyanGlScott 9 months ago - 1 comment

#53 - Release 3.19 to Hackage

Issue - State: closed - Opened by RyanGlScott 9 months ago - 1 comment

#52 - Make it clearer which equality-related proof goals happen before and after calling `step()`

Issue - State: closed - Opened by RyanGlScott 9 months ago
Labels: enhancement

#52 - Make it clearer which equality-related proof goals happen before and after calling `step()`

Issue - State: closed - Opened by RyanGlScott 9 months ago
Labels: enhancement

#51 - Log when Crucible simplifies trivial proof goals

Issue - State: closed - Opened by RyanGlScott 9 months ago - 1 comment
Labels: enhancement

#51 - Log when Crucible simplifies trivial proof goals

Issue - State: closed - Opened by RyanGlScott 9 months ago - 1 comment
Labels: enhancement

#50 - Better user feedback upon a successful verification

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

#50 - Better user feedback upon a successful verification

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

#49 - `README.md`: Documentation fixes

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

#49 - `README.md`: Documentation fixes

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

#48 - Mention ICFP paper in the README

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#48 - Mention ICFP paper in the README

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#47 - Fix hyperlinks in `copilot-verifier` Hackage page

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#47 - Fix hyperlinks in `copilot-verifier` Hackage page

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#46 - Add CI status and Hackage badges to README

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#46 - Add CI status and Hackage badges to README

Issue - State: closed - Opened by RyanGlScott 10 months ago
Labels: documentation

#45 - Prepare for Hackage release

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

#45 - Prepare for Hackage release

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

#44 - Prepare for eventual release to Hackage

Issue - State: closed - Opened by RyanGlScott 10 months ago - 1 comment

#44 - Prepare for eventual release to Hackage

Issue - State: closed - Opened by RyanGlScott 10 months ago - 1 comment

#43 - Add regression test for Copilot-Language/copilot#431

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

#43 - Add regression test for Copilot-Language/copilot#431

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

#42 - Bump `copilot` submodule to `3.18.1`

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

#42 - Bump `copilot` submodule to `3.18.1`

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

#41 - Fix #40 by bumping `llvm-pretty{,-bc-parser` submodules and passing `-ffp-contract=off` to Clang

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#41 - Fix #40 by bumping `llvm-pretty{,-bc-parser` submodules and passing `-ffp-contract=off` to Clang

Pull Request - State: closed - Opened by RyanGlScott 12 months ago

#40 - `LLVMParseError` on LLVM 14.0.0

Issue - State: closed - Opened by computablee 12 months ago - 3 comments
Labels: bug

#40 - `LLVMParseError` on LLVM 14.0.0

Issue - State: closed - Opened by computablee 12 months ago - 3 comments
Labels: bug

#39 - Pin against our Copilot fork as a submodule

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

#39 - Pin against our Copilot fork as a submodule

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

#38 - Log information about proof goals with `Noisy` verbosity

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

#38 - Log information about proof goals with `Noisy` verbosity

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

#37 - Display Copilot-related line number information

Issue - State: open - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: enhancement, requires upstream changes

#37 - Display Copilot-related line number information

Issue - State: open - Opened by RyanGlScott over 1 year ago - 1 comment
Labels: enhancement, requires upstream changes

#36 - Support logging raw SMT solver interactions

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

#36 - Support logging raw SMT solver interactions

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

#35 - Basic GitHub Actions CI

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

#35 - Basic GitHub Actions CI

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

#34 - Add CI for `copilot-verifier`

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: good first issue, testing

#34 - Add CI for `copilot-verifier`

Issue - State: closed - Opened by RyanGlScott over 1 year ago
Labels: good first issue, testing

#33 - `copilot-verifier` demo from YouTube video

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#33 - `copilot-verifier` demo from YouTube video

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#32 - Fix handling of nested structs

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#32 - Fix handling of nested structs

Pull Request - State: closed - Opened by RyanGlScott almost 2 years ago

#31 - Can't verify trigger function using array of structs

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: bug

#31 - Can't verify trigger function using array of structs

Issue - State: closed - Opened by RyanGlScott almost 2 years ago
Labels: bug

#30 - Ensure trigger functions are called exactly once

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#30 - Ensure trigger functions are called exactly once

Pull Request - State: closed - Opened by RyanGlScott over 2 years ago

#29 - Minor soundness issue with trigger functions

Issue - State: closed - Opened by robdockins over 2 years ago - 1 comment

#29 - Minor soundness issue with trigger functions

Issue - State: closed - Opened by robdockins over 2 years ago - 1 comment

#28 - Rework the "heater" example to be in terms of floating-point values a…

Pull Request - State: closed - Opened by robdockins over 2 years ago

#28 - Rework the "heater" example to be in terms of floating-point values a…

Pull Request - State: closed - Opened by robdockins over 2 years ago

#27 - Add option for assuming side conditions from partial operations

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#27 - Add option for assuming side conditions from partial operations

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#26 - Add comments and minor restructuring

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#26 - Add comments and minor restructuring

Pull Request - State: closed - Opened by robdockins almost 3 years ago

#25 - Ask Copilot for the names of generated global variables

Issue - State: open - Opened by robdockins almost 3 years ago
Labels: enhancement, requires upstream changes

#24 - Factor out verifier-specific options into their own data type

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#24 - Factor out verifier-specific options into their own data type

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago

#23 - Produce explanations of why a verified program is correct

Issue - State: open - Opened by RyanGlScott almost 3 years ago - 1 comment
Labels: enhancement

#22 - Separate backend

Pull Request - State: closed - Opened by robdockins almost 3 years ago