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

#21 - Add an actual README that explains what copilot-verifier is

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

#20 - Allow verification of more programs with partial functions

Issue - State: closed - Opened by RyanGlScott almost 3 years ago - 5 comments
Labels: enhancement

#19 - Add a basic `ShouldFail` test

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

#18 - Control verbosity more in logging

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

#17 - Make FPOps example work for both Floats and Doubles

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

#16 - `FPOps` example fails when verifying `Float`s instead of `Double`s

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 4 comments
Labels: bug

#15 - Add test cases for floating-point and integral operations

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

#14 - Floating-point `signum` operation fails to verify

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 5 comments
Labels: bug

#13 - More complete test coverage

Issue - State: closed - Opened by RyanGlScott about 3 years ago
Labels: testing

#12 - Improve error reporting

Issue - State: open - Opened by RyanGlScott about 3 years ago
Labels: enhancement

#11 - Support structs

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

#10 - Support arrays

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago - 1 comment

#9 - Support structs

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 2 comments

#8 - Bring in support for `ceil`, `floor`, and `atan2`

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

#7 - Support arrays

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 10 comments

#6 - Bump submodules (more special function support)

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

#5 - WCV example

Pull Request - State: closed - Opened by robdockins about 3 years ago - 2 comments

#4 - Bump submodules

Pull Request - State: closed - Opened by RyanGlScott about 3 years ago - 1 comment

#3 - Add some examples that use floating-point operations

Issue - State: closed - Opened by RyanGlScott about 3 years ago - 5 comments

#2 - Reorganize examples, use them in test suite

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

#1 - Use examples in a test suite

Issue - State: closed - Opened by RyanGlScott about 3 years ago
Labels: testing