search

kframework / c-semantics

Semantics of C in K
Other
306 stars 41 forks source link

Remove some instances of the `[structural]` attribute on contexts #623

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

These instances could be replaced by higher priorityheat/cool rule pairs, but that is a problem in the LLVM backend.