Commits · 4e0e77683f9793cdf6433dbd5d9982c54c5e94ef · Andreas Klöckner / pytato

Browse files

May 25, 2020
- Fix docstrings regarding names · 4e0e7768
  Xiaoyu Wei authored May 25, 2020
  
  4e0e7768
- Remove NameType. Use built-in str type and str.isidentifier() to check names · 3c5daab5
  Xiaoyu Wei authored May 25, 2020
  
  3c5daab5
- Make Array.namespace abstract and read-only · a62366ce
  Xiaoyu Wei authored May 25, 2020
  
  a62366ce
- Import DottedName from pytato.typing · 3a26c654
  Xiaoyu Wei authored May 25, 2020
  
  3a26c654
- Put types in double quotes · c604292d
  Xiaoyu Wei authored May 25, 2020
  
  c604292d
- Fix metaclass syntax · 5288b3ff
  Xiaoyu Wei authored May 25, 2020
  
  5288b3ff
- Resolve merge conflicts · 0ba0ad69
  Xiaoyu Wei authored May 25, 2020
  
  0ba0ad69
- More doc/other setup · 3acabe2a
  Andreas Klöckner authored May 25, 2020
  
  3acabe2a
- Remove infix ops, mypy fixes · 87b373ce
  Xiaoyu Wei authored May 25, 2020
  
  87b373ce
- Add mypy ci job · bae72444
  Xiaoyu Wei authored May 25, 2020
  
  bae72444
- Initial README tweaks · d99268d0
  Andreas Klöckner authored May 25, 2020
  
  d99268d0
- Add doc upload script · 0dea7686
  Andreas Klöckner authored May 25, 2020
  
  0dea7686
May 24, 2020
- Flake8 fixes · f802bfa8
  Xiaoyu Wei authored May 24, 2020
  
  f802bfa8
- Re-implement without pycontract · a7dc0cfe
  Xiaoyu Wei authored May 24, 2020
  
  a7dc0cfe
- Fixes · 039eb93c
  Xiaoyu Wei authored May 23, 2020
  
  039eb93c
- Add basic contracts · 9943f855
  Xiaoyu Wei authored May 23, 2020
  
  9943f855
May 21, 2020
- Remove accidentally commited _build subdir · d95d5e80
  Matt Wala authored May 21, 2020
  
  d95d5e80
- Add link to issue · d6e65b8c
  Matt Wala authored May 21, 2020
  
  d6e65b8c
- Add test to make CI happy · f50ccb30
  Matt Wala authored May 21, 2020
  
  f50ccb30
- Actually make pylint happy · 50d72893
  Matt Wala authored May 21, 2020
  
  50d72893
- Initial commit. Bring over code from codimd, lightly edited for flake8 + pylint · 4d32c164
  Matt Wala authored May 21, 2020
  
  4d32c164