Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make mypy succeed with imports on master.py | Aldo Cortesi | 2017-03-17 | 1 | -6/+6 |
* | Revamp options | Aldo Cortesi | 2017-03-05 | 1 | -14/+5 |
* | increase test coverage | Thomas Kriechbaumer | 2017-02-02 | 1 | -0/+1 |
* | fix IO type checking | Maximilian Hils | 2016-12-28 | 1 | -0/+2 |
* | fix compat with Python 3.5.0 | Maximilian Hils | 2016-12-28 | 1 | -8/+13 |
* | py36: fix type information | Thomas Kriechbaumer | 2016-12-27 | 1 | -7/+20 |
* | Extend type checker validate Sequence specs | Aldo Cortesi | 2016-12-12 | 1 | -6/+12 |
* | fix type checks | Maximilian Hils | 2016-11-16 | 1 | -2/+2 |
* | typecheck options, fix current inconsistencies | Maximilian Hils | 2016-10-25 | 1 | -0/+54 |