issues
search
opprop
/
checker-framework-inference
Inference of pluggable types for Java
6
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Remove usage of deprecated fromNewClass method
#403
al3xliu
closed
2 years ago
1
Use standalone z3-turnkey dependency instead of jar files
#402
zcai1
closed
2 years ago
3
Resolve Downstream Ontology Issue
#401
al3xliu
closed
2 years ago
0
Solve Downstream Test Ontology Issue
#400
al3xliu
closed
2 years ago
0
Default annotation to source code
#399
piyush-J
opened
2 years ago
0
Update to Z3 version 4.8.17
#398
wmdietl
closed
2 years ago
1
Keep ub/lb when calling removeAnnotation
#397
al3xliu
closed
2 years ago
0
Convert build scripts to Kotlin
#396
zcai1
opened
2 years ago
1
Update to eisop master 2022-07-03
#395
wmdietl
closed
2 years ago
0
Fix type declaration bounds in inference
#394
zcai1
opened
2 years ago
0
mainIsSubtype should check subtyping of qualifiers, not equality
#393
AndrewShf
closed
2 years ago
1
Expand Kind to Tree.Kind
#392
wmdietl
closed
2 years ago
0
Changes for updates from eisop
#391
zcai1
closed
2 years ago
1
Bump guava from 31.0.1-jre to 31.1-jre
#390
dependabot[bot]
closed
2 years ago
0
Support refinement for conditions of comparisons
#389
d367wang
opened
2 years ago
0
Get arithmetic operation kind for compound assignments
#388
d367wang
closed
2 years ago
1
Fix ci-build-without-test not found issue in some environments
#387
zcai1
closed
2 years ago
0
Bump gson from 2.8.9 to 2.9.0
#386
dependabot[bot]
closed
2 years ago
0
Avoid reading type info from trees that are not being processed
#385
zcai1
closed
2 years ago
0
Update to setup-java@v2
#384
wmdietl
closed
2 years ago
0
`VariableSlot.getLocation()` is nullable
#383
zcai1
opened
2 years ago
0
Added `GeneticMaxSatSolver`
#382
piyush-J
opened
2 years ago
0
Fix polymorphism check and introduce the concept of `PolymorphicInstanceSlot`
#381
zcai1
closed
2 years ago
0
Update qualifier hierarchy of sparta checker
#380
zcai1
closed
2 years ago
0
Remove unnecessary handling of explicit extends/implements clauses
#379
piyush-J
closed
2 years ago
0
JSON serializer/deserializer for arithmetic/comparison constraints
#378
d367wang
opened
2 years ago
0
Fix false-positive type checking error
#377
wmdietl
closed
2 years ago
0
`MaxSatSolver` now uses the weights of `PreferenceConstraint` instead of the default weight
#376
piyush-J
closed
2 years ago
0
Bump com.github.johnrengelman.shadow from 7.1.0 to 7.1.2
#375
dependabot[bot]
closed
2 years ago
0
InferenceTransfer caching
#374
wmdietl
opened
2 years ago
0
Add comparison infrastructure
#373
d367wang
closed
2 years ago
0
Update Z3SmtSoftConstraintEncoder
#372
d367wang
closed
2 years ago
0
Add operations to `ArithmeticOperationKind`
#371
d367wang
closed
2 years ago
0
Code refactor
#370
d367wang
closed
2 years ago
0
Bump com.github.johnrengelman.shadow from 7.1.0 to 7.1.1
#369
dependabot[bot]
closed
2 years ago
1
Fix `mainIs` to also work in inference mode
#368
piyush-J
closed
2 years ago
0
Add universe as a downstream test
#367
piyush-J
closed
2 years ago
0
Fix crash when an interface contains an array literal
#366
d367wang
closed
2 years ago
0
Bump gson from 2.8.8 to 2.8.9
#365
dependabot[bot]
closed
2 years ago
0
Update requirements.txt
#364
piyush-J
closed
2 years ago
0
changed access modifier of getOrCreateDeclBound() to protected
#363
piyush-J
closed
2 years ago
0
Duplicate element ATM before get/put
#362
d367wang
opened
2 years ago
0
Bump com.github.johnrengelman.shadow from 7.0.0 to 7.1.0
#361
dependabot[bot]
closed
2 years ago
0
Do not apply viewpoint adapter to executable elements twice
#360
piyush-J
closed
2 years ago
1
Minor print fixes
#359
piyush-J
closed
2 years ago
0
Bump guava from 30.1.1-jre to 31.0.1-jre
#358
dependabot[bot]
closed
2 years ago
0
Bump guava from 30.1.1-jre to 31.0-jre
#357
dependabot[bot]
closed
2 years ago
1
For GUT compatibility and minor print fixes
#356
piyush-J
closed
2 years ago
0
Eisop 3.18 update
#355
zcai1
closed
2 years ago
0
Always clone related do-like-javac
#354
zcai1
closed
2 years ago
1
Previous
Next