Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / JetBrains/lincheck issues and pull requests

#410 - New model checker algorithm

Pull Request - State: open - Opened by eupp about 1 month ago

#409 - Halting problem when using I/O

Issue - State: open - Opened by I-Gleb about 1 month ago - 1 comment
Labels: bug

#408 - Busy-wait loop causes OutOfMemoryErrorException in Lincheck

Issue - State: open - Opened by I-Gleb about 1 month ago
Labels: bug

#407 - ClassCastException in Lincheck

Issue - State: open - Opened by I-Gleb about 1 month ago - 1 comment
Labels: bug

#406 - Creating a thread actor with `blocking = true`

Pull Request - State: open - Opened by de-shyt about 1 month ago

#405 - `IndexOutOfBoundsException` in the modelChecking test

Issue - State: open - Opened by de-shyt about 1 month ago
Labels: bug, non-determinism

#404 - "Count 'n' must be non-negative, but was -4"

Issue - State: open - Opened by de-shyt about 1 month ago
Labels: bug

#403 - `IllegalStateException`: Trying to switch the execution to thread 0

Issue - State: open - Opened by de-shyt about 1 month ago
Labels: bug, non-determinism

#402 - `UnsupportedOperationException` after adding a custom scenario

Issue - State: open - Opened by de-shyt about 2 months ago - 2 comments
Labels: bug

#401 - Error while adding a custom scenario

Issue - State: open - Opened by de-shyt about 2 months ago
Labels: bug, non-determinism

#400 - Layout and zoom settings are lost between different state visualisations

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: bug, IJ Plugin

#399 - Highlight newly added items on diagram

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: enhancement, IJ Plugin

#398 - UI autotests

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: enhancement, IJ Plugin

#397 - Unit tests for the scenario model and interleaving model

Issue - State: open - Opened by avpotapov00 about 2 months ago - 1 comment

#396 - Reproduce test in debug without repeating all scenarios

Issue - State: open - Opened by avpotapov00 about 2 months ago - 1 comment
Labels: enhancement, IJ Plugin

#395 - Limit plugin dependencies

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: bug, IJ Plugin

#394 - The Rerun button works incorrectly in lincheck project

Issue - State: open - Opened by avpotapov00 about 2 months ago - 1 comment

#393 - Add ability to stop at switch events

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: enhancement, IJ Plugin

#392 - Stepping is not Syncronized with syncronization

Issue - State: open - Opened by avpotapov00 about 2 months ago
Labels: bug, IJ Plugin

#391 - Do not show scenario and object graph diagram views for the general-purpose model checker

Issue - State: open - Opened by eupp about 2 months ago
Labels: IJ Plugin, general-purpose mc

#390 - Improve support of time-related APIs in the model checking mode

Issue - State: open - Opened by eupp about 2 months ago - 1 comment
Labels: general-purpose mc

#389 - Improve support of static initialization blocks and statically-reachable memory

Issue - State: open - Opened by eupp about 2 months ago
Labels: general-purpose mc

#388 - Support externally created threads

Issue - State: open - Opened by eupp about 2 months ago - 1 comment
Labels: general-purpose mc

#387 - Support tracking of custom threads

Issue - State: open - Opened by eupp about 2 months ago
Labels: general-purpose mc

#386 - New API for general-purpose model checking

Issue - State: open - Opened by eupp about 2 months ago - 1 comment
Labels: general-purpose mc

#385 - Writerside migration

Pull Request - State: closed - Opened by Quattro8 about 2 months ago

#384 - Incomplete trace

Issue - State: open - Opened by bbrockbernd about 2 months ago - 4 comments
Labels: bug

#383 - The same test configuration leads to different concurrent scenarios

Issue - State: open - Opened by bbrockbernd about 2 months ago
Labels: bug

#382 - Lincheck plugin does not work with `cancellableOnSuspension = false`

Issue - State: open - Opened by de-shyt about 2 months ago
Labels: bug, IJ Plugin

#381 - ClassCastException in Lincheck

Issue - State: open - Opened by bbrockbernd about 2 months ago
Labels: bug

#380 - When rerunning in the debug mode, process the failed, already minimized, scenario

Issue - State: open - Opened by ndkoval about 2 months ago
Labels: enhancement, IJ Plugin

#379 - Do not call `toString()` on `ConcurrentLinkedDeque` in the debugger

Issue - State: open - Opened by ndkoval about 2 months ago
Labels: bug, IJ Plugin

#378 - Sequential test hung, but works without lincheck

Issue - State: closed - Opened by bbrockbernd about 2 months ago - 1 comment
Labels: bug, non-determinism

#377 - Non-determinism is found

Issue - State: open - Opened by de-shyt about 2 months ago - 1 comment
Labels: bug, non-determinism

#376 - Lincheck NoClassDefFoundError

Issue - State: open - Opened by bbrockbernd about 2 months ago - 3 comments
Labels: bug

#375 - Process `kotlin.random.Random` similarly to `java.util.Random`

Pull Request - State: closed - Opened by ndkoval about 2 months ago

#374 - "Lincheck scenario" and "Lincheck state diagram" are not shown

Issue - State: open - Opened by de-shyt 2 months ago
Labels: bug, IJ Plugin

#373 - Internal index out of bounds exception

Issue - State: open - Opened by bbrockbernd 2 months ago - 2 comments
Labels: bug, duplicate

#372 - Ensure that array elements are transformed

Pull Request - State: closed - Opened by ndkoval 2 months ago

#371 - Writeside Migration (Test PR)

Pull Request - State: closed - Opened by Quattro8 2 months ago - 5 comments

#370 - Support Java memory model in the new model checker

Issue - State: open - Opened by ndkoval 2 months ago
Labels: enhancement

#369 - Internal trackers APIs

Pull Request - State: closed - Opened by eupp 3 months ago - 5 comments

#367 - In `FieldSearchHelper` skip protected or private fields that cannot be read by `Unsafe`

Pull Request - State: closed - Opened by eupp 3 months ago - 5 comments

#366 - Make some of representation tests single-threaded

Pull Request - State: closed - Opened by eupp 3 months ago - 1 comment

#365 - State diagram for coroutines is not as expected

Issue - State: open - Opened by de-shyt 3 months ago
Labels: bug, IJ Plugin

#362 - Broken Links in Documentation

Issue - State: open - Opened by egdegd 3 months ago - 1 comment

#361 - Fix resumption trace collection and printing logic

Pull Request - State: closed - Opened by eupp 3 months ago - 2 comments

#360 - Make it optional for parameter names to match named generators

Pull Request - State: open - Opened by mpdncrwd 3 months ago

#359 - Provide a DSL to declare algorithms

Issue - State: closed - Opened by CLOVIS-AI 3 months ago - 3 comments

#358 - Investigate concurrent access to `FinalFields`

Issue - State: open - Opened by ndkoval 3 months ago
Labels: bug, postponed

#357 - Fix byte array element type in the bytecode transformation code

Pull Request - State: closed - Opened by eupp 3 months ago - 2 comments

#356 - Fix typo in `AtomicMethods.kt`

Pull Request - State: closed - Opened by eupp 3 months ago

#355 - The execution has hung

Issue - State: open - Opened by de-shyt 3 months ago - 2 comments
Labels: bug, non-determinism

#353 - `ConcurrentModificationException` in `FinalFields`

Issue - State: closed - Opened by ndkoval 3 months ago
Labels: bug

#352 - Do not depend on the `bootstrap` module in tests

Pull Request - State: closed - Opened by ndkoval 3 months ago - 3 comments

#351 - Do not use Kotlin in the `bootstrap` module

Pull Request - State: closed - Opened by ndkoval 3 months ago

#349 - Do not show clocks when they don't provide any useful information

Pull Request - State: closed - Opened by ndkoval 3 months ago

#348 - Multiple suspension points support

Pull Request - State: open - Opened by avpotapov00 4 months ago - 1 comment

#347 - Support multiple suspension points

Issue - State: closed - Opened by avpotapov00 4 months ago - 1 comment

#346 - Non-determinism is found

Issue - State: closed - Opened by de-shyt 4 months ago - 2 comments
Labels: bug

#344 - Object numeration mismatch fix

Pull Request - State: open - Opened by avpotapov00 4 months ago - 1 comment

#343 - Object numeration doesn't correspond between plugin and text output

Issue - State: closed - Opened by avpotapov00 4 months ago - 4 comments
Labels: bug

#342 - [Draft] fix non-determinism

Pull Request - State: open - Opened by ndkoval 4 months ago

#341 - Make all compilation warnings errors

Pull Request - State: closed - Opened by ndkoval 4 months ago

#340 - PriorityBlockingQueue - problem with getting the field offset on a hidden class.

Issue - State: closed - Opened by Asinrus 4 months ago - 2 comments
Labels: bug

#338 - Output fixed in case of an incorrect arguments count in custom scenarios

Pull Request - State: closed - Opened by avpotapov00 4 months ago - 1 comment

#336 - Detect atomic primitive method calls dynamically

Pull Request - State: closed - Opened by eupp 5 months ago

#335 - Coverage bytecode filter

Pull Request - State: closed - Opened by dmitrii-artuhov 5 months ago

#333 - Reference to the Lincheck IDEA plugin added

Pull Request - State: open - Opened by avpotapov00 5 months ago - 1 comment

#332 - Add references to the Lincheck Idea Plugin

Issue - State: open - Opened by avpotapov00 5 months ago
Labels: IJ Plugin

#331 - Spin locks detection enchancements

Pull Request - State: closed - Opened by avpotapov00 5 months ago - 2 comments

#329 - Coverage bytecode filter

Pull Request - State: closed - Opened by dmitrii-artuhov 6 months ago - 6 comments

#328 - Enforce consistent rules of internal to canonical class name conversion

Issue - State: open - Opened by eupp 6 months ago
Labels: refactoring

#322 - Bytecode Transformation Refactoring

Pull Request - State: closed - Opened by eupp 6 months ago

#321 - "Could not self-attach to current VM using external process" in CI

Issue - State: closed - Opened by CLOVIS-AI 6 months ago - 2 comments

#318 - Create an infrastructure to debug issues caused by non-determinism

Issue - State: open - Opened by ndkoval 7 months ago
Labels: enhancement, non-determinism

#316 - Fix Java 11 performance bug

Pull Request - State: closed - Opened by eupp 7 months ago

#314 - Execution results are presented in case of any failure

Pull Request - State: closed - Opened by avpotapov00 7 months ago

#313 - Object traverser fix

Pull Request - State: closed - Opened by avpotapov00 7 months ago

#312 - Set lincheck version in tests for the plugin compatibility

Pull Request - State: closed - Opened by zuevmaxim 7 months ago

#311 - [2.30] LincheckAssertionError: The execution has hung

Issue - State: closed - Opened by ben-manes 7 months ago - 6 comments