1. e77f699 Exclude FStar and Hacl: Python port of 9b33e7d7d7426e3d7f27cd7d206765ae33e3e61f by Yuto Takano · 4 years ago
  2. 062289c Invoke config.py instead of pl: Python port of 5d46f6a89b25603f0a77466c618213200c328510 by Yuto Takano · 4 years ago
  3. c62b408 Per-line opt-out of typo check: Python port of b6837761815e1a8f6f475be4575824fc386a08dd by Yuto Takano · 4 years ago
  4. e503d61 Remove 1.3 to 2.0 helpers: Python port of 7d48b2821808e964ab594462e419fbed0e015729 by Yuto Takano · 4 years ago
  5. 157444c Add library header files: Python port of 65a6fa3e2669cb02af5399d0f60b5bed3e62a9be by Yuto Takano · 4 years ago
  6. c763cc3 Check for double underscores: Python port of 712f7a804e391737b0e9d2593abe291f4ccb0303 by Yuto Takano · 4 years ago
  7. fa950ae Look in 3rdparty: Python port of 8a0f5bb3c11196a5bc0df6393a47e56c40adb7ac by Yuto Takano · 4 years ago
  8. bb7dca4 Work with PSA constants: Python port of 03091d1114450dd19a10215094682f14761540d9 by Yuto Takano · 4 years ago
  9. ed91cf0 Remove Yotta: Python port of 3ad2efdc82a3d15f373b9d12e6764efec3577b55 by Yuto Takano · 4 years ago
  10. c183893 Also check PSA: Python port of 2d9d6db60f5fd0a4993d90e47f39462647624ad6 by Yuto Takano · 4 years ago
  11. 3963967 Restructure check-names.py with more verbose error messages by Yuto Takano · 4 years ago
  12. 6c79b5d Keep compatibility with python versions prior to 3.5 by Darryl Green · 7 years ago
  13. d580292 Rewrite check-names.sh in python by Darryl Green · 7 years ago