Skip to content

Issues: opprop/checker-framework-inference

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

60 Open 28 Closed
60 Open 28 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Annotation-tools' dependency org.plumelib:options version update
#436 opened Jan 24, 2024 by Ao-senXiong
Add support to install lithium automatically
#433 opened Dec 7, 2023 by Ao-senXiong
@Ao-senXiong
No VarAnnot insert if reserve class order
#432 opened Dec 2, 2023 by Ao-senXiong
Miss locations for variable declaration inside method
#431 opened Dec 2, 2023 by Ao-senXiong
OutOfMemory error raised when running Junit test
#418 opened Apr 7, 2023 by AndrewShf
getDefaultAnnotation() stores the wrong default
#404 opened Jun 27, 2022 by piyush-J
VariableSlot.getLocation() is nullable
#383 opened Feb 9, 2022 by zcai1
JSON serializer/deserializer for arithmetic/comparison constraints
#378 opened Jan 24, 2022 by d367wang
InferenceTransfer caching
#374 opened Dec 23, 2021 by wmdietl
Remove Slot.getKind method
#350 opened Aug 18, 2021 by zcai1
Slots inappropriately created for type variable use within type parameter declaration
#347 opened Jul 30, 2021 by d367wang
Missing locations introduced by artificial tree paths
#346 opened Jul 30, 2021 by d367wang
Type validation for class tree
#333 opened Jun 2, 2021 by d367wang
Adapt CFG translation for NewClassTree
#332 opened Jun 1, 2021 by d367wang
Clarify the definition of VariableAnnotator.treeToVarAnnoPair
#329 opened May 21, 2021 by d367wang
New timing for generating refinement constraints
#316 opened Mar 30, 2021 by d367wang
Invalid result of inferring parameterized type
#310 opened Mar 9, 2021 by d367wang
Investigate JavaSMT solver interface
#274 opened Jul 22, 2020 by wmdietl
@Ao-senXiong
1
Wrong dependency of JUnit in checker-framework-inference.jar. bug
#243 opened Nov 19, 2019 by xingweitian
Enable conflicting annotations check in CFI
#223 opened Apr 26, 2019 by jyluo
Enable type validation in CFI
#222 opened Apr 26, 2019 by jyluo
Constraints need to be hashed correctly bug
#206 opened Jan 21, 2019 by jyluo
1
@jyluo
Pre-solve equality constraints to reduce number of constraint variables hitting back end solvers
#205 opened Jan 21, 2019 by jyluo
Rename package structure to match CF
#204 opened Jan 21, 2019 by jyluo
Improve qualifier formatting outputted for InferenceVisitor commonAssignmentCheck
#202 opened Jan 6, 2019 by jyluo
1
ProTip! Exclude everything labeled bug with -label:bug.