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

#38 - Error message in wrong generator configuration

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

#37 - Fix LinkageError when using CancellableContinuation

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

#36 - Add validation mechanism

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

#35 - Huge refactoring

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

#34 - Multiple runtime exceptions happens when testing suspend functions

Issue - State: closed - Opened by vladimir-bukhtoyarov over 4 years ago - 6 comments
Labels: bug

#33 - Linearizability support additionally to sequential consistency

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

#32 - How to interpret green test results?

Issue - State: closed - Opened by zugzug90 almost 5 years ago - 1 comment

#31 - Make the heuristic for fixing starvation on internal spin loops adaptive

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

#30 - Updated bytecode transformation dependencies

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

#29 - Libtest tests fixed

Pull Request - State: closed - Opened by alefedor about 5 years ago - 1 comment

#28 - Memory leak in method caching fixed

Pull Request - State: closed - Opened by alefedor about 5 years ago
Labels: bug

#27 - Readme mentions that the package is a part of JCenter but it is not linked

Issue - State: closed - Opened by elizarov about 5 years ago - 1 comment

#26 - Improve scenario minimization for concurrent containers

Issue - State: closed - Opened by ndkoval about 5 years ago

#25 - Detect hanging during the parallel part execution

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

#23 - Add optional data structure validation after each invocation

Issue - State: closed - Opened by ndkoval about 5 years ago

#22 - Quantitative relaxation erased

Pull Request - State: closed - Opened by SokolovaMaria about 5 years ago

#21 - Gradle/maven instructions

Issue - State: closed - Opened by cy6erGn0m about 5 years ago - 1 comment

#20 - Make `Result` immutable

Pull Request - State: closed - Opened by SokolovaMaria about 5 years ago

#19 - Adding sequential specification for verifiers

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

#18 - Cancellation support

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

#17 - [PROPOSAL] Support for `suspend` operations cancellation

Issue - State: closed - Opened by ndkoval about 5 years ago

#16 - Fixed getting void results after invocation of kotlin Unit methods

Pull Request - State: closed - Opened by SokolovaMaria about 5 years ago

#15 - Allow `actorsAfter` being greater than 0

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

#14 - Fixed 'Class' instead of exception name in report

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

#13 - Scenario minimization

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

#12 - Kotlinize readme

Issue - State: closed - Opened by elizarov over 5 years ago

#11 - Fixed loss of exception when exception has no cause

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

#10 - Fixed bug with wrong alignment in Reporter

Pull Request - State: closed - Opened by alefedor over 5 years ago
Labels: bug

#9 - Wrong alignment in incorrect results representation

Issue - State: closed - Opened by alefedor over 5 years ago

#8 - Custom scenario DSL

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

#7 - Method loading fixed

Pull Request - State: closed - Opened by SokolovaMaria over 5 years ago
Labels: bug

#6 - Check correctness of state equivalency relation

Pull Request - State: closed - Opened by SokolovaMaria over 5 years ago

#5 - Managed strategies

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

#4 - Spinlock synchronization in parallel threads runner

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

#3 - A family of unique type generators

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

#2 - Improve incorrect results representation

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