Skip to content

Actions: quantum-compiler/quartz

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[verifier] Improve reasoning about constant square roots in Z3 CI #470: Pull request #199 synchronize by xumingkuan
January 23, 2025 06:01 2m 26s sqrt
sqrt
January 23, 2025 06:01 2m 26s
[verifier] Improve reasoning about constant square roots in Z3 CI #469: Pull request #199 synchronize by xumingkuan
January 23, 2025 05:53 2m 18s sqrt
sqrt
January 23, 2025 05:53 2m 18s
[verifier] Improve reasoning about constant square roots in Z3 CI #468: Pull request #199 opened by xumingkuan
January 23, 2025 05:51 2m 34s sqrt
sqrt
January 23, 2025 05:51 2m 34s
[verifier] option to set timeout (#198) CI #467: Commit 0cdc6f9 pushed by xumingkuan
January 21, 2025 16:58 2m 17s master
master
January 21, 2025 16:58 2m 17s
[verifier] option to set timeout CI #466: Pull request #198 synchronize by ScottWe
January 21, 2025 13:24 3m 29s ScottWe:timeout
ScottWe:timeout
January 21, 2025 13:24 3m 29s
[verifier] option to set timeout CI #465: Pull request #198 synchronize by ScottWe
January 21, 2025 13:10 2m 14s ScottWe:timeout
ScottWe:timeout
January 21, 2025 13:10 2m 14s
[verifier] option to set timeout CI #464: Pull request #198 opened by ScottWe
January 21, 2025 03:42 2m 3s ScottWe:timeout
ScottWe:timeout
January 21, 2025 03:42 2m 3s
[doc] Add instruction to verify circuit equivalence CI #463: Commit 84349b7 pushed by xumingkuan
January 20, 2025 19:33 2m 16s master
master
January 20, 2025 19:33 2m 16s
[doc] Update readme CI #462: Commit 2d010dc pushed by xumingkuan
January 20, 2025 19:24 2m 16s master
master
January 20, 2025 19:24 2m 16s
[fix] verifier passes timeout in wrong position (#197) CI #461: Commit 093ebb3 pushed by xumingkuan
January 18, 2025 17:56 2m 23s master
master
January 18, 2025 17:56 2m 23s
[fix] verifier passes timeout in wrong position CI #460: Pull request #197 opened by ScottWe
January 18, 2025 15:39 2m 20s ScottWe:verifier_fix
ScottWe:verifier_fix
January 18, 2025 15:39 2m 20s
[format] Code format CI #459: Commit a3f0f51 pushed by xumingkuan
January 18, 2025 04:14 2m 17s master
master
January 18, 2025 04:14 2m 17s
[verifier] Improve verifier for pi/4 constant and allow customizing t… CI #458: Commit 6907cfb pushed by xumingkuan
January 18, 2025 04:08 2m 7s master
master
January 18, 2025 04:08 2m 7s
[misc] Add an error message if an ECC Set generated from an old versi… CI #457: Commit d4720d6 pushed by xumingkuan
January 17, 2025 21:38 3m 45s master
master
January 17, 2025 21:38 3m 45s
[doc] Update comments for pattern matching (#196) CI #456: Commit 571a283 pushed by xumingkuan
January 7, 2025 06:38 3m 9s master
master
January 7, 2025 06:38 3m 9s
[doc] Update comments for pattern matching CI #455: Pull request #196 opened by xumingkuan
January 6, 2025 21:48 2m 14s pattern
pattern
January 6, 2025 21:48 2m 14s
Code format CI #454: Commit 303ad6a pushed by xumingkuan
December 22, 2024 04:12 2m 57s master
master
December 22, 2024 04:12 2m 57s
[Verifier] Improve command line output for equivalences with differen… CI #453: Commit abf558b pushed by xumingkuan
December 22, 2024 03:03 2m 17s master
master
December 22, 2024 03:03 2m 17s
[Interface] equivalence checker for OpenQASM files (#194) CI #452: Commit 91c5922 pushed by xumingkuan
December 21, 2024 21:47 2m 3s master
master
December 21, 2024 21:47 2m 3s
[Interface] equivalence checker for OpenQASM files CI #451: Pull request #194 synchronize by xumingkuan
December 21, 2024 21:35 2m 17s ScottWe:cmdln_verify
ScottWe:cmdln_verify
December 21, 2024 21:35 2m 17s
[Interface] equivalence checker for OpenQASM files CI #450: Pull request #194 synchronize by ScottWe
December 20, 2024 18:19 3m 50s ScottWe:cmdln_verify
ScottWe:cmdln_verify
December 20, 2024 18:19 3m 50s
[Interface] equivalence checker for OpenQASM files CI #449: Pull request #194 opened by ScottWe
December 20, 2024 18:16 2m 3s ScottWe:cmdln_verify
ScottWe:cmdln_verify
December 20, 2024 18:16 2m 3s
[verifier] Fix concrete parameters not used when there are no symboli… CI #448: Commit 7b9b06a pushed by xumingkuan
December 20, 2024 03:42 2m 14s master
master
December 20, 2024 03:42 2m 14s
Parser support for halved parameters. (#193) CI #447: Commit d9001e0 pushed by xumingkuan
December 20, 2024 02:46 2m 23s master
master
December 20, 2024 02:46 2m 23s
Parser support for halved parameters. CI #446: Pull request #193 synchronize by ScottWe
December 20, 2024 02:34 2m 21s ScottWe:halved_usaged
ScottWe:halved_usaged
December 20, 2024 02:34 2m 21s