Skip to content

Pull requests: JetBrains/SnaKt

New pull request New
18 Open 132 Closed
18 Open 132 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

Allow forAll expression as verify parameter
#180 opened May 29, 2026 by The-Ray-Man Collaborator Loading…
6
Support old expressions in contracts
#178 opened May 29, 2026 by The-Ray-Man Collaborator Loading…
1
Extract FieldAccessLowering for hierarchy-predicate unfolding
#174 opened May 22, 2026 by komiputer Contributor Loading…
2 tasks done
6
Visitor-ify ExpEmbedding validity; SAMify PurityContext
#170 opened May 22, 2026 by komiputer Contributor Loading…
2 tasks done
Refactor Callable Embedding Type Hierarchy
#169 opened May 20, 2026 by The-Ray-Man Collaborator Loading…
1
25
Use Uniqueness Information for Havoc
#168 opened May 20, 2026 by The-Ray-Man Collaborator • Draft
Add locality-checking for lambda captured locals
#165 opened May 18, 2026 by paganma Collaborator Loading…
1
@paganma
13
Propagate access dependencies for ternary expressions in pure functions
#163 opened May 13, 2026 by komiputer Contributor Loading…
2 tasks done
Add early returns (rebased)
#162 opened May 13, 2026 by komiputer Contributor Loading…
1 task done
Ignore Empty Pre/Postconditions
#158 opened May 13, 2026 by The-Ray-Man Collaborator Loading…
1
Move Locality Tests in Locality Module
#157 opened May 13, 2026 by The-Ray-Man Collaborator Loading…
1
Resolved Test Driver Bugs
#154 opened May 12, 2026 by The-Ray-Man Collaborator Loading…
Expose uniqueness/locality checks as plugin options
#136 opened May 1, 2026 by komiputer Contributor Loading…
1 of 2 tasks
@The-Ray-Man
Support reference equality (=== and !==)
#135 opened May 1, 2026 by komiputer Contributor Loading…
2 tasks done
Drop havoc on field accesses through unique receivers
#134 opened May 1, 2026 by komiputer Contributor Loading…
4 tasks
Adding support for explicit permission management in pre/post-conditions
#94 opened Apr 2, 2026 by TheDeveloper101 Collaborator Loading…
1
23
[DO NOT MERGE] Alex/fibonacci list
#90 opened Mar 31, 2026 by AlexFalter Collaborator • Draft
Permission Management
#75 opened Mar 17, 2026 by The-Ray-Man Collaborator • Draft
@The-Ray-Man
12
ProTip! What’s not been updated in a month: updated:<2026-05-01.