opprop immutability issues

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

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[Typecheck] Lost qualifier for PICO

#63 Ao-senXiong opened 4 months ago
0
[Typecheck] Definite assignment check in PICO

#62 Ao-senXiong opened 4 months ago
0
[Typecheck] Assignablilty modifier conflict on primitive type

#61 Ao-senXiong opened 4 months ago
1
[Typecheck] Redundant check of invalid type annotation

#60 Ao-senXiong opened 4 months ago
1
Methods called from `toString` need a readonly receiver type

#59 Shreyas-BS opened 5 months ago
3
Use git-scripts in addition to plume-scripts

#58 Ao-senXiong opened 5 months ago
0
Crash errors of PICO-aosen-master

#57 Ao-senXiong opened 5 months ago
0
Default switch option `Mutable` to `Immutable`

#56 Ao-senXiong opened 5 months ago
1
Raw type in error message

#55 Ao-senXiong opened 6 months ago
1
Create Javadoc for PICO's source code

#54 Ao-senXiong opened 6 months ago
0
Understand where PICO should report error

#53 Ao-senXiong opened 6 months ago
2
Rename ReceiverDependantMutable to ReceiverDependentMutable

#52 Ao-senXiong opened 6 months ago
0
PICO inference part

#51 Ao-senXiong opened 6 months ago
0
System.out.println is creating error with @Immutable type and @Readonly type

#50 Shreyas-BS opened 6 months ago
1
[Test] Record class in Java17

#49 Ao-senXiong opened 7 months ago
0
Add some examples

#48 wmdietl opened 7 months ago
3
RDM and initialization spec discussion

#47 Ao-senXiong closed 7 months ago
1
Raise error location discussion

#46 Ao-senXiong closed 7 months ago
1
Update JavaExamples.java

#45 Ao-senXiong closed 7 months ago
1
Add reference to previous thesis

#44 Ao-senXiong opened 7 months ago
0
PICO type check update

#43 Ao-senXiong opened 7 months ago
2
Immutable field annotation interact with initialization checker

#42 Ao-senXiong opened 9 months ago
2
Bump slf4j-api from 1.7.30 to 2.0.6

#41 dependabot[bot] opened 1 year ago
0
Bump slf4j-api from 1.7.30 to 2.0.5

#40 dependabot[bot] closed 1 year ago
1
Bump slf4j-api from 1.7.30 to 2.0.4

#39 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 2.0.3

#38 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 2.0.2

#37 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 2.0.1

#36 dependabot[bot] closed 2 years ago
1
Typecheck Fix

#35 AndrewShf opened 2 years ago
0
Bump slf4j-api from 1.7.30 to 2.0.0

#34 dependabot[bot] closed 2 years ago
1
Add license

#33 wmdietl closed 2 years ago
7
Split CI into smaller jobs; add module flags

#32 AndrewShf closed 2 years ago
0
Change Travis CI to GitHub Actions

#31 AndrewShf closed 2 years ago
0
All commits

#30 AndrewShf closed 2 years ago
1
Sync opprop pico with lnsun pico #1

#29 AndrewShf opened 2 years ago
0
Bump slf4j-api from 1.7.30 to 1.7.36

#28 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 1.7.35

#27 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 1.7.33

#26 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 1.7.32

#25 dependabot[bot] closed 2 years ago
1
Bump slf4j-api from 1.7.30 to 1.7.31

#24 dependabot[bot] closed 3 years ago
1
Upgrade to GitHub-native Dependabot

#23 dependabot-preview[bot] closed 3 years ago
0
Annotation-tools cannot insert anno to array variable with initializer

#22 lnsun opened 3 years ago
0
Batch renaming&removal of updated API

#21 lnsun opened 3 years ago
0
Adding Glacier and ReImInfer test cases

#20 lnsun opened 3 years ago
0
Bump junit from 4.13 to 4.13.2

#19 dependabot-preview[bot] closed 3 years ago
0
Bump org.ow2.sat4j.core from 2.3.5 to 2.3.6

#18 dependabot-preview[bot] closed 3 years ago
0
Bump org.ow2.sat4j.maxsat from 2.3.5 to 2.3.6

#17 dependabot-preview[bot] closed 3 years ago
0
Bump junit from 4.13 to 4.13.1

#16 dependabot-preview[bot] closed 3 years ago
1
Bump junit from 4.12 to 4.13

#15 dependabot-preview[bot] closed 4 years ago
0
Bump slf4j-api from 1.7.29 to 1.7.30

#14 dependabot-preview[bot] closed 3 years ago
0