| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Refactor project structure | Theofilos Augoustis | 2023-12-31 | 1 | -180/+0 |
| * | Adapt symbolic compare to new transform interface | Theofilos Augoustis | 2023-12-08 | 1 | -10/+41 |
| * | Replace symbolic execution tools with Miasm | Theofilos Augoustis | 2023-12-07 | 1 | -3/+17 |
| * | Record symbolic transform for single instructions | Theofilos Augoustis | 2023-11-28 | 1 | -1/+22 |
| * | Add memory storage capabilities to `ProgramState` | Theofilos Augoustis | 2023-11-27 | 1 | -54/+48 |
| * | Migrate to Miasm for concolic execution from Angr | Theofilos Augoustis | 2023-11-25 | 1 | -0/+120 |