Yuto Takano
|
17220988dc
|
Parse identifiers from library headers: Python port of d9eee3b417
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
56e3a5caa6
|
Add test driver symbols: Python port of 7f13fa2454
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
e77f699ed5
|
Exclude FStar and Hacl: Python port of 9b33e7d7d7
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
062289c657
|
Invoke config.py instead of pl: Python port of 5d46f6a89b
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
c62b4084a2
|
Per-line opt-out of typo check: Python port of b683776181
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
e503d61b99
|
Remove 1.3 to 2.0 helpers: Python port of 7d48b28218
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
157444c24d
|
Add library header files: Python port of 65a6fa3e26
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
c763cc368f
|
Check for double underscores: Python port of 712f7a804e
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
fa950ae344
|
Look in 3rdparty: Python port of 8a0f5bb3c1
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
bb7dca495f
|
Work with PSA constants: Python port of 03091d1114
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
ed91cf003a
|
Remove Yotta: Python port of 3ad2efdc82
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
c1838937f1
|
Also check PSA: Python port of 2d9d6db60f
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Yuto Takano
|
3963967ebc
|
Restructure check-names.py with more verbose error messages
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:07:39 +01:00 |
|
Darryl Green
|
6c79b5dce7
|
Keep compatibility with python versions prior to 3.5
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:04:36 +01:00 |
|
Darryl Green
|
d5802926d9
|
Rewrite check-names.sh in python
Signed-off-by: Yuto Takano <yuto.takano@arm.com>
|
2021-08-06 21:04:26 +01:00 |
|