search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

PICO type check update #43

Open Ao-senXiong opened 3 months ago

Ao-senXiong commented 3 months ago

Merge with https://github.com/opprop/checker-framework-inference/pull/444.

Ao-senXiong commented 2 months ago

I have not fixed the inference part. Just comment out some outdate methods and update outdate APIs in the files.

Ao-senXiong commented 2 months ago

After this PR, we will turn on the CFI CI downstream task for PICO