Skip to content

Pull requests: BlockstreamResearch/SimplicityHL

New pull request New
10 Open 152 Closed
10 Open 152 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump simplicity-hl version, update changelog
#237 opened Mar 14, 2026 by KyrylR Loading…
@KyrylR
2
ci: check commits are GPG signed
#234 opened Mar 13, 2026 by delta1 Loading…
6
feat: add infix operators and warnings
#232 opened Mar 12, 2026 by stringhandler • Draft
1
Add CMR to compiler JSON output
#231 opened Mar 10, 2026 by 0ceanSlim Loading…
4
feat: add padding keyword to increase program size
#226 opened Mar 3, 2026 by stringhandler • Draft
3
feat: update LSP to use new chumsky parser
#223 opened Mar 2, 2026 by gerau • Draft
Add error recovery for AST analysis
#217 opened Feb 11, 2026 by gerau • Draft
1
5
✨ Imports with namespacing, pub/use enhancement New feature or request
#216 opened Feb 10, 2026 by LesterEvSe • Draft
4 of 6 tasks
1
@Sdoba16 @LesterEvSe
2
Add if-then-else statement support
#213 opened Feb 9, 2026 by stringhandler • Draft
12
Use anyhow::Error in place of String
#130 opened May 5, 2025 by canndrew • Draft
4
ProTip! Adding no:label will show everything without a label.