Skip to content

Pull requests: BlockstreamResearch/SimplicityHL

New pull request New
12 Open 248 Closed
12 Open 248 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

Public API extension for versioning
#373 opened Jul 16, 2026 by Sdoba16 Collaborator • Draft
@Sdoba16
Extend lexer for SimplicityHL formatter
#372 opened Jul 15, 2026 by ikripaka Loading…
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
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 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-24.