kframework / c-semantics

Semantics of C in K
Other
303 stars 40 forks source link

Sync llvm backend and add rverror K implementation #618

Closed dwightguth closed 4 years ago

dwightguth commented 4 years ago

I am trying to get all my K code dealing with error reporting merged upstream, and that means getting the semantics in master as close to what it is in the llvm backend as possible. So we sync the remaining differences from the lastest branch and also append some (but not all) of the changes to the c semantics relating to error reporting.