| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | solver3: Upgrade by source package | Julian Andres Klode | 2026-02-17 | 1 | -31/+0 |
| * | solver3: Rename decision to assignment | Julian Andres Klode | 2026-01-05 | 1 | -2/+2 |
| * | solver3: Consider more upgrades more costly when not upgrading | Julian Andres Klode | 2025-04-04 | 1 | -4/+40 |
| * | solver3: Correctly deb822-escape error message in evaluation report | Julian Andres Klode | 2025-03-26 | 1 | -0/+35 |
| * | solver3: Avoid empty error message in evaluation crash report | Julian Andres Klode | 2025-03-20 | 1 | -1/+0 |
| * | solver3: Use zstd-compressed, base64-encoded dumps | Julian Andres Klode | 2025-03-20 | 1 | -94/+2 |
| * | solver evaluation: write minimized solver dumps | Julian Andres Klode | 2025-03-20 | 1 | -2/+3 |
| * | Print --solver 3.0 explanation if both internal and it failed | Julian Andres Klode | 2025-03-09 | 1 | -1/+20 |
| * | Evaluate and fall back to the 3.0 solver | Julian Andres Klode | 2025-03-09 | 1 | -0/+220 |
