hermit-0.7.0
54dc99b6 · Merge pull request #488 from mkroening/hermit-0.7.0 ·