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

Clear current search query, filters, and sorts
9 Open 0 Closed
9 Open 0 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

Improve lazy instrumentation mechanism general-purpose mc refactoring
#553 opened Mar 3, 2025 by eupp
6 tasks
Unify handling of Lincheck TestThread and user threads in ManagedStrategy refactoring
#540 opened Feb 20, 2025 by eupp
Fix ThreadScheduler and ThreadState state machine logic refactoring
#530 opened Feb 18, 2025 by eupp
2 tasks
Treat first actor (operation) as regular method call refactoring
#452 opened Jan 28, 2025 by eupp
2
Unify bytecode transformation logic for constructors (<init> methods) and regular methods. general-purpose mc refactoring
#449 opened Jan 22, 2025 by eupp
Improve Lincheck internal exceptions detection mechanism refactoring
#440 opened Jan 14, 2025 by eupp
Enforce consistent rules of internal to canonical class name conversion refactoring
#328 opened May 30, 2024 by eupp
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
Simplify bytecode generation in TestThreadExecutionGenerator refactoring
#196 opened Jun 20, 2023 by eupp
6
ProTip! Updated in the last three days: updated:>2025-03-01.