Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | compilers: move get_dependency_gen_args to base Compiler | Dylan Baker | 2020-10-01 | 1 | -4/+0 |
* | compilers: fully type annotate the C compilers | Dylan Baker | 2020-10-01 | 1 | -1/+1 |
* | compilers: Tell mypy that the compiler mixins are just that | Dylan Baker | 2020-09-24 | 1 | -4/+8 |
* | compilers/mixins: make compcert type safe | Dylan Baker | 2020-09-24 | 1 | -2/+6 |
* | Add support for the CompCert C Compiler | Sebastian Meyer | 2020-09-15 | 1 | -0/+127 |