Skip to content

Actions: CQCL/brat

Actions

Add issues to project board

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
project-board.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
refactor: Use a structure with variable names and port names Add issues to project board #21: Issue #23 opened by croyzor
August 7, 2024 16:23 11s
August 7, 2024 16:23 11s
Unelaborate terms in error messages Add issues to project board #20: Issue #20 opened by croyzor
July 25, 2024 11:02 15s
July 25, 2024 11:02 15s
Better failure mode for functions with a trailing semicolon Add issues to project board #19: Issue #19 opened by croyzor
July 25, 2024 11:02 11s
July 25, 2024 11:02 11s
Type Erasure, Dynamic, Coercions Add issues to project board #18: Issue #18 opened by croyzor
July 25, 2024 11:02 10s
July 25, 2024 11:02 10s
Compile constructors Add issues to project board #17: Issue #17 opened by croyzor
July 25, 2024 11:02 9s
July 25, 2024 11:02 9s
bug: Internal error with empty into Add issues to project board #16: Issue #16 opened by croyzor
July 25, 2024 11:02 9s
July 25, 2024 11:02 9s
feat: Dependent tuples in BRAT Add issues to project board #15: Issue #15 opened by croyzor
July 25, 2024 11:02 9s
July 25, 2024 11:02 9s
ci: Only run tests when haskell code changes Add issues to project board #14: Issue #14 opened by croyzor
July 25, 2024 11:02 11s
July 25, 2024 11:02 11s
bug: Importing functions from other modules changes the hugr output Add issues to project board #13: Issue #13 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
refactor: Handle brackets in the lexing phase Add issues to project board #12: Issue #12 opened by croyzor
July 25, 2024 10:59 21s
July 25, 2024 10:59 21s
feat: User defined enums Add issues to project board #11: Issue #11 opened by croyzor
July 25, 2024 10:59 24s
July 25, 2024 10:59 24s
feat: Add vectorisation Add issues to project board #10: Issue #10 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
Check for covering of pattern matching Add issues to project board #9: Issue #9 opened by croyzor
July 25, 2024 10:59 13s
July 25, 2024 10:59 13s
feat: Add case statements to BRAT Add issues to project board #8: Issue #8 opened by croyzor
July 25, 2024 10:59 12s
July 25, 2024 10:59 12s
Add a coercion op to the hugr extension for BRAT Add issues to project board #7: Issue #7 opened by croyzor
July 25, 2024 10:59 15s
July 25, 2024 10:59 15s
Longer-term compilation issues (post-QFT) Add issues to project board #6: Issue #6 opened by croyzor
July 25, 2024 10:59 16s
July 25, 2024 10:59 16s
chore: Update serialised hugr schema to v0.4.0 Add issues to project board #5: Issue #5 opened by croyzor
July 25, 2024 10:59 19s
July 25, 2024 10:59 19s
chore: Add a formatter to the repo Add issues to project board #4: Issue #4 opened by croyzor
July 25, 2024 10:59 10s
July 25, 2024 10:59 10s