| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | kernel(date): proleptic Gregorian date, validated make + arithmetic | Lukasz Kasprzak | 2026-07-31 | 2 | -5/+64 | |
| | | | | | | | | Hinnant civil<->days rep (1970-epoch rata die); make validates month/day and the 1583..9999 domain; of_rata/add_days are total arithmetic. Weekday, compare. Tested: known weekdays, leap boundaries, rejects; qcheck round-trip / add-inverse / weekday-cycle properties over random in-range dates. | |||||
| * | chore: scaffold dune project (kernel lib + cli + tests) | Lukasz Kasprzak | 2026-07-31 | 2 | -0/+8 | |
| OCaml 5.2.0 local switch; colitur_kernel library, a colitur executable stub, and an alcotest+qcheck test runner. AGPL LICENSE, README, generated colitur.opam. | ||||||
