1. d93fa37 Address all pylint issues to follow style by Yuto Takano · 4 years ago
  2. 9e0e0e9 Fix Pylint-detected function argument syntax error by Yuto Takano · 4 years ago
  3. 25eeb7b Output subprocess stdout if it errored by Yuto Takano · 4 years ago
  4. cfc9e4a Change identifier regex to better support multiline declarations by Yuto Takano · 4 years ago
  5. 8f457cf Use enumerate() to get line numbers by Yuto Takano · 4 years ago
  6. a4e7512 Output line number, line, and position of error by Yuto Takano · 4 years ago
  7. 159255a Document dependency on nm by Yuto Takano · 4 years ago
  8. 13ecd99 Improve regex to adapt to flexible spaces by Yuto Takano · 4 years ago
  9. 5c1acf2 Match macros with spaces between # and define by Yuto Takano · 4 years ago
  10. d24e037 Warn user if files are excluded from search by Yuto Takano · 4 years ago
  11. 5939a2a Check environment by verifying other dirs' existence by Yuto Takano · 4 years ago
  12. 201f9e8 Make use of -v to log some debug information by Yuto Takano · 4 years ago
  13. 81528c0 Add documentation, fix identifier parsing by Yuto Takano · 4 years ago
  14. 6f38ab3 Fix legacy troublesome regex by Yuto Takano · 4 years ago
  15. fe02684 Python port of f6643ccd90694ae99d05541990b78738a8444ab0 by Yuto Takano · 4 years ago
  16. 0fd48f7 Python port of 7cc4c68eb63a24f9cbf814254cd537df819958e5 by Yuto Takano · 4 years ago
  17. 1722098 Parse identifiers from library headers: Python port of d9eee3b417c2e8f63dd10d835ab9a9472242c2ed by Yuto Takano · 4 years ago
  18. 56e3a5c Add test driver symbols: Python port of 7f13fa2454282b21930045a3f4f9a2835d80425e by Yuto Takano · 4 years ago
  19. e77f699 Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f by Yuto Takano · 4 years ago
  20. 062289c Invoke config.py instead of pl: Python port of 5d46f6a89b25603f0a77466c618213200c328510 by Yuto Takano · 4 years ago
  21. c62b408 Per-line opt-out of typo check: Python port of b6837761815e1a8f6f475be4575824fc386a08dd by Yuto Takano · 4 years ago
  22. e503d61 Remove 1.3 to 2.0 helpers: Python port of 7d48b2821808e964ab594462e419fbed0e015729 by Yuto Takano · 4 years ago
  23. 157444c Add library header files: Python port of 65a6fa3e2669cb02af5399d0f60b5bed3e62a9be by Yuto Takano · 4 years ago
  24. c763cc3 Check for double underscores: Python port of 712f7a804e391737b0e9d2593abe291f4ccb0303 by Yuto Takano · 4 years ago
  25. fa950ae Look in 3rdparty: Python port of 8a0f5bb3c11196a5bc0df6393a47e56c40adb7ac by Yuto Takano · 4 years ago
  26. bb7dca4 Work with PSA constants: Python port of 03091d1114450dd19a10215094682f14761540d9 by Yuto Takano · 4 years ago
  27. ed91cf0 Remove Yotta: Python port of 3ad2efdc82a3d15f373b9d12e6764efec3577b55 by Yuto Takano · 4 years ago
  28. c183893 Also check PSA: Python port of 2d9d6db60f5fd0a4993d90e47f39462647624ad6 by Yuto Takano · 4 years ago
  29. 3963967 Restructure check-names.py with more verbose error messages by Yuto Takano · 4 years ago
  30. 6c79b5d Keep compatibility with python versions prior to 3.5 by Darryl Green · 7 years ago
  31. d580292 Rewrite check-names.sh in python by Darryl Green · 7 years ago