Dylan Baker
|
bc532a8543
|
compilers/mixins: make compcert type safe
|
4 years ago |
Dylan Baker
|
48a181866f
|
compilers/mixins/clang: Make type safe
|
4 years ago |
Dylan Baker
|
4b52184dc6
|
compilers/mixings/gnu: make type safe
|
4 years ago |
Dylan Baker
|
bb3fe3c451
|
compilers/mixins/clike: fix mypy issues
|
4 years ago |
Dylan Baker
|
4cfddd1fe6
|
compilers/mixins/ccrx: make mypy safe
|
4 years ago |
Dylan Baker
|
c93395bfc7
|
compilers/mixins/c2000: Make mypy safe
|
4 years ago |
Dylan Baker
|
b7db3660a0
|
compilers/mixins/arm: make type safe
|
4 years ago |
Dylan Baker
|
79d1ecd5bc
|
compilers/compilers: Fully type annotate
|
4 years ago |
Dylan Baker
|
3526b36a77
|
linkers: fully type annotate and fix mypy issues
This makes GnuDynamicLinker not suitable for instantiation, so the tests
need to be changed to use the BFD class.
|
4 years ago |
Daniel Mensinger
|
23818fc5a3
|
typing: more fixes
|
4 years ago |
Daniel Mensinger
|
5deb33b03c
|
typing: update run_mypy and mypy.ini
|
4 years ago |
Daniel Mensinger
|
ca1878ffb5
|
typing: fix envconfig typing
|
4 years ago |
Daniel Mensinger
|
0490372449
|
typing: fully annotate mintro and mtest
|
4 years ago |
Daniel Mensinger
|
c637b913c9
|
typing: fully annotate mcompile, minit, and msetup
|
4 years ago |
Daniel Mensinger
|
6b1b995b32
|
typing: fully annotate fs module
|
4 years ago |
Daniel Mensinger
|
3dbfe8f75a
|
typing: fully annotate arglist
|
4 years ago |
Daniel Mensinger
|
1217cf9a3b
|
typing: fully annotate boost and hdf5 deps
|
4 years ago |
Daniel Mensinger
|
a4f4379c44
|
typing: fully annotate scripts
|
4 years ago |
Daniel Mensinger
|
0d57e307b2
|
typing: fully annotate tools
|
4 years ago |
Daniel Mensinger
|
449dd8e72a
|
typing: fully annotate wrap
|
4 years ago |
Daniel Mensinger
|
fb9738b8c7
|
typing: fully annotate mparser.py
|
4 years ago |
Daniel Mensinger
|
bb09ca9ad5
|
typing: fully annotate mesonlib.py
|
4 years ago |
Daniel Mensinger
|
ce042f318e
|
typing: Add run_mypy.py for easier mypy invocation
|
4 years ago |