| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Migrate to nix flakes, uv and pyproject toml for builds | Theofilos Augoustis | 2025-08-27 | 1 | -315/+0 |
| * | Read instructions directly from program memory | Theofilos Augoustis | 2024-10-13 | 1 | -0/+7 |
| * | Add support for aarch64 | Theofilos Augoustis | 2024-07-12 | 1 | -24/+61 |
| * | Make symbolic equations more symbolic | Theofilos Augoustis | 2024-02-19 | 1 | -2/+14 |
| * | Basic reproducer generator setup | Theofilos Augoustis | 2024-02-02 | 1 | -11/+27 |
| * | Refactor comparison and user-facing logic | Theofilos Augoustis | 2024-01-24 | 1 | -1/+1 |
| * | Use symbolic execution to speed up QEMU testing | Theofilos Augoustis | 2024-01-22 | 1 | -0/+33 |
| * | Refactor symbolic transformation handling | Theofilos Augoustis | 2024-01-17 | 1 | -2/+2 |
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -0/+210 |