search

kframework / c-semantics

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

Update link to Ellison's thesis. #658

Closed jcguu95 closed 2 years ago

jcguu95 commented 2 years ago

The old link is dead.

ellisonch commented 2 years ago

Closing. Have submitted more comprehensive fix in #659