| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Migrate to nix flakes, uv and pyproject toml for builds | Theofilos Augoustis | 2025-08-27 | 1 | -222/+0 |
| * | Rework Focaccia's command line interface | Theofilos Augoustis | 2024-02-22 | 1 | -61/+128 |
| * | Basic reproducer generator setup | Theofilos Augoustis | 2024-02-02 | 1 | -8/+46 |
| * | Extract matching algorithms into a module | Theofilos Augoustis | 2024-02-07 | 1 | -39/+3 |
| * | Refactor comparison and user-facing logic | Theofilos Augoustis | 2024-01-24 | 1 | -45/+45 |
| * | Refactor symbolic transformation handling | Theofilos Augoustis | 2024-01-17 | 1 | -38/+4 |
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -0/+187 |