Skip to content

Actions: quantum-compiler/quartz

Actions

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pre-commit.yml
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Verifier] Distinguish parameters only for arithmetic expressions from concrete parameters which uses trigonometric functions pre-commit #457: Pull request #204 opened by xumingkuan
February 4, 2025 04:26 25s const-int
const-int
February 4, 2025 04:26 25s
[verifier] Use trigonometric functions for concrete parameters (#203) pre-commit #456: Commit 90940fd pushed by jiazhihao
February 4, 2025 00:21 2m 49s master
master
February 4, 2025 00:21 2m 49s
[verifier] Use trigonometric functions for concrete parameters pre-commit #455: Pull request #203 opened by xumingkuan
February 4, 2025 00:18 2m 54s verifier-trigonometric
verifier-trigonometric
February 4, 2025 00:18 2m 54s
Update CMakeLists.txt in Wrapper for Windows pre-commit #454: Pull request #202 opened by xumingkuan
January 31, 2025 23:21 47s oac-windows
oac-windows
January 31, 2025 23:21 47s
fix typo pre-commit #453: Commit 8e63bb9 pushed by xumingkuan
January 28, 2025 20:54 26s master
master
January 28, 2025 20:54 26s
[Parser] Restore support of parameter expressions like pi*-0.25 pre-commit #452: Commit 8971681 pushed by xumingkuan
January 28, 2025 20:54 32s master
master
January 28, 2025 20:54 32s
[bug] [verifier] Fix a bug when finding common subcircuits (#200) pre-commit #451: Commit ef1f661 pushed by xumingkuan
January 28, 2025 20:20 33s master
master
January 28, 2025 20:20 33s
[bug] [verifier] Fix a bug when finding common subcircuits pre-commit #450: Pull request #200 opened by xumingkuan
January 28, 2025 20:17 32s verify-opt3
verify-opt3
January 28, 2025 20:17 32s
[doc] Fix typos in README.md pre-commit #449: Commit a00d59d pushed by xumingkuan
January 27, 2025 19:46 29s master
master
January 27, 2025 19:46 29s
[Doc] Update documentation for OpenQASM 3.0 and more pre-commit #448: Commit ca08bc2 pushed by xumingkuan
January 25, 2025 22:34 27s master
master
January 25, 2025 22:34 27s
[verifier] Improve reasoning about constant square roots in Z3 (#199) pre-commit #447: Commit b7bfa78 pushed by xumingkuan
January 24, 2025 02:56 34s master
master
January 24, 2025 02:56 34s
[verifier] Improve reasoning about constant square roots in Z3 pre-commit #446: Pull request #199 synchronize by xumingkuan
January 23, 2025 06:01 33s sqrt
sqrt
January 23, 2025 06:01 33s
[verifier] Improve reasoning about constant square roots in Z3 pre-commit #445: Pull request #199 synchronize by xumingkuan
January 23, 2025 05:53 26s sqrt
sqrt
January 23, 2025 05:53 26s
[verifier] Improve reasoning about constant square roots in Z3 pre-commit #444: Pull request #199 opened by xumingkuan
January 23, 2025 05:51 27s sqrt
sqrt
January 23, 2025 05:51 27s
[verifier] option to set timeout (#198) pre-commit #443: Commit 0cdc6f9 pushed by xumingkuan
January 21, 2025 16:58 33s master
master
January 21, 2025 16:58 33s
[verifier] option to set timeout pre-commit #442: Pull request #198 synchronize by ScottWe
January 21, 2025 13:24 28s ScottWe:timeout
ScottWe:timeout
January 21, 2025 13:24 28s
[verifier] option to set timeout pre-commit #441: Pull request #198 synchronize by ScottWe
January 21, 2025 13:10 27s ScottWe:timeout
ScottWe:timeout
January 21, 2025 13:10 27s
[verifier] option to set timeout pre-commit #440: Pull request #198 opened by ScottWe
January 21, 2025 03:42 32s ScottWe:timeout
ScottWe:timeout
January 21, 2025 03:42 32s
[doc] Add instruction to verify circuit equivalence pre-commit #439: Commit 84349b7 pushed by xumingkuan
January 20, 2025 19:33 33s master
master
January 20, 2025 19:33 33s
[doc] Update readme pre-commit #438: Commit 2d010dc pushed by xumingkuan
January 20, 2025 19:24 25s master
master
January 20, 2025 19:24 25s
[fix] verifier passes timeout in wrong position (#197) pre-commit #437: Commit 093ebb3 pushed by xumingkuan
January 18, 2025 17:56 28s master
master
January 18, 2025 17:56 28s
[fix] verifier passes timeout in wrong position pre-commit #436: Pull request #197 opened by ScottWe
January 18, 2025 15:39 28s ScottWe:verifier_fix
ScottWe:verifier_fix
January 18, 2025 15:39 28s
[format] Code format pre-commit #435: Commit a3f0f51 pushed by xumingkuan
January 18, 2025 04:14 33s master
master
January 18, 2025 04:14 33s
[verifier] Improve verifier for pi/4 constant and allow customizing t… pre-commit #434: Commit 6907cfb pushed by xumingkuan
January 18, 2025 04:08 27s master
master
January 18, 2025 04:08 27s
[misc] Add an error message if an ECC Set generated from an old versi… pre-commit #433: Commit d4720d6 pushed by xumingkuan
January 17, 2025 21:38 2m 58s master
master
January 17, 2025 21:38 2m 58s