liquidjava good first issues (Java)

Change `return` to `$result` for method return values in refinements 10 days ago

enhancement good first issue

70

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Java

#compile-time-verification#formal-methods#java#liquid-types#program-verification#refinement-types#static-analysis#type-checker#typestate#typestate-analysis

Add Debug Flag 8 months ago

enhancement good first issue

liquid-java/liquidjava

70

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Java

#compile-time-verification#formal-methods#java#liquid-types#program-verification#refinement-types#static-analysis#type-checker#typestate#typestate-analysis

Change instance variable numbers for line numbers instead of counter 11 months ago

enhancement good first issue

liquid-java/liquidjava

70

Refinement type checker for Java with liquid types and typestates - catch bugs at compile time

Java

#compile-time-verification#formal-methods#java#liquid-types#program-verification#refinement-types#static-analysis#type-checker#typestate#typestate-analysis

liquid-java/liquidjava

Open Issues Need Help