| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Migrate to nix flakes, uv and pyproject toml for builds | Theofilos Augoustis | 2025-08-27 | 2 | -107/+0 |
| * | Implement online verification of symbolic backend ta/develop | Theofilos Augoustis | 2024-10-14 | 1 | -0/+74 |
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -1/+1 |
| * | Add memory storage capabilities to `ProgramState` | Theofilos Augoustis | 2023-11-27 | 1 | -0/+33 |