- Notifications
You must be signed in to change notification settings - Fork70
Commit057c684
committed
Add mad generator for the C++ Standard Library
This repurposes the existing module generator to instead generate a madfile for the C++ standard library. It makes the following changes: * Omits names outside the `std` namespace (as they cannot be distinguished from system headers). * Removes the macro query, and adds member variable and type models instead. * Move to a new generator directory. * Update the script to generate a mad file instead of a .qll file.1 parent1554d78 commit057c684
File tree
19 files changed
+5352
-147
lines changed- cpp/common/src/ext
- scripts
- generate_modules
- queries
- templates
- generate_standard_library_models/cpp
- queries
- source
19 files changed
+5352
-147
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
7 | | - | |
| 7 | + | |
8 | 8 | | |
9 | 9 | | |
Large diffs are not rendered by default.
This file was deleted.
Lines changed: 0 additions & 11 deletions
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Lines changed: 2 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
3 | 2 | | |
4 | | - | |
| 3 | + | |
5 | 4 | | |
6 | 5 | | |
7 | 6 | | |
8 | 7 | | |
9 | | - | |
| 8 | + | |
10 | 9 | | |
11 | 10 | | |
12 | 11 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
Lines changed: 29 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
0 commit comments
Comments
(0)