diff options
| author | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-19 16:26:22 +0100 |
|---|---|---|
| committer | Theofilos Augoustis <theofilos.augoustis@gmail.com> | 2024-02-19 16:26:22 +0100 |
| commit | 67dbe17ec3dff6f4c9a508ace3f1d25cb5e9f9c8 (patch) | |
| tree | 5f3281228e39c072daee10dd6aea2267e4612f57 /src | |
| parent | 86b42b57d322837c18a47daa917a597c79ad2bbb (diff) | |
| download | focaccia-67dbe17ec3dff6f4c9a508ace3f1d25cb5e9f9c8.tar.gz focaccia-67dbe17ec3dff6f4c9a508ace3f1d25cb5e9f9c8.zip | |
Make symbolic equations more symbolic
Reduce the impact of concrete guidance on the process of calculating an instruction's symbolic equation. The resulting equations will contain less assumptions about the concrete state and thus be more generic.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions