-
Nikolas Haugrud authored
change java compile source to 1.6 for stp-jni, and add option to ocamlopt to pass -static flag when making cfganalyzer for java 11 compatibility
Nikolas Haugrud authoredchange java compile source to 1.6 for stp-jni, and add option to ocamlopt to pass -static flag when making cfganalyzer for java 11 compatibility
Loading