Search results

Support immutability from freeze (builder) pattern

Status: Open.

#64 In opprop/immutability;

· aosen-xiong opened on Dec 23, 2024

[Typecheck] Redundant check of invalid type annotation

Status: Open.

#60 In opprop/immutability;

· aosen-xiong opened on Jul 17, 2024

Methods called from <code>toString</code> need a readonly receiver type

Status: Open.

#59 In opprop/immutability;

· Shreyas-BS opened on Jun 30, 2024

Crash errors of PICO-aosen-master

Status: Open.

#57 In opprop/immutability;

· aosen-xiong opened on Jun 24, 2024

Default switch option <code>Mutable</code> to <code>Immutable</code>

Status: Open.

#56 In opprop/immutability;

· aosen-xiong opened on Jun 13, 2024

Raw type in error message

Status: Open.

#55 In opprop/immutability;

· aosen-xiong opened on Jun 5, 2024

Create Javadoc for PICO's source code

Status: Open.

#54 In opprop/immutability;

· aosen-xiong opened on May 31, 2024

·  

Javadoc

Understand where PICO should report error

Status: Open.

#53 In opprop/immutability;

· aosen-xiong opened on May 31, 2024

·  

PICO error issue location

System.out.println is creating error with @Immutable type and @Readonly type

Status: Open.

#50 In opprop/immutability;

· Shreyas-BS opened on May 30, 2024

[Test] Record class in Java17

Status: Open.

#49 In opprop/immutability;

· aosen-xiong opened on May 8, 2024

Immutable field annotation interact with initialization checker

Status: Open.

#42 In opprop/immutability;

· aosen-xiong opened on Mar 5, 2024

Annotation-tools cannot insert anno to array variable with initializer

Status: Open.

#22 In opprop/immutability;

· lnsun opened on Apr 12, 2021