Starting to do semantics of the armv4 language in kframework
Merge branch 'master' of github.com:svrin/armv4-semantics