/concrete_shift

Defining concrete semantics for shift in Comp Cert

No issues in this repository yet.