diff options
| author | Theofilos Augoustis <37243696+taugoust@users.noreply.github.com> | 2025-11-06 18:29:24 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-06 18:29:24 +0100 |
| commit | 63f7658197adbe435b8e54394a754ba192dd8065 (patch) | |
| tree | 8a99c305d0f27a50a70c2d4f4894e8f7f17cb15b /tools/verify_qemu.py | |
| parent | 7d7809942b1ced69919ded58aaa3fa2472594af3 (diff) | |
| parent | 337ccd2a6bce915d7f149df707796e51f886b7b8 (diff) | |
| download | focaccia-63f7658197adbe435b8e54394a754ba192dd8065.tar.gz focaccia-63f7658197adbe435b8e54394a754ba192dd8065.zip | |
Merge pull request #14 from TUM-DSE/ta/speculative-tracing
Refactor entire tracing implementation to implement deterministic, speculative and timebound tracing. This forms the basic infrastructure for supporting large-scale non-deterministic programs.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions