Commits · b6e9115a104c4af7bab76373f977f89b35b5dda3 · Andreas Klöckner / pytato

Browse files

May 27, 2020
- More checks relocated · b6e9115a
  Xiaoyu Wei authored May 27, 2020
  
  b6e9115a
- Relocate assertions from constructors into make_* functions · 71330614
  Xiaoyu Wei authored May 27, 2020
  
  71330614
May 25, 2020
- Symbol table fixes · 5deb7e94
  Xiaoyu Wei authored May 25, 2020
  
  5deb7e94
- Make symbol_table read-only · 5922d2cd
  Xiaoyu Wei authored May 25, 2020
  
  5922d2cd
- Let sphinx properly parse type hints · 5e57e977
  Xiaoyu Wei authored May 25, 2020
  
  5e57e977
- 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