2022.04.10

https://github.com/kframework/X86-64-semantics

安装45a4243af6e4cd42a4212e5c7575e876898ec38b 时间上最接近的一个版本的包

Dec 21, 2019

K Framework Release v5.0.0-1cb24c00f

https://github.com/runtimeverification/k/releases

安装失败，18.04总是缺ocaml包

20.04安装成功，但是运行kompile.pl提示缺File::chdir模块

直接看代码吧。

看了punpckhbw_xmm_xmm.k和addb_r8_r8.k 都是来自stratification，所以还不如直接看strata？