1. 201f9e8 Make use of -v to log some debug information by Yuto Takano · 4 years ago
  2. 81528c0 Add documentation, fix identifier parsing by Yuto Takano · 4 years ago
  3. 6f38ab3 Fix legacy troublesome regex by Yuto Takano · 4 years ago
  4. fe02684 Python port of f6643ccd90694ae99d05541990b78738a8444ab0 by Yuto Takano · 4 years ago
  5. 0fd48f7 Python port of 7cc4c68eb63a24f9cbf814254cd537df819958e5 by Yuto Takano · 4 years ago
  6. 1722098 Parse identifiers from library headers: Python port of d9eee3b417c2e8f63dd10d835ab9a9472242c2ed by Yuto Takano · 4 years ago
  7. 56e3a5c Add test driver symbols: Python port of 7f13fa2454282b21930045a3f4f9a2835d80425e by Yuto Takano · 4 years ago
  8. e77f699 Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f by Yuto Takano · 4 years ago
  9. 062289c Invoke config.py instead of pl: Python port of 5d46f6a89b25603f0a77466c618213200c328510 by Yuto Takano · 4 years ago
  10. c62b408 Per-line opt-out of typo check: Python port of b6837761815e1a8f6f475be4575824fc386a08dd by Yuto Takano · 4 years ago
  11. e503d61 Remove 1.3 to 2.0 helpers: Python port of 7d48b2821808e964ab594462e419fbed0e015729 by Yuto Takano · 4 years ago
  12. 157444c Add library header files: Python port of 65a6fa3e2669cb02af5399d0f60b5bed3e62a9be by Yuto Takano · 4 years ago
  13. c763cc3 Check for double underscores: Python port of 712f7a804e391737b0e9d2593abe291f4ccb0303 by Yuto Takano · 4 years ago
  14. fa950ae Look in 3rdparty: Python port of 8a0f5bb3c11196a5bc0df6393a47e56c40adb7ac by Yuto Takano · 4 years ago
  15. bb7dca4 Work with PSA constants: Python port of 03091d1114450dd19a10215094682f14761540d9 by Yuto Takano · 4 years ago
  16. ed91cf0 Remove Yotta: Python port of 3ad2efdc82a3d15f373b9d12e6764efec3577b55 by Yuto Takano · 4 years ago
  17. c183893 Also check PSA: Python port of 2d9d6db60f5fd0a4993d90e47f39462647624ad6 by Yuto Takano · 4 years ago
  18. 3963967 Restructure check-names.py with more verbose error messages by Yuto Takano · 4 years ago
  19. 6c79b5d Keep compatibility with python versions prior to 3.5 by Darryl Green · 7 years ago
  20. d580292 Rewrite check-names.sh in python by Darryl Green · 7 years ago