Pull requests · BlockstreamResearch/SimplicityHL · GitHub
Skip to content

Pull requests: BlockstreamResearch/SimplicityHL

New pull request New
15 Open 234 Closed
15 Open 234 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

Release 0.6.0
#365 opened Jun 26, 2026 by LesterEvSe Collaborator Loading…
@LesterEvSe
2
Add a target option for simc
#364 opened Jun 25, 2026 by ivanlele Contributor Loading…
1
2
Move file_id into Span enhancement New feature or request
#363 opened Jun 25, 2026 by LesterEvSe Collaborator Loading…
1
@LesterEvSe
10
feat: add enum declarations and multi-arm enum match expressions
#336 opened May 28, 2026 by stringhandler Contributor Loading…
2
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
Versioning
#263 opened Mar 31, 2026 by Sdoba16 Collaborator • Draft
1
@Sdoba16
24
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! Filter pull requests by the default branch with base:master.