Skip to content

Pull requests: CQCL/brat

New pull request New
Clear current search query, filters, and sorts
6 Open 38 Closed
6 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[refactor] Combine brackets and within
#73 by acl-cqc was merged Dec 23, 2024 Loading…
refactor: avoid Bwd in within and brackets(Worker)
#72 by acl-cqc was closed Dec 20, 2024 Loading…
1
tests: fix parsing of karlheinz.brat; extend let.brat
#71 by acl-cqc was merged Dec 23, 2024 Loading…
feat: Add bracketing to lexer
#68 by croyzor was merged Dec 23, 2024 Loading…
21
chore: Update to hugr v0.9.0
#67 by croyzor was merged Dec 23, 2024 Loading…
2
chore: Upgrade to hugr 0.8.0
#66 by croyzor was merged Dec 17, 2024 Loading…
1
11
fix BadPortPull error message; refactor pullPorts not to require tuple
#65 by acl-cqc was merged Dec 6, 2024 Loading…
[refactor] pullports again, with StateT + mapM
#64 by acl-cqc was merged Dec 6, 2024 Loading…
1
[refactor] pull1Port: use partition from Data.List
#62 by acl-cqc was merged Dec 4, 2024 Loading…
5
feat: give all next calls a label
#61 by croyzor was merged Dec 3, 2024 Loading…
5
feat: Give every node created with anext a label
#60 by croyzor was merged Nov 28, 2024 Loading…
feat: Allow writing holes which are solved by BRAT
#59 by croyzor was closed Dec 18, 2024 Loading…
1
37
[refactor] vectorise: take expected mode, make return type explicit
#58 by acl-cqc was merged Nov 27, 2024 Loading…
1
[refactor] Common-up in checkBody
#57 by acl-cqc was merged Nov 25, 2024 Loading…
refactor: Rename UserName to QualName
#56 by croyzor was merged Nov 25, 2024 Loading…
11
chore: Add HLint CI action and apply hints
#55 by croyzor was merged Nov 19, 2024 Loading…
3
chore: Update compilation to target hugr v0.6.0
#52 by croyzor was merged Nov 5, 2024 Loading…
1
15
refactor: Combine hugr types and ops into one module
#51 by croyzor was merged Nov 5, 2024 Loading…
2
[trivial+refactor] Make checkThunk local
#50 by acl-cqc was merged Nov 6, 2024 Loading…
2
chore(ci): Try harder to cache stack deps
#49 by croyzor was merged Oct 31, 2024 Loading…
1
fix: Check that all overs and unders are used in toplevel defs
#48 by croyzor was merged Oct 29, 2024 Loading…
7
feat: Vectorisation - of and vectorised application
#47 by croyzor was merged Oct 31, 2024 Loading…
6
tests: improve expectFailForPaths
#46 by acl-cqc was merged Oct 29, 2024 Loading…
1
Tests: error on unused imports
#45 by acl-cqc was merged Oct 25, 2024 Loading…
1
tests: pass test if files have holes; don't write out file if checking fails
#44 by acl-cqc was merged Oct 26, 2024 Loading…
2
ProTip! Adding no:label will show everything without a label.