Skip to content

Actions: kylechui/2ControlVerification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: Quite a few improvements/rewrites. CI #90: Pull request #46 synchronize by kylechui
May 26, 2024 19:37 6m 11s feat/prove-direct-sum-unitary
feat/prove-direct-sum-unitary
May 26, 2024 19:37 6m 11s
refactor: Quite a few improvements/rewrites. CI #89: Pull request #46 synchronize by kylechui
May 26, 2024 17:48 6m 25s feat/prove-direct-sum-unitary
feat/prove-direct-sum-unitary
May 26, 2024 17:48 6m 25s
refactor: Quite a few improvements/rewrites. CI #88: Pull request #46 synchronize by kylechui
May 26, 2024 17:00 6m 42s feat/prove-direct-sum-unitary
feat/prove-direct-sum-unitary
May 26, 2024 17:00 6m 42s
refactor: Quite a few improvements/rewrites. CI #87: Pull request #46 opened by kylechui
May 26, 2024 03:30 6m 20s feat/prove-direct-sum-unitary
feat/prove-direct-sum-unitary
May 26, 2024 03:30 6m 20s
feat(M5.1): State and prove. CI #86: Pull request #44 synchronize by ArshMalik02
May 26, 2024 00:38 6m 32s feat/prove-m5.1
feat/prove-m5.1
May 26, 2024 00:38 6m 32s
feat: Prove diag4_unitary. (#45) CI #85: Commit 689acd2 pushed by kylechui
May 26, 2024 00:18 6m 24s main
main
May 26, 2024 00:18 6m 24s
feat: Prove diag4_unitary. CI #84: Pull request #45 synchronize by kylechui
May 26, 2024 00:11 6m 23s feat/prove-diag4-unitary
feat/prove-diag4-unitary
May 26, 2024 00:11 6m 23s
feat: Prove diag4_unitary. CI #83: Pull request #45 opened by kylechui
May 25, 2024 17:36 6m 42s feat/prove-diag4-unitary
feat/prove-diag4-unitary
May 25, 2024 17:36 6m 42s
feat(M5.1): State and prove. CI #82: Pull request #44 synchronize by ArshMalik02
May 25, 2024 04:59 6m 41s feat/prove-m5.1
feat/prove-m5.1
May 25, 2024 04:59 6m 41s
feat(M5.1): State and prove. CI #81: Pull request #44 opened by kylechui
May 23, 2024 23:38 6m 21s feat/prove-m5.1
feat/prove-m5.1
May 23, 2024 23:38 6m 21s
feat(M4.4): Fully proven. (#43) CI #80: Commit 3ead396 pushed by kylechui
May 23, 2024 00:40 6m 25s main
main
May 23, 2024 00:40 6m 25s
feat(M4.4): Fully proven. CI #79: Pull request #43 synchronize by kylechui
May 23, 2024 00:31 6m 25s feat/prove-m4.4
feat/prove-m4.4
May 23, 2024 00:31 6m 25s
feat(M4.4): Fully proven. CI #78: Pull request #43 opened by kylechui
May 23, 2024 00:11 6m 27s feat/prove-m4.4
feat/prove-m4.4
May 23, 2024 00:11 6m 27s
feat(M4.3): Fully prove. (#40) CI #77: Commit abb4f57 pushed by kylechui
May 22, 2024 22:57 6m 21s main
main
May 22, 2024 22:57 6m 21s
feat(M4.3): Fully prove. CI #76: Pull request #40 synchronize by kylechui
May 22, 2024 22:49 6m 22s feat/prove-m4.3
feat/prove-m4.3
May 22, 2024 22:49 6m 22s
feat(M4.3): Fully prove. CI #75: Pull request #40 synchronize by kylechui
May 22, 2024 22:47 6m 23s feat/prove-m4.3
feat/prove-m4.3
May 22, 2024 22:47 6m 23s
feat(M4.3): Fully prove. CI #74: Pull request #40 synchronize by kylechui
May 22, 2024 22:36 6m 25s feat/prove-m4.3
feat/prove-m4.3
May 22, 2024 22:36 6m 25s
feat(M4.3): Fully prove. CI #73: Pull request #40 synchronize by kylechui
May 22, 2024 22:33 6m 33s feat/prove-m4.3
feat/prove-m4.3
May 22, 2024 22:33 6m 33s
perf: Massive speedups (#42) CI #72: Commit 5dba765 pushed by kylechui
May 22, 2024 22:30 6m 23s main
main
May 22, 2024 22:30 6m 23s
Refactored Swap Property to speed up compilation CI #71: Pull request #42 synchronize by kylechui
May 22, 2024 22:21 6m 21s improveSwapProperty
improveSwapProperty
May 22, 2024 22:21 6m 21s
Refactored Swap Property to speed up compilation CI #70: Pull request #42 synchronize by kylechui
May 22, 2024 22:10 7m 18s improveSwapProperty
improveSwapProperty
May 22, 2024 22:10 7m 18s
Refactored Swap Property to speed up compilation CI #69: Pull request #42 synchronize by kylechui
May 22, 2024 21:14 7m 52s improveSwapProperty
improveSwapProperty
May 22, 2024 21:14 7m 52s
feat(M4.3): Fully prove. CI #68: Pull request #40 synchronize by kylechui
May 22, 2024 19:37 9m 20s feat/prove-m4.3
feat/prove-m4.3
May 22, 2024 19:37 9m 20s
Refactored Swap Property to speed up compilation CI #67: Pull request #42 opened by nvaishampayan517
May 22, 2024 12:58 8m 20s improveSwapProperty
improveSwapProperty
May 22, 2024 12:58 8m 20s
feat(M4.3): Fully prove. CI #66: Pull request #40 synchronize by kylechui
May 21, 2024 18:56 9m 21s feat/prove-m4.3
feat/prove-m4.3
May 21, 2024 18:56 9m 21s