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

#310 - Loop detector refactoring

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

#307 - IllegalStateException: Trying to switch the execution...

Issue - State: open - Opened by durban 7 months ago - 3 comments
Labels: bug, non-determinism

#305 - Bump minimal plugin version to 0.2

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

#304 - Exceptions provided to the plugin

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

#296 - Byte-code transformation via a dynamically attached Java agent

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

#292 - Live-locks and hangs in a validation function are not supported

Issue - State: open - Opened by ndkoval 8 months ago
Labels: bug

#288 - Don't track all Unsafe methods as atomic

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

#286 - Bug in the minimization of the initial part of a scenario

Issue - State: closed - Opened by eupp 8 months ago - 3 comments
Labels: bug

#283 - Execution hangs in test with channels

Issue - State: open - Opened by avpotapov00 9 months ago - 1 comment
Labels: bug, non-determinism

#282 - ClassCastException with dynamic reflection

Issue - State: closed - Opened by nickrobison 9 months ago - 3 comments
Labels: bug

#279 - Support `WeakReference` in model checking mode

Issue - State: open - Opened by eupp 9 months ago - 1 comment
Labels: enhancement

#276 - Remove redundant `isTestThread(..)` calles in `ManagedStrategy`

Issue - State: closed - Opened by ndkoval 9 months ago - 1 comment
Labels: enhancement

#267 - Code coverage integration

Pull Request - State: closed - Opened by dmitrii-artuhov 9 months ago - 1 comment

#264 - Trace collection in stress mode

Pull Request - State: open - Opened by eupp 10 months ago

#262 - Strategy run API refactoring

Pull Request - State: closed - Opened by eupp 10 months ago - 4 comments

#260 - Track coroutine events in arbitrary code

Issue - State: open - Opened by eupp 10 months ago - 3 comments
Labels: postponed, general-purpose mc

#257 - New model checker

Issue - State: open - Opened by ndkoval 10 months ago - 2 comments

#254 - Coverage support

Issue - State: open - Opened by ndkoval 10 months ago

#253 - Support for IntelliJ IDEA plugin

Issue - State: closed - Opened by ndkoval 10 months ago

#250 - Lincheck benchmarks

Pull Request - State: open - Opened by eupp 12 months ago - 1 comment

#244 - Add actor results to the trace in case of any failure

Issue - State: closed - Opened by avpotapov00 12 months ago

#233 - Exception message when no operations defined impoved

Pull Request - State: closed - Opened by avpotapov00 about 1 year ago

#232 - Unclear exception message when no operations defined

Issue - State: closed - Opened by avpotapov00 about 1 year ago

#231 - Specialized collections with package remapping

Pull Request - State: closed - Opened by avpotapov00 about 1 year ago - 1 comment

#228 - Spin locks detection enhancements

Pull Request - State: closed - Opened by avpotapov00 over 1 year ago - 1 comment

#192 - Add binary compatibility validator

Issue - State: open - Opened by avpotapov00 over 1 year ago

#188 - Duplicated Counter class in test code

Issue - State: closed - Opened by iluxakom over 1 year ago - 1 comment
Labels: documentation

#169 - Slf4j incompatibility

Issue - State: closed - Opened by CLOVIS-AI over 1 year ago - 4 comments
Labels: bug

#143 - Proper blocking operations support

Pull Request - State: closed - Opened by ndkoval almost 2 years ago - 1 comment

#136 - Java 9+ instrumentation without VM options

Issue - State: closed - Opened by ndkoval almost 2 years ago - 3 comments

#133 - log4j2 incompatibility

Issue - State: closed - Opened by btwilk almost 2 years ago - 4 comments
Labels: bug

#130 - model checking hangs in 2.16 on jdk 19

Issue - State: closed - Opened by ben-manes almost 2 years ago - 8 comments
Labels: bug

#122 - Support operations with multiple suspension points

Issue - State: open - Opened by alefedor about 2 years ago - 6 comments

#116 - Can not use java.util.logging in my data class?

Issue - State: closed - Opened by dapengzhang0 almost 3 years ago - 9 comments
Labels: bug

#100 - Add a nicer Options.addCustomScenario function

Pull Request - State: closed - Opened by ndkoval over 3 years ago

#99 - Provide default value in `ManagedOptions.verboseTrace(..)`

Pull Request - State: closed - Opened by ndkoval over 3 years ago

#98 - Fix the missed state equivalence message

Pull Request - State: closed - Opened by ndkoval over 3 years ago

#97 - Support thread-local randoms in Striped64

Pull Request - State: closed - Opened by ndkoval over 3 years ago

#96 - Incorrect warning about state equivalency relation

Issue - State: closed - Opened by mvicsokolova over 3 years ago - 1 comment

#95 - Do not require state equivalence implementation by default

Pull Request - State: closed - Opened by ndkoval over 3 years ago

#94 - Lincheck guide

Pull Request - State: closed - Opened by mvicsokolova over 3 years ago

#93 - Fixed OutOfMemoryError when minimizing scenario

Pull Request - State: closed - Opened by alefedor over 3 years ago

#91 - Scenario minimization causes java.lang.OutOfMemoryError

Issue - State: closed - Opened by mvicsokolova over 3 years ago - 1 comment

#90 - [PROPOSAL] Customizable scenario generator

Issue - State: closed - Opened by sh-ad over 3 years ago - 9 comments

#89 - [PROPOSAL] Smart parameter setting

Issue - State: closed - Opened by sh-ad over 3 years ago - 3 comments

#88 - Single thread crash in MC

Pull Request - State: closed - Opened by zuevmaxim over 3 years ago

#87 - [PROPOSAL] Binding a method to a separate thread

Issue - State: closed - Opened by sh-ad over 3 years ago - 6 comments

#86 - [PROPOSAL] Binding of tested operations to data

Issue - State: closed - Opened by sh-ad over 3 years ago - 1 comment

#85 - Nvm probability

Pull Request - State: closed - Opened by zuevmaxim over 3 years ago

#84 - Fix `NoSuchFieldException` when a field is inherited from an interface

Pull Request - State: closed - Opened by alefedor over 3 years ago

#83 - Handle `null`-s as results properly

Pull Request - State: closed - Opened by alefedor over 3 years ago

#82 - Fix a big in wait/notify processing in model checking

Pull Request - State: closed - Opened by alefedor over 3 years ago

#81 - How to implement `extractState()` correctly for abstract set data type?

Issue - State: closed - Opened by danwt over 3 years ago - 5 comments

#80 - Adds missing value param to example in README

Pull Request - State: closed - Opened by danwt over 3 years ago - 2 comments

#79 - Model checking implementation for NVM

Pull Request - State: closed - Opened by zuevmaxim over 3 years ago - 1 comment

#78 - Null values handled incorrectly

Issue - State: closed - Opened by ark-1 over 3 years ago - 3 comments

#77 - NoSuchFieldException for com.fasterxml.jackson.databind.ObjectMapper

Issue - State: closed - Opened by missingdays over 3 years ago - 1 comment

#75 - enable GitHub Actions CI

Pull Request - State: closed - Opened by sullis over 3 years ago - 2 comments

#74 - Fix incorrect link

Pull Request - State: closed - Opened by okue over 3 years ago - 1 comment

#73 - Fixed bug with overriden failure due to try-finally

Pull Request - State: closed - Opened by alefedor over 3 years ago

#72 - Introduce Repeatable annotation fail

Pull Request - State: closed - Opened by Krock21 almost 4 years ago

#71 - Add source code formatting rules

Issue - State: closed - Opened by Krock21 almost 4 years ago

#70 - Thread.yield should be ignored in model checking

Pull Request - State: closed - Opened by alefedor almost 4 years ago

#69 - Just to run TeamCity build

Pull Request - State: closed - Opened by Krock21 almost 4 years ago

#68 - Kotlin/Native and C/C++ support

Pull Request - State: open - Opened by Krock21 almost 4 years ago
Labels: postponed

#67 - Prompt cancellation should be emulated by cancelling the parent job

Pull Request - State: closed - Opened by ndkoval almost 4 years ago
Labels: bug

#66 - Added support of onCancellation handler for coroutine cancellation

Pull Request - State: closed - Opened by alefedor almost 4 years ago

#65 - More verbose trace for managed strategies

Pull Request - State: closed - Opened by alefedor almost 4 years ago

#64 - Fixed illegal access with package-private methods in ThreadLocalRandom

Pull Request - State: closed - Opened by alefedor almost 4 years ago
Labels: bug

#63 - Removed CheckClassAdapter for faster transformation

Pull Request - State: closed - Opened by alefedor almost 4 years ago

#62 - Improved scenario generation diversity

Pull Request - State: closed - Opened by alefedor almost 4 years ago

#61 - Distributed Algorithms

Pull Request - State: open - Opened by olgalupuleac almost 4 years ago
Labels: postponed

#60 - WIP: Stress strategy for distributed systems

Pull Request - State: closed - Opened by olgalupuleac almost 4 years ago

#59 - Perform prompt cancellation only if COROUTINE_SUSPENDED is returned

Pull Request - State: closed - Opened by ndkoval almost 4 years ago

#58 - Split blocking operations declaration

Pull Request - State: closed - Opened by ndkoval almost 4 years ago

#57 - Add prompt cancellation support

Pull Request - State: closed - Opened by ndkoval about 4 years ago

#56 - The last event that caused obstruction freedom violation should be logged

Pull Request - State: closed - Opened by alefedor about 4 years ago

#55 - The obstruction-freedom check should ignore executions with uncompleted blocking operations

Pull Request - State: closed - Opened by ndkoval about 4 years ago - 1 comment

#54 - Move from Maven to Gradle

Pull Request - State: closed - Opened by Krock21 about 4 years ago - 1 comment

#53 - Change bytecode version in .class files in .jar from 50.0(Java 6) to 52.0(Java 8)

Pull Request - State: closed - Opened by Krock21 about 4 years ago - 1 comment

#52 - Fix broken link in README.MD

Issue - State: closed - Opened by Krock21 about 4 years ago - 1 comment

#51 - add autocopyright to .idea/copyright

Pull Request - State: closed - Opened by Krock21 about 4 years ago - 1 comment

#50 - Bump junit from 4.12 to 4.13.1

Pull Request - State: closed - Opened by dependabot[bot] about 4 years ago - 2 comments
Labels: dependencies

#49 - NVM testing

Pull Request - State: open - Opened by zuevmaxim about 4 years ago - 1 comment
Labels: postponed

#47 - Add a mechanism to provide the thread number as an operation parameter

Pull Request - State: closed - Opened by ndkoval about 4 years ago

#46 - Supported serializable classes as actor parameters and results

Pull Request - State: closed - Opened by alefedor about 4 years ago

#45 - Relaxed contracts restored

Pull Request - State: open - Opened by SokolovaMaria over 4 years ago
Labels: postponed

#44 - Implemented faster executor for test thread executions

Pull Request - State: closed - Opened by alefedor over 4 years ago - 1 comment

#43 - Allow extra suspensions in the dual data structures formalism

Pull Request - State: closed - Opened by ndkoval over 4 years ago

#42 - Remove the Travis configuration and replace its badge with the Teamcity one

Issue - State: closed - Opened by ndkoval over 4 years ago - 1 comment

#41 - Fixed bug with old threads in thread dump

Pull Request - State: closed - Opened by alefedor over 4 years ago

#40 - Model checking strategy

Pull Request - State: closed - Opened by alefedor over 4 years ago - 7 comments

#39 - Separator in the configuration is a colon, not a comma

Pull Request - State: closed - Opened by aschugunov over 4 years ago