Skip to content

Issues: JetBrains/lincheck

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

41 Open 92 Closed
41 Open 92 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Enforce consistent rules of internal to canonical class name conversion refactoring
#328 opened May 30, 2024 by eupp
Ensure lazy byte-code transformation always works correctly in the verification phase under model-checking mode bug Something isn't working
#323 opened May 8, 2024 by eupp
@eupp
"Could not self-attach to current VM using external process" in CI
#321 opened May 4, 2024 by CLOVIS-AI
Always allow extra suspensions and do not mention "SUSPENDED" when operation completes
#319 opened Apr 30, 2024 by ndkoval
Create an infrastructure to debug issues caused by non-determinism enhancement New feature or request
#318 opened Apr 30, 2024 by ndkoval
@avpotapov00
Support transformation of all classes in the model checking mode
#309 opened Apr 19, 2024 by eupp
@eupp
Investigate performance issues due to Java agents on Java 11 builds
#308 opened Apr 19, 2024 by eupp
1
@eupp
IllegalStateException: Trying to switch the execution... bug Something isn't working
#307 opened Apr 19, 2024 by durban
@avpotapov00
1
Live-locks and hangs in a validation function are not supported
#292 opened Mar 20, 2024 by ndkoval
@eupp
Don't track all Unsafe methods as atomic
#288 opened Mar 19, 2024 by avpotapov00
@eupp
Bug in the minimization of the initial part of a scenario bug Something isn't working
#286 opened Mar 4, 2024 by eupp
1
2
Execution hangs in test with channels bug Something isn't working
#283 opened Feb 23, 2024 by avpotapov00
Support WeakReference in model checking mode bug Something isn't working
#279 opened Feb 20, 2024 by eupp
3 tasks
1
Remove redundant isTestThread(..) calles in ManagedStrategy enhancement New feature or request
#276 opened Feb 19, 2024 by ndkoval
Validate that virtual threads are supported
#261 opened Jan 18, 2024 by eupp
Track coroutine events in arbitrary code postponed
#260 opened Jan 18, 2024 by eupp
2
Plan the work on the new API
#259 opened Jan 18, 2024 by ndkoval
@ndkoval
Propagate Errors when catching exceptions
#258 opened Jan 18, 2024 by ndkoval
New model checker
#257 opened Jan 18, 2024 by ndkoval
4 of 15 tasks
@eupp
Try to optimize the runner utilizing virtual threads
#256 opened Jan 18, 2024 by ndkoval
Coverage support
#254 opened Jan 18, 2024 by ndkoval
3 tasks
@eupp @dmitrii-artuhov
Create real-world benchmarks
#252 opened Jan 18, 2024 by ndkoval
1
@eupp
Add actor results to the trace in case of any failure
#244 opened Nov 14, 2023 by avpotapov00
@avpotapov00
Refactor validation function containers to get rid of using Actor as a wrapper of a validation method refactoring
#241 opened Nov 14, 2023 by avpotapov00
2
false positive live locks when upgrading to v2.21 bug Something isn't working
#223 opened Jul 26, 2023 by btwilk
@ndkoval
3
ProTip! What’s not been updated in a month: updated:<2024-05-02.