Skip to content

Issues: e2immu/e2immu

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

25 Open 36 Closed
25 Open 36 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Improve delay breaking of modification in loops improvement Improve the existing code, tests and or documentation
#61 opened Dec 8, 2023 by bnaudts
Explicit scope computation is functional but not correct wrt 'super'
#60 opened Sep 14, 2023 by bnaudts
Inspector is sensitive to larger import cycles bug Something isn't working
#59 opened Sep 14, 2023 by bnaudts
Implement double-brace constructor block enhancement New feature or request
#58 opened Sep 7, 2023 by bnaudts
Implement common constructor block enhancement New feature or request
#57 opened Sep 7, 2023 by bnaudts
1
Modification times in MethodCall equals()
#56 opened Sep 1, 2023 by bnaudts
Precondition incorrectly generated bug Something isn't working
#55 opened Aug 31, 2023 by bnaudts
add object to ConstructorCall enhancement New feature or request
#52 opened Mar 13, 2023 by bnaudts
@bnaudts
1
SetOnceMap.putAll: propagation of the preconditions in put improvement Improve the existing code, tests and or documentation
#49 opened Apr 22, 2021 by bnaudts First Alpha Release
Implement contracted form of @Mark, @Only enhancement New feature or request
#48 opened Apr 22, 2021 by bnaudts First Alpha Release
Delay loop in annotation-store when Router.router is @Modified bug Something isn't working
#45 opened Apr 16, 2021 by bnaudts First Alpha Release
@bnaudts
Extend propagate-modification to default methods enhancement New feature or request
#43 opened Apr 14, 2021 by bnaudts First Alpha Release
Improve causesOfContextModificationDelay system
#42 opened Apr 14, 2021 by bnaudts First Alpha Release
Implement 'analyse' mode in AnnotatedAPI writing enhancement New feature or request
#40 opened Apr 12, 2021 by bnaudts First Beta release
Implement reading of companion methods for AnnotationXML in ByteCodeAnalyser enhancement New feature or request
#39 opened Apr 12, 2021 by bnaudts First Alpha Release
@Mark(contract=true) enhancement New feature or request
#38 opened Apr 10, 2021 by bnaudts First Alpha Release
Revisit utility and extension classes improvement Improve the existing code, tests and or documentation
#36 opened Apr 10, 2021 by bnaudts First Open Source Release
@bnaudts
Make examples with UnmodifiableMap and other JDK structures enhancement New feature or request
#26 opened Aug 23, 2020 by bnaudts First Alpha Release
@bnaudts
Add configuration flag to allow/disallow modifying access in subtypes enhancement New feature or request
#22 opened Aug 18, 2020 by bnaudts First Alpha Release
@bnaudts
1
@Independent definition on parameters enhancement New feature or request
#21 opened Aug 13, 2020 by bnaudts First Alpha Release
2
@BeforeMark on fields, parameters enhancement New feature or request
#20 opened Aug 13, 2020 by bnaudts First Open Source Release
@bnaudts
Get IntelliJ plugin in alpha stage, with tests of all features enhancement New feature or request
#18 opened Aug 12, 2020 by bnaudts First Alpha Release
@bnaudts
Test coverage help wanted Extra attention is needed
#3 opened Aug 9, 2020 by bnaudts First Alpha Release
@bnaudts
Reference of annotations documentation Improvements or additions to documentation
#2 opened Aug 9, 2020 by bnaudts First Open Source Release
@bnaudts
Consistent coloring scheme for annotations in IntelliJ plugin documentation Improvements or additions to documentation
#1 opened Aug 9, 2020 by bnaudts First Alpha Release
@bnaudts
ProTip! Adding no:label will show everything without a label.