Skip to content

Actions: CQCL/brat

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
442 workflow runs
442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Add unelab cases for identity op
Brat CI #28: Pull request #37 opened by croyzor
October 14, 2024 11:22 13m 57s fix/unelab-id
October 14, 2024 11:22 13m 57s
feat: Add fanin and fanout operators
Brat CI #27: Pull request #36 synchronize by croyzor
October 14, 2024 11:09 13m 34s new/fanout
October 14, 2024 11:09 13m 34s
feat: Add fanin and fanout operators
Brat CI #26: Pull request #36 synchronize by croyzor
October 14, 2024 10:35 13m 41s new/fanout
October 14, 2024 10:35 13m 41s
feat: Add identity operator for a single wire (#21)
Brat Test Coverage #11: Commit e05a15e pushed by croyzor
October 14, 2024 09:13 16m 22s main
October 14, 2024 09:13 16m 22s
feat: Add identity operator for a single wire (#21)
Brat CI #25: Commit e05a15e pushed by croyzor
October 14, 2024 09:13 14m 36s main
October 14, 2024 09:13 14m 36s
feat: Add fanin and fanout operators
Brat CI #24: Pull request #36 opened by croyzor
October 10, 2024 16:07 13m 31s new/fanout
October 10, 2024 16:07 13m 31s
feat: Add identity operator for a single wire
Brat CI #23: Pull request #21 synchronize by croyzor
October 10, 2024 14:50 13m 41s new/identity
October 10, 2024 14:50 13m 41s
feat: Add identity operator for a single wire
Brat CI #22: Pull request #21 synchronize by croyzor
October 10, 2024 14:39 14m 11s new/identity
October 10, 2024 14:39 14m 11s
Smarter solving
Add issues to project board #28: Issue #35 opened by croyzor
October 10, 2024 11:19 16s
October 10, 2024 11:19 16s
Compile Prim nodes to Hugr DFG
Brat CI #21: Pull request #34 opened by acl-cqc
October 4, 2024 17:46 13m 44s feat/compile_prim
October 4, 2024 17:46 13m 44s
chore: Update versions of github actions (#33)
Brat CI #20: Commit e864d41 pushed by croyzor
October 4, 2024 13:07 13m 29s main
October 4, 2024 13:07 13m 29s
chore: Update versions of github actions (#33)
Brat Test Coverage #10: Commit e864d41 pushed by croyzor
October 4, 2024 13:07 16m 32s main
October 4, 2024 13:07 16m 32s
chore: Update versions of github actions
Brat CI #19: Pull request #33 opened by croyzor
October 4, 2024 12:09 13m 19s chore/update-ci
October 4, 2024 12:09 13m 19s
refactor: Make InLvl a handler instead of a command (#31)
Brat CI #18: Commit 2f4925f pushed by croyzor
October 4, 2024 11:35 15m 52s main
October 4, 2024 11:35 15m 52s
refactor: Make InLvl a handler instead of a command (#31)
Brat Test Coverage #9: Commit 2f4925f pushed by croyzor
October 4, 2024 11:35 10s main
October 4, 2024 11:35 10s
refactor: Make InLvl a handler instead of a command
Brat CI #17: Pull request #31 synchronize by croyzor
October 3, 2024 13:17 2m 36s refactor/inlvl-handler
October 3, 2024 13:17 2m 36s
refactor: Add bracketing to parser + cleanup
Brat CI #16: Pull request #32 opened by croyzor
October 1, 2024 17:15 15m 57s refactor/parser-wc
October 1, 2024 17:15 15m 57s
refactor: Make InLvl a handler instead of a command
Brat CI #15: Pull request #31 opened by croyzor
October 1, 2024 15:06 16m 28s refactor/inlvl-handler
October 1, 2024 15:06 16m 28s
Generate the right graph for number that are worked out by SolvePatterns unification
Add issues to project board #27: Issue #30 opened by croyzor
August 28, 2024 08:40 13s
August 28, 2024 08:40 13s
feat: Parallelise the type checker
Add issues to project board #26: Issue #29 opened by croyzor
August 28, 2024 08:40 14s
August 28, 2024 08:40 14s
feat: Let BRAT fill in holes
Add issues to project board #25: Issue #28 opened by croyzor
August 28, 2024 08:39 10s
August 28, 2024 08:39 10s
Refactor anext
Add issues to project board #24: Issue #26 opened by croyzor
August 21, 2024 10:17 13s
August 21, 2024 10:17 13s
Add a REPL
Add issues to project board #23: Issue #25 opened by croyzor
August 15, 2024 14:06 14s
August 15, 2024 14:06 14s
tracking: Type inference machinery
Add issues to project board #22: Issue #24 opened by croyzor
August 14, 2024 08:56 14s
August 14, 2024 08:56 14s
feat: Add identity operator for a single wire
Brat CI #14: Pull request #21 synchronize by croyzor
August 7, 2024 16:53 16m 11s new/identity
August 7, 2024 16:53 16m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-08-07 or the other filters available.