Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-07-12 | Replace some type comments with annotations | Tristan Partin | 1 | -15/+16 |
2023-03-23 | asm: Add sx extension | Renan Lavarec | 1 | -0/+1 |
2022-11-27 | Add warning_level=everything | David Robillard | 1 | -1/+2 |
2022-10-09 | compilers: Add optimization=plain option | Jan Tojnar | 1 | -0/+1 |
2022-08-24 | fix linker regression for compilers that don't accept LDFLAGS directly | Eli Schwartz | 1 | -1/+4 |
2022-04-13 | compilers: fix broken CompCert support for release flags | Eli Schwartz | 1 | -1/+1 |
2022-01-10 | compilers: push the compiler id to a class variable | Dylan Baker | 1 | -1/+2 |
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 |