-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: JetBrains/SnaKt
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Pass an argument for every parameter of a call
#234
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
Report ignored preconditions/postconditions/loopInvariants blocks
#233
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
3 tasks done
Allow field reads in specifications
#231
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
•
Draft
Treat a SnaKt spec block as a contract for target selection
#230
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
Diagnose a missing/unusable Z3 prover instead of reporting an internal error
#229
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
Make the severity of failed proofs configurable
#227
opened Aug 10, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
Add Char domain bound [0, 65536) to forAll<Char> quantifier (CH-1)
#219
opened Aug 3, 2026 by
Roman Roginskii (sachok42)
Collaborator
Loading…
Integrate uniqueness/locality checkers within viper plugin checkers
#216
opened Jul 28, 2026 by
Marco Paganoni (paganma)
Contributor
Loading…
Decide comparison representation from the operands' injections
#215
opened Jul 25, 2026 by
Komiputer (komiputer)
Contributor
Loading…
Treat exhaustive
when fallthrough as unreachable
#209
opened Jul 10, 2026 by
Komiputer (komiputer)
Contributor
Loading…
Implement existential quantifier
#207
opened Jul 6, 2026 by
Roman Roginskii (sachok42)
Collaborator
Loading…
Extract TypeEmbedder and ContractEmbedder from ProgramConverter
#206
opened Jul 2, 2026 by
Komiputer (komiputer)
Contributor
Loading…
3 tasks done
Route unsupported-Kotlin-feature sites through one funnel
#205
opened Jul 2, 2026 by
Komiputer (komiputer)
Contributor
Loading…
3 of 4 tasks
Consolidate build versions into a version catalog and convention plugin
#203
opened Jul 2, 2026 by
Komiputer (komiputer)
Contributor
Loading…
3 of 4 tasks
Follow-ups: drop redundant param conditions, add ArrayList contract
#199
opened Jul 2, 2026 by
Komi Golova (jesyspa)
Collaborator
Loading…
Representing It Arrays with a Domain Model
#191
opened Jun 26, 2026 by
Ramon Wick (The-Ray-Man)
Contributor
•
Draft
Use Uniqueness Information for Havoc
#168
opened May 20, 2026 by
Ramon Wick (The-Ray-Man)
Contributor
•
Draft
Propagate access dependencies for ternary expressions in pure functions
#163
opened May 13, 2026 by
Komiputer (komiputer)
Contributor
Loading…
2 tasks done
Add early returns (rebased)
#162
opened May 13, 2026 by
Komiputer (komiputer)
Contributor
Loading…
1 task done
ProTip!
no:milestone will show everything without a milestone.