Ecosyste.ms: Issues

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

GitHub / ilya-klyuchnikov/faba issues and pull requests

#41 - Provide Jar file with releases

Issue - State: open - Opened by Clashsoft about 8 years ago

#40 - fixpoint in solver

Issue - State: open - Opened by ilya-klyuchnikov over 9 years ago

#38 - Comparison of faba 1.1 vs 1.2

Issue - State: open - Opened by ilya-klyuchnikov about 10 years ago - 1 comment

#37 - travis build

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago

#36 - xml utility to compare results

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago

#35 - Simplest inference of `@Contract(pure=true)`

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#34 - Measure of complexity

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#33 - optimization of configurations

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: optimization

#32 - Fast interpreter

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: failed-attempt

#31 - Conservative nullable

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#30 - Nullity propagation via constraints

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 3 comments

#29 - @Nullable result

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#28 - Inference of @Pure annotations

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#27 - an attempt to combine @NotNull and @Nullable analysis

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: failed-attempt

#26 - One pass simple analysis

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#25 - Investigate @Nullable time

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 3 comments

#24 - Local solving of equations (class scale)

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#23 - Nullity propagation

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 4 comments
Labels: failed-attempt

#22 - Exposing low-level technical details of runtime

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago

#21 - Utility for testing performance

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago

#20 - Inference of @Nullable parameters

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#19 - Nullable parameters analysis

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#18 - Read-only local vars analysis

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#17 - Stable calls

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#16 - Virtual methods

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#15 - Devirtualization

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago
Labels: enhancement

#14 - Specialized solvers

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#13 - Infrastructure for tests

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment

#12 - No need for push/pop/join results

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: optimization

#11 - Get rid of duplicate transitions in control flow graph

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago
Labels: optimization

#10 - `@WeakNotNull` annotation

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: enhancement

#9 - Smart keys to use less memory

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#8 - Ad-hoc semantics

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago

#7 - Detection of stable methods

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: enhancement

#6 - Filtering redundant error transitions

Issue - State: open - Opened by ilya-klyuchnikov over 10 years ago
Labels: enhancement

#5 - Optimize single transition during analysis (shortcut driving)

Issue - State: closed - Opened by ilya-klyuchnikov over 10 years ago - 1 comment
Labels: enhancement

#4 - porting scala implementation into java

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#3 - Unification (framework) and pruning

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#2 - dump all annotations into xml, minor refactorings

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#1 - framework

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago