You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This directory contains a script for generating a models-as-data file from a plain text file containing standard library definitions copied from Appendix B of the C Programming Language standard.
4
4
5
5
### How to use
6
6
7
7
1. Download a PDF of the desired C programming language standard.
8
8
2. Copy each page individually into a text file (avoiding copying headers and footers).
9
-
3. Run `python3 generate_standard_library_models.py <lang-standard> <path-to-text-file> <output-file>`
9
+
3. Run `python3 generate_c_standard_library_models.py <lang-standard> <path-to-input-text-file>`
10
+
11
+
After running the script, an models-as-data file will be written to the cpp/common pack including the standard library definitions.
0 commit comments