Geeks
kframework
/
llvm-semantics
Formal semantics of LLVM IR in K
Primary Language
LLVM
llvm-semantics GitHub
Markdown
Readme
2
Issues
45
Stargazers
12
Watchers
Watchers
billhibazzz
davidlazar
MIT CSAIL
eemailme
ehildenb
ellisonch
New York, NY
grosu
University of Illinois at Urbana-Champaign
jevinskie
Lafayette, Indiana
jhcloos
liyili2
Iowa State University
pmackay1982
selmo
GTOne
traiansf
@fmi-unibuc, @ilds-institute, @pi-squared-inc