|
|
|---|
|
|
|
|---|
An ACL2 library for C.
This is a library that is being populated with:
The library may also extended with more C-related formalizations and tools.
This library is based on the ISO/IEC 9899:2018 specification of C. In the documentation of this library, this standard is referenced as `[C]'; sections are referenced by appending their designations separated by colon, e.g. `[C:6.2.6]' references Section 6.2.6; paragraphs are referenced by further appending their numbers separated by slash, e.g. `[C:6.2.5/2]' references Paragraph 2 of Section 6.2.5. These square-bracketed references may be used as nouns or parenthetically.