key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Nullness Type System for `key.core`

Open wadoon opened this issue 9 months ago • 2 comments

More nullness type system checks. Now for key.core.

I want first to merge #3399 into KeY to avoid double work.

wadoon avatar May 03 '24 15:05 wadoon