Search results

Improve delay breaking of modification in loops

improvementImprove the existing code, tests and or documentationImprove the existing code, tests and or documentation

Status: Open.

#61 In e2immu/e2immu;

· bnaudts opened on Dec 8, 2023

Explicit scope computation is functional but not correct wrt 'super'

Status: Open.

#60 In e2immu/e2immu;

· bnaudts opened on Sep 14, 2023

Inspector is sensitive to larger import cycles

bugSomething isn't workingSomething isn't working

Status: Open.

#59 In e2immu/e2immu;

· bnaudts opened on Sep 14, 2023

Implement double-brace constructor block

enhancementNew feature or requestNew feature or request

Status: Open.

#58 In e2immu/e2immu;

· bnaudts opened on Sep 7, 2023

Implement common constructor block

enhancementNew feature or requestNew feature or request

Status: Open.

#57 In e2immu/e2immu;

· bnaudts opened on Sep 7, 2023

Modification times in MethodCall equals()

Status: Open.

#56 In e2immu/e2immu;

· bnaudts opened on Sep 1, 2023

Precondition incorrectly generated

bugSomething isn't workingSomething isn't working

Status: Open.

#55 In e2immu/e2immu;

· bnaudts opened on Aug 31, 2023

add object to ConstructorCall

enhancementNew feature or requestNew feature or request

Status: Open.

#52 In e2immu/e2immu;

· bnaudts opened on Mar 13, 2023

SetOnceMap.putAll: propagation of the preconditions in put

improvementImprove the existing code, tests and or documentationImprove the existing code, tests and or documentation

Status: Open.

#49 In e2immu/e2immu;

· bnaudts opened on Apr 22, 2021

·  

First Alpha Release

Implement contracted form of @Mark, @Only

enhancementNew feature or requestNew feature or request

Status: Open.

#48 In e2immu/e2immu;

· bnaudts opened on Apr 22, 2021

·  

First Alpha Release

Delay loop in annotation-store when Router.router is @Modified

bugSomething isn't workingSomething isn't working

Status: Open.

#45 In e2immu/e2immu;

· bnaudts opened on Apr 16, 2021

·  

First Alpha Release

Extend propagate-modification to default methods

enhancementNew feature or requestNew feature or request

Status: Open.

#43 In e2immu/e2immu;

· bnaudts opened on Apr 14, 2021

·  

First Alpha Release