-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: JetBrains/lincheck
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add a check for local vars count before inserting
afterLocalWrite
#881
opened Nov 12, 2025 by
dmitrii-artuhov
Loading…
Allow of attaching trace recorder to unknown class.
#854
opened Oct 22, 2025 by
lev-serebryakov-jetbrains
Loading…
[Junie]: feat: deprecate annotations with user guidance messages
junie
#818
opened Sep 5, 2025 by
jetbrains-junie
bot
Loading…
Make context switch for deserialized traces.
#809
opened Aug 29, 2025 by
lev-serebryakov-jetbrains
Loading…
Clear all caches and global storages before loading trace.
#725
opened Jun 23, 2025 by
lev-serebryakov-jetbrains
•
Draft
Hide java synchronisation primitves
general-purpose mc
#675
opened Jun 5, 2025 by
bbrockbernd
•
Draft
Modify bytecode injection logic for the new model checking algorithm
#443
opened Jan 16, 2025 by
eupp
Loading…
Make it optional for parameter names to match named generators
#360
opened Aug 15, 2024 by
mpdncrwd
Loading…
When a test fails suggest adding the failing scenario as a custom one
#208
opened Jul 10, 2023 by
avpotapov00
Loading…
Previous Next
ProTip!
Exclude everything labeled
bug with -label:bug.