| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Refactor comparison and user-facing logic | Theofilos Augoustis | 2024-01-24 | 1 | -37/+0 |
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -2/+2 |
| * | Replace symbolic execution tools with Miasm | Theofilos Augoustis | 2023-12-07 | 1 | -235/+22 |
| * | Record symbolic transform for single instructions | Theofilos Augoustis | 2023-11-28 | 1 | -74/+132 |
| * | Add memory storage capabilities to `ProgramState` | Theofilos Augoustis | 2023-11-27 | 1 | -100/+72 |
| * | Standardize X86 register names | Theofilos Augoustis | 2023-11-26 | 1 | -35/+16 |
| * | Migrate to Miasm for concolic execution from Angr | Theofilos Augoustis | 2023-11-25 | 1 | -0/+239 |