1
I Use This!
Low Activity

Commits : Listings

Analyzed 40 minutes ago. based on code collected about 19 hours ago.
Sep 03, 2025 — Sep 03, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Testing CI (#499) More... 2 months ago
Remove license badge from README.md (#498)
RML
More... 3 months ago
Initial embedded (Arduino, FreeRTOS) support for espressif32 (#497)
RML
More... 3 months ago
CI Updates (#496) More... 3 months ago
Update Chamois-CompCert to build with latest OCaml and Coq; add upstream CompCert CI job (#495) More... 4 months ago
Add a CI job for 32-bit builds using AMD Open64 4.5.2.1 (#492) More... 4 months ago
Add Chamois-CompCert x86_64 CI test job (#493) More... 4 months ago
Update all CI tooling and regenerate all container images, etc. (#491) More... 4 months ago
v2.2.6 (#469)
RML
More... 5 months ago
Vindaloop (#467)
RML
More... 5 months ago
Srsly pharoah, let them go free. (#466)
RML
More... 5 months ago
Let the docs go free (#465)
RML
More... 5 months ago
Doxyfile reuse erased by Doxygen (#464)
RML
More... 5 months ago
Update docs, but really though (#463)
RML
More... 5 months ago
Update.... docs? (#461)
RML
More... 5 months ago
update docs (#460)
RML
More... 5 months ago
Update OSS scorecard action (#459)
RML
More... 5 months ago
fix potential leaked thread handle (#458)
RML
More... 5 months ago
CI: Use Clang 21 and GCC 15 for FreeBSD; disable OS400 syslog output (#456) More... 9 months ago
Update email address, `mcmb`, REUSE config, and copyright dates (#455) More... 9 months ago
Update Doxygen to 1.14.0 and regenerate docs (#454) More... 10 months ago
Portability: Add support for Managarm OS (#453) More... over 1 year ago
CI overhaul; update Doxygen (#452) More... over 1 year ago
Update `.editorconfig` for vendored files (#450) More... over 1 year ago
Temporarily disable MSBuild tests in Wine; simplify QNX Makefile rules (#448) More... over 1 year ago
Update tested compiler versions; add МЦСТ LCC (Elbrus C Compiler); add МЦСТ Эльбрус (E2K) architecture; improve QNX compiler detection (#445) More... over 1 year ago
Add operating system support for QNX ≳8.0 (#446) More... over 1 year ago
Update for testing Clang 18 on OpenBSD (#444) More... over 1 year ago
Workaround for `getconf` that doesn't support PATH (#443) More... almost 2 years ago
Begin 2.2.6-dev (#442) More... almost 2 years ago