Actions: pascal-lab/Tai-e
Actions
30 workflow runs
30 workflow runs
Object.clone() in PTA for better precision for may-fail-cast
Checkstyle
#29:
Pull request #209
synchronize
by
jjppp
Options.postProcess
Checkstyle
#28:
Pull request #213
synchronize
by
jjppp
Options.postProcess
Checkstyle
#27:
Pull request #213
opened
by
jjppp
Object.clone() in PTA for better precision for may-fail-cast
Checkstyle
#26:
Pull request #209
synchronize
by
jjppp
Object.clone() in PTA for better precision for may-fail-cast
Checkstyle
#25:
Pull request #209
synchronize
by
jjppp
--create-issue-package option for convenient issue reporting
Checkstyle
#23:
Pull request #210
opened
by
jjppp
Object.clone() in PTA for better precision for may-fail-cast
Checkstyle
#22:
Pull request #209
opened
by
jjppp
Obj.getType() by caching Obj's type
Checkstyle
#21:
Pull request #205
synchronize
by
jjppp
Arrays.copyOf for non-functional arrays for soundness
Checkstyle
#20:
Pull request #191
synchronize
by
auroraberry
Arrays.copyOf for non-functional arrays for soundness
Checkstyle
#19:
Pull request #191
synchronize
by
jjppp
Obj.getType() by caching Obj's type
Checkstyle
#18:
Pull request #205
synchronize
by
jjppp