Skip to content

Pull requests: Copilot-Language/copilot-verifier

New pull request New
Clear current search query, filters, and sorts
0 Open 48 Closed
0 Open 48 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Require building with Copilot 4.4. Refs #85.
#86 by RyanGlScott was merged May 8, 2025 Loading…
1
@RyanGlScott
Require building with Copilot 4.3. Refs #82.
#83 by RyanGlScott was merged Mar 10, 2025 Loading…
1
@RyanGlScott
Add smtFloatMode option to VerifierOptions. Refs #79.
#81 by RyanGlScott was merged Feb 3, 2025 Loading…
1
Add smtSolver option to VerifierOptions. Refs #78.
#80 by RyanGlScott was merged Jan 31, 2025 Loading…
1
Require building with Copilot 4.2. Refs #76.
#77 by RyanGlScott was merged Jan 20, 2025 Loading…
1
Reject multiple triggers with the same name. Refs #74.
#75 by RyanGlScott was merged Jan 20, 2025 Loading…
Require building with Copilot 4.1. Refs #72.
#73 by RyanGlScott was merged Nov 8, 2024 Loading…
1
Bump version to 4.0. Refs #69.
#71 by RyanGlScott was merged Sep 9, 2024 Loading…
1
Add example demonstrating struct update support. Refs #57.
#70 by RyanGlScott was merged Sep 9, 2024 Loading…
1
Support array updates. Refs #63.
#68 by RyanGlScott was merged Sep 9, 2024 Loading…
1
Support building with crucible-llvm-0.7/crux-llvm-0.9, build against GHC 9.4–9.8. Refs #64, #65.
#66 by RyanGlScott was merged Sep 3, 2024 Loading…
2
Better distinguish between durable and non-durable proof goals. Refs #51.
#62 by RyanGlScott was merged Jul 30, 2024 Loading…
1
Log when proof goals arise before or after calling step(). Refs #52.
#61 by RyanGlScott was merged Jul 19, 2024 Loading…
1
Bump version to 3.20. Refs #58.
#60 by RyanGlScott was merged Jul 11, 2024 Loading…
1
Remove redundant build-depends packages
#59 by RyanGlScott was merged Jul 11, 2024 Loading…
Fix warnings in demo programs
#56 by RyanGlScott was merged May 17, 2024 Loading…
Add Dockerfile
#55 by RyanGlScott was merged May 13, 2024 Loading…
Release 3.19. Refs #53.
#54 by RyanGlScott was merged Mar 8, 2024 Loading…
Better user feedback upon a successful verification
#50 by RyanGlScott was merged Feb 29, 2024 Loading…
README.md: Documentation fixes
#49 by RyanGlScott was merged Feb 19, 2024 Loading…
3
Prepare for Hackage release
#45 by RyanGlScott was merged Feb 6, 2024 Loading…
Add regression test for Copilot-Language/copilot#431
#43 by RyanGlScott was merged Jan 8, 2024 Loading…
Bump copilot submodule to 3.18.1
#42 by RyanGlScott was merged Jan 8, 2024 Loading…
Fix #40 by bumping llvm-pretty{,-bc-parser submodules and passing -ffp-contract=off to Clang
#41 by RyanGlScott was merged Dec 13, 2023 Loading…
1
Pin against our Copilot fork as a submodule
#39 by RyanGlScott was merged Apr 3, 2023 Loading…
2
ProTip! Exclude everything labeled bug with -label:bug.