Skip to content

Pull requests: BlockstreamResearch/SimplicityHL

New pull request New
16 Open 239 Closed
16 Open 239 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

Extend lexer for SimplicityHL formatter
#372 opened Jul 15, 2026 by ikripaka • Draft
feat(witness): resolve file values against program-declared types
#371 opened Jul 14, 2026 by KyrylR Collaborator Loading…
1
Migrate error rendering to ariadne
#370 opened Jul 13, 2026 by LesterEvSe Collaborator Loading…
1
@LesterEvSe
1
Wasm external jets support
#367 opened Jul 1, 2026 by ivanlele Contributor Loading…
3
Add a target option for simc
#364 opened Jun 25, 2026 by ivanlele Contributor Loading…
1
6
feat: add enum declarations and multi-arm enum match expressions
#336 opened May 28, 2026 by stringhandler Contributor • Draft
23
test: add witness pruning test verifying serialized output size
#332 opened May 26, 2026 by stringhandler Contributor Loading…
1
add thiserror, split error::Error into different modules
#324 opened May 14, 2026 by gerau Contributor • Draft
13
feat: add support for unsigned integer MIN and MAX type bounds
#277 opened Apr 7, 2026 by metalurgical Contributor Loading…
17
feat: implement structured pattern matching with nested constructor support
#275 opened Apr 6, 2026 by metalurgical Contributor • Draft
7
feat: add warnings and specifically unused variable warnings
#246 opened Mar 18, 2026 by stringhandler Contributor • Draft
14
feat: add infix operators and warnings
#232 opened Mar 12, 2026 by stringhandler Contributor • Draft
1
feat: add padding keyword to increase program size
#226 opened Mar 3, 2026 by stringhandler Contributor • Draft
3
Add error recovery for AST analysis
#217 opened Feb 11, 2026 by gerau Contributor • Draft
1
5
Add if-then-else statement support
#213 opened Feb 9, 2026 by stringhandler Contributor • Draft
12
Use anyhow::Error in place of String
#130 opened May 5, 2025 by canndrew Contributor • Draft
4
ProTip! What’s not been updated in a month: updated:<2026-06-15.