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