Age | Commit message (Expand) | Author |
---|---|---|
2022-12-19 | *.scm: Use SPDX license identifiers. | Jonathan Brielmaier |
2022-10-24 | nongnu: compcert: Fix build with coq@8.16.0. | Jonathan Brielmaier |
2022-08-09 | nongnu: compcert: Update to 3.11. | Jonathan Brielmaier |
2022-05-26 | nongnu: compcert: Remove input labels. | Jonathan Brielmaier |
2022-05-26 | nongnu: compcert: Allow build against newer coq version. | Jonathan Brielmaier |
2021-12-17 | nongnu: compcert: Update to 3.10. | Jonathan Brielmaier |
2021-10-27 | nongnu: compcert: Update to 3.9. | Jonathan Brielmaier |
2021-02-02 | nongnu: Add missing copyright headers for Isaac and me. | Jonathan Brielmaier |
2021-02-02 | nongnu: compcert: Update to 3.8. | Isaac Young |
2020-04-11 | nongnu: compcert: Build for arm-eabihf on arm. | Timotej Lazar |
2020-04-11 | nongnu: compcert: Fix a non-exhaustive match. | Timotej Lazar |
2020-04-04 | nongnu: Add compcert. | Julien Lepiller |