aziem/mini-invader

Toy implementation of a separation logic based program analysis

语言：OCaml · GitHub 星标：2 · Fork：1

在 GitHub 上查看原仓库