jasmin.linter
Linter.DeadVariables
jasmin.jasmin
jasmin.uint63
jasmin.uint63-js
jasmin.uint63-native
val check_prog : (LivenessAnalyser.domain Annotation.annotation, 'asm) Jasmin.Prog.prog -> CompileError.t list
Dead Variable Checker : This module check if an affected variable is used in the program.