Skip to content

Actions: Copilot-Language/copilot-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #81 from Copilot-Language/T79-IEEE-option copilot-verifier #65: Commit 62f2d9d pushed by RyanGlScott
February 3, 2025 17:49 11m 35s master
master
February 3, 2025 17:49 11m 35s
Add smtFloatMode option to VerifierOptions. Refs #79. copilot-verifier #64: Pull request #81 opened by RyanGlScott
February 3, 2025 16:42 11m 20s T79-IEEE-option
T79-IEEE-option
February 3, 2025 16:42 11m 20s
Merge pull request #80 from Copilot-Language/T78-configure-smt-solver copilot-verifier #63: Commit 737c6af pushed by RyanGlScott
January 31, 2025 19:28 21m 9s master
master
January 31, 2025 19:28 21m 9s
Add smtSolver option to VerifierOptions. Refs #78. copilot-verifier #62: Pull request #80 synchronize by RyanGlScott
January 31, 2025 19:10 6m 39s T78-configure-smt-solver
T78-configure-smt-solver
January 31, 2025 19:10 6m 39s
Add smtSolver option to VerifierOptions. Refs #78. copilot-verifier #61: Pull request #80 opened by RyanGlScott
January 31, 2025 18:46 20m 56s T78-configure-smt-solver
T78-configure-smt-solver
January 31, 2025 18:46 20m 56s
Merge pull request #77 from Copilot-Language/T76-copilot-verifier-4.2 copilot-verifier #60: Commit 93d09ce pushed by RyanGlScott
January 20, 2025 21:19 15m 43s master
master
January 20, 2025 21:19 15m 43s
Require building with Copilot 4.2. Refs #76. copilot-verifier #59: Pull request #77 opened by RyanGlScott
January 20, 2025 21:11 15m 49s T76-copilot-verifier-4.2
T76-copilot-verifier-4.2
January 20, 2025 21:11 15m 49s
Merge pull request #75 from Copilot-Language/T74-reject-multiple-trig… copilot-verifier #58: Commit 26d5649 pushed by RyanGlScott
January 20, 2025 20:49 21m 21s master
master
January 20, 2025 20:49 21m 21s
Reject multiple triggers with the same name. Refs #74. copilot-verifier #57: Pull request #75 opened by RyanGlScott
January 20, 2025 20:27 21m 18s T74-reject-multiple-triggers-same-name
T74-reject-multiple-triggers-same-name
January 20, 2025 20:27 21m 18s
Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1 copilot-verifier #56: Commit 9021bcc pushed by RyanGlScott
November 8, 2024 15:04 21m 10s master
master
November 8, 2024 15:04 21m 10s
Require building with Copilot 4.1. Refs #72. copilot-verifier #55: Pull request #73 opened by RyanGlScott
November 8, 2024 14:42 19m 56s T72-copilot-verifier-4.1
T72-copilot-verifier-4.1
November 8, 2024 14:42 19m 56s
Document changes in the CHANGELOG. Refs #69. copilot-verifier #54: Commit e366e4b pushed by RyanGlScott
September 9, 2024 19:00 7m 9s master
master
September 9, 2024 19:00 7m 9s
Bump version to 4.0. Refs #69. copilot-verifier #53: Pull request #71 opened by RyanGlScott
September 9, 2024 16:18 6m 31s T69-release-4.0
T69-release-4.0
September 9, 2024 16:18 6m 31s
Document changes in the CHANGELOG. Refs #57. copilot-verifier #52: Commit a8114e2 pushed by RyanGlScott
September 9, 2024 16:13 6m 31s master
master
September 9, 2024 16:13 6m 31s
Add example demonstrating struct update support. Refs #57. copilot-verifier #51: Pull request #70 opened by RyanGlScott
September 9, 2024 15:35 7m 6s T57-struct-updates
T57-struct-updates
September 9, 2024 15:35 7m 6s
Document changes in the CHANGELOG. Refs #63. copilot-verifier #50: Commit bdae7f3 pushed by RyanGlScott
September 9, 2024 15:23 10m 7s master
master
September 9, 2024 15:23 10m 7s
Support array updates. Refs #63. copilot-verifier #49: Pull request #68 opened by RyanGlScott
September 9, 2024 15:12 9m 52s T63-array-updates
T63-array-updates
September 9, 2024 15:12 9m 52s
Document changes in CHANGELOG. Refs #65. copilot-verifier #48: Commit e6e0cf9 pushed by RyanGlScott
September 3, 2024 16:52 20m 16s master
master
September 3, 2024 16:52 20m 16s
Support building with crucible-llvm-0.7/crux-llvm-0.9, build against GHC 9.4–9.8. Refs #64, #65. copilot-verifier #47: Pull request #66 synchronize by RyanGlScott
September 3, 2024 15:51 20m 46s T64-65-upgrade-crux-and-ghc-versions
T64-65-upgrade-crux-and-ghc-versions
September 3, 2024 15:51 20m 46s
Support building with crucible-llvm-0.7/crux-llvm-0.9, build against GHC 9.4–9.8. Refs #64, #65. copilot-verifier #46: Pull request #66 opened by RyanGlScott
September 3, 2024 15:18 20m 2s T64-65-upgrade-crux-and-ghc-versions
T64-65-upgrade-crux-and-ghc-versions
September 3, 2024 15:18 20m 2s
Document changes in CHANGELOG. Refs #51. copilot-verifier #45: Commit c753c51 pushed by RyanGlScott
July 30, 2024 19:27 26m 47s master
master
July 30, 2024 19:27 26m 47s
Better distinguish between durable and non-durable proof goals. Refs #51. copilot-verifier #44: Pull request #62 opened by RyanGlScott
July 30, 2024 17:52 25m 52s T51-trivial-goals
T51-trivial-goals
July 30, 2024 17:52 25m 52s
Document changes in CHANGELOG. Refs #52. copilot-verifier #43: Commit fa57993 pushed by RyanGlScott
July 19, 2024 13:06 6m 21s master
master
July 19, 2024 13:06 6m 21s
Log when proof goals arise before or after calling step(). Refs #52. copilot-verifier #42: Pull request #61 opened by RyanGlScott
July 18, 2024 15:48 6m 7s T52-pre-or-post-state
T52-pre-or-post-state
July 18, 2024 15:48 6m 7s
Document changes in CHANGELOG. Refs #58. copilot-verifier #41: Commit fee827d pushed by RyanGlScott
July 11, 2024 18:25 15m 17s master
master
July 11, 2024 18:25 15m 17s