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

39 Open 113 Closed
39 Open 113 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
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

"Lincheck scenario" and "Lincheck state diagram" are not shown bug Something isn't working IJ Plugin
#374 opened Sep 11, 2024 by de-shyt
@avpotapov00
Internal index out of bounds exception bug Something isn't working duplicate This issue or pull request already exists
#373 opened Sep 11, 2024 by bbrockbernd
@avpotapov00
2
Support Java memory model in the new model checker
#370 opened Aug 31, 2024 by ndkoval
@eupp
State diagram for coroutines is not as expected bug Something isn't working IJ Plugin
#365 opened Aug 21, 2024 by de-shyt
@avpotapov00
Broken Links in Documentation
#362 opened Aug 19, 2024 by egdegd
1
Investigate concurrent access to FinalFields bug Something isn't working postponed
#358 opened Aug 8, 2024 by ndkoval
The execution has hung bug Something isn't working
#355 opened Aug 6, 2024 by de-shyt
@avpotapov00
2
PriorityBlockingQueue - problem with getting the field offset on a hidden class. bug Something isn't working
#340 opened Jul 15, 2024 by Asinrus
@ndkoval
2
Add references to the Lincheck Idea Plugin IJ Plugin
#332 opened Jun 10, 2024 by avpotapov00
@avpotapov00
Set up infrastructure for byte-code transformation testing and debugging
#330 opened Jun 4, 2024 by eupp
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
1
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
IllegalStateException: Trying to switch the execution... bug Something isn't working
#307 opened Apr 19, 2024 by durban
@avpotapov00
3
Live-locks and hangs in a validation function are not supported bug Something isn't working
#292 opened Mar 20, 2024 by ndkoval
@avpotapov00
Execution hangs in test with channels bug Something isn't working
#283 opened Feb 23, 2024 by avpotapov00
@avpotapov00
1
Support WeakReference in model checking mode bug Something isn't working
#279 opened Feb 20, 2024 by eupp
3 tasks
1
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
6 of 15 tasks
@eupp
1
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 of 4 tasks
@eupp @dmitrii-artuhov
ProTip! What’s not been updated in a month: updated:<2024-08-22.