harn-ir 0.8.28

CFG and invariant analysis for the Harn programming language
Documentation