-
Notifications
You must be signed in to change notification settings - Fork 34
Pull requests: BlockstreamResearch/SimplicityHL
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
vscode: add "-w" flag before witness in compilation command
#297
opened Apr 23, 2026 by
gerau
Contributor
Loading…
feat: add out of order function calls
#282
opened Apr 13, 2026 by
stringhandler
Contributor
Loading…
feat: add support for unsigned integer MIN and MAX type bounds
#277
opened Apr 7, 2026 by
metalurgical
Contributor
Loading…
feat: implement structured pattern matching with nested constructor support
#275
opened Apr 6, 2026 by
metalurgical
Contributor
Loading…
fix: CRLF newline handling and error span rendering
#262
opened Mar 30, 2026 by
metalurgical
Contributor
Loading…
feat: add warnings and specifically unused variable warnings
#246
opened Mar 18, 2026 by
stringhandler
Contributor
•
Draft
feat: add infix operators and warnings
#232
opened Mar 12, 2026 by
stringhandler
Contributor
•
Draft
feat: add padding keyword to increase program size
#226
opened Mar 3, 2026 by
stringhandler
Contributor
•
Draft
ProTip!
no:milestone will show everything without a milestone.