| 3 weeks ago |
fritjof@alokat.org |
Drop COPY gen/ gen/ from Dockerfile; Setup.hs regenerates it. |
diff |
| 3 weeks ago |
fritjof@alokat.org |
Add Properties.Config test module (missed in previous patch) |
diff |
| 3 weeks ago |
fritjof@alokat.org |
Security + performance hardening reconciled from Claude + Codex reviews |
diff |
| 3 weeks ago |
fritjof@alokat.org |
Redesign page header and replace nginx with Caddy |
diff |
| 3 weeks ago |
fritjof@alokat.org |
Add read-only HTTP clone endpoint for darcs repositories |
diff |
| 2026-04-15 13:50:11 |
fritjof@alokat.org |
Speed up Docker rebuilds on Pi 5 with BuildKit cache mounts. |
diff |
| 2026-04-14 10:50:57 |
fritjof@alokat.org |
Fix Dockerfile: replace BuildKit heredoc with printf for legacy builder compatibility. |
diff |
| 2026-04-14 10:00:59 |
fritjof@alokat.org |
Security hardening, modern CSS redesign, and verified CSP builder. |
diff |
| 2026-03-13 15:55:54 |
fritjof@alokat.org |
Add formal verification with Rocq and property-based testing. |
diff |
| 2026-03-11 20:27:07 |
fritjof@alokat.org |
Add diff highlighting. |
diff |
| 2026-03-11 20:22:45 |
fritjof@alokat.org |
Hardening the path evalation. |
diff |
| 2026-03-11 20:15:19 |
fritjof@alokat.org |
Add tree view to navigation and polish the date view. |
diff |
| 2026-03-11 19:58:13 |
fritjof@alokat.org |
Clean up the header. |
diff |
| 2026-03-11 19:41:54 |
fritjof@alokat.org |
Initial commit of darcs web. |
diff |
