search

kframework / c-semantics

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

About c11.k #261

Closed findo closed 7 years ago

findo commented 7 years ago

Where is the c11.k ? I can't find it.

dwightguth commented 7 years ago

c11.k has been renamed to c11-cpp14.k because it contains both C and C++ now. Can you please let me know where you found reference in the documentation to c11.k so we can update it?

findo commented 7 years ago

semantics/c11/README.md