Skip to content

Actions: inQWIRE/ViCAR

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge monoidal coherence Coq Build #37: Pull request #4 opened by wjbs
October 11, 2024 15:19 2m 58s merge-monoidal-coherence
merge-monoidal-coherence
October 11, 2024 15:19 2m 58s
Merge pull request #3 from inQWIRE/coqupdates/8.19.1 Coq Build #36: Commit 6f051b9 pushed by caldwellb
April 17, 2024 17:41 2m 15s main
main
April 17, 2024 17:41 2m 15s
Coqupdates/8.19.1 Coq Build #35: Pull request #3 synchronize by caldwellb
April 17, 2024 17:36 2m 14s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 17:36 2m 14s
Coqupdates/8.19.1 Coq Build #34: Pull request #3 opened by caldwellb
April 17, 2024 17:31 2m 1s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 17:31 2m 1s
Changed main branch, changing basis for 8.19 support Coq Build #33: Pull request #2 synchronize by caldwellb
April 17, 2024 17:30 2m 1s updates/reshuffle
updates/reshuffle
April 17, 2024 17:30 2m 1s
Update README.md Coq Build #32: Commit 9d42fcd pushed by caldwellb
April 17, 2024 17:20 2m 13s main
main
April 17, 2024 17:20 2m 13s
Added compatibility notations that don't conflict with, e.g., Quantum… Coq Build #31: Commit 2c4ce80 pushed by caldwellb
April 17, 2024 17:14 2m 9s main
main
April 17, 2024 17:14 2m 9s
Small proof repair + coq-action update Coq Build #30: Pull request #1 synchronize by caldwellb
April 17, 2024 15:14 2m 18s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 15:14 2m 18s
Small proof repair + coq-action update Coq Build #29: Pull request #1 synchronize by caldwellb
April 17, 2024 15:02 2m 23s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 15:02 2m 23s
Small proof repair + coq-action update Coq Build #28: Pull request #1 synchronize by caldwellb
April 17, 2024 14:50 2m 21s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 14:50 2m 21s
Small proof repair + coq-action update Coq Build #27: Pull request #1 synchronize by caldwellb
April 17, 2024 14:44 2m 24s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 14:44 2m 24s
Small proof repair + coq-action update Coq Build #26: Pull request #1 opened by caldwellb
April 17, 2024 14:41 2m 16s coqupdates/8.19.1
coqupdates/8.19.1
April 17, 2024 14:41 2m 16s
Update README.md Coq Build #25: Commit f2e9051 pushed by lczielinski
April 5, 2024 21:15 2m 29s main
main
April 5, 2024 21:15 2m 29s
Update README.md Coq Build #24: Commit 9cd83c1 pushed by lczielinski
April 5, 2024 20:43 2m 31s main
main
April 5, 2024 20:43 2m 31s
Commented out unfinished sections to make it build. Coq Build #23: Commit 56d6bb9 pushed by wjbs
March 19, 2024 23:43 17m 17s main
main
March 19, 2024 23:43 17m 17s
Temporary push to show parsing example Coq Build #22: Commit 934051b pushed by wjbs
March 18, 2024 19:20 2m 44s main
main
March 18, 2024 19:20 2m 44s
Insubstantial change; in-progress portions of RigCategory commented o… Coq Build #21: Commit 7321534 pushed by wjbs
March 17, 2024 00:17 2m 29s main
main
March 17, 2024 00:17 2m 29s
Updates to notation precendence, example of the category of categorie… Coq Build #20: Commit 0341245 pushed by wjbs
March 16, 2024 19:19 2m 49s main
main
March 16, 2024 19:19 2m 49s
Significantly improved category automation. Fenceposting has been imp… Coq Build #19: Commit 16bde81 pushed by wjbs
March 12, 2024 00:13 2m 58s main
main
March 12, 2024 00:13 2m 58s
Partway through implementing tactics to make ViCaR usable - see espec… Coq Build #18: Commit 1cd3c0d pushed by wjbs
March 10, 2024 14:45 2m 50s main
main
March 10, 2024 14:45 2m 50s
Added Relations example (over types), with individual structures for … Coq Build #17: Commit b9b3c46 pushed by wjbs
March 8, 2024 00:40 2m 29s main
main
March 8, 2024 00:40 2m 29s
Various updates, such as to category infrastructure (slight rework of… Coq Build #16: Commit 2b2d006 pushed by wjbs
March 7, 2024 21:04 2m 8s main
main
March 7, 2024 21:04 2m 8s
Further updates, expanded kronecker product, and frameworked CastCate… Coq Build #15: Commit d7db483 pushed by wjbs
March 4, 2024 23:38 2m 54s main
main
March 4, 2024 23:38 2m 54s
Significant overhaul to category construction; many more category-the… Coq Build #14: Commit 52878af pushed by wjbs
February 23, 2024 19:38 2m 56s main
main
February 23, 2024 19:38 2m 56s
Proved n_yank_r/l, using a large number of helper lemmas. The code is… Coq Build #13: Commit 2900feb pushed by wjbs
February 16, 2024 04:51 5m 15s main
main
February 16, 2024 04:51 5m 15s