about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #29 from TUM-DSE/ck/fix-det HEAD mainTheofilos Augoustis13 days2-2/+5
|\
| * Fix script in case of non-rr ck/fix-detChristian Krinitsin2025-11-212-2/+5
|/
* Merge pull request #28 from TUM-DSE/ta/fixesTheofilos Augoustis2025-11-202-4/+5
|\
| * Fix incorrect matching for first state ta/fixesTheofilos Augoustis2025-11-191-0/+1
| * Fix parsing of signalsTheofilos Augoustis2025-11-192-4/+4
|/
* Merge pull request #27 from TUM-DSE/ta/emu-replayTheofilos Augoustis2025-11-1919-779/+1185
|\
| * Only handle events when tracing ta/emu-replayTheofilos Augoustis2025-11-181-11/+10
| * Reintroduce support for emulating getrandomTheofilos Augoustis2025-11-181-6/+15
| * Add basic QEMU section reading capabilitiesTheofilos Augoustis2025-11-182-5/+72
| * Retrieve all mappings at onceTheofilos Augoustis2025-11-181-16/+17
| * Refactor iteration interface over eventsTheofilos Augoustis2025-11-183-111/+176
| * Refactor event tracing in QEMU toolTheofilos Augoustis2025-11-1410-100/+182
| * Refactor iteration over events in native tracerTheofilos Augoustis2025-11-144-46/+95
| * Rebase syscall overwritesReimersS2025-11-141-21/+17
| * Deterministic replay (single threaded, no memory)ReimersS2025-11-146-8/+125
| * Use a stub module to abstract-away handling of the deterministic log as an op...Theofilos Augoustis2025-11-143-379/+401
| * Move matching functionality out of event (cannot rely on entire program state...Theofilos Augoustis2025-11-132-13/+14
| * Move QEMU to its own backend directoryTheofilos Augoustis2025-11-134-3/+4
| * Move native backend under dedicated moduleTheofilos Augoustis2025-11-135-355/+352
|/
* Merge pull request #25 from TUM-DSE/ta/json-dumpsTheofilos Augoustis2025-11-123-8/+30
|\
| * Use orjson instead of regular json (providing 2x faster dumps and loads) ta/json-dumpsTheofilos Augoustis2025-11-113-8/+30
|/
* Merge pull request #24 from TUM-DSE/ta/sqliteTheofilos Augoustis2025-11-112-0/+55
|\
| * Add support for basic SQLite workloads ta/sqliteTheofilos Augoustis2025-11-112-0/+55
|/
* Merge pull request #23 from TUM-DSE/ta/redisTheofilos Augoustis2025-11-111-0/+46
|\
| * Add more packages to test in Focaccia ta/redisTheofilos Augoustis2025-11-111-1/+3
| * Add support for building entire musl with reduced x86 instruction setTheofilos Augoustis2025-11-111-8/+26
| * Make Redis build use reduced instruction setTheofilos Augoustis2025-11-111-1/+7
| * Include musl-compiled and statically-linked redis as dependencyTheofilos Augoustis2025-11-111-0/+20
|/
* Merge pull request #22 from TUM-DSE/ta/rr-mmapsTheofilos Augoustis2025-11-111-52/+473
|\
| * Add type annotation to parser for memory writes ta/rr-mmapsTheofilos Augoustis2025-11-101-1/+1
| * Implement streaming reader for data chunksTheofilos Augoustis2025-11-101-40/+85
| * Fix reading from file (needed decompression first)Theofilos Augoustis2025-11-101-39/+46
| * Add exception for system call buffer events (they require special memory writ...Theofilos Augoustis2025-11-101-0/+1
| * Add support for reading memory writes when system call buffering is not usedTheofilos Augoustis2025-11-101-13/+39
| * Handle memory writes as a separate classTheofilos Augoustis2025-11-071-9/+49
| * Parse special events separatelyTheofilos Augoustis2025-11-071-35/+183
| * Enable high-level interface for reading mmaps and tasksTheofilos Augoustis2025-11-071-5/+159
* | Merge pull request #20 from TUM-DSE/ck/x86-cvtps2pdckrinitsin2025-11-081-1/+20
|\ \
| * | Add better error handling for fpconvert_fp64Christian Krinitsin2025-11-081-2/+4
| * | Add helper to convert single precision to double precisionChristian Krinitsin2025-11-061-1/+18
* | | Merge pull request #19 from TUM-DSE/ck/crashTheofilos Augoustis2025-11-071-1/+24
|\ \ \
| * | | Check for QEMU crashes in an invocationChristian Krinitsin2025-11-061-1/+24
| | |/ | |/|
* | | Merge pull request #21 from TUM-DSE/ck/reproducersTheofilos Augoustis2025-11-076-0/+105
|\ \ \ | |/ / |/| |
| * | Add reproducersChristian Krinitsin2025-11-066-0/+105
| |/
* | Merge pull request #18 from TUM-DSE/ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
|\ \
| * | Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
|/ /
* | Separate box64 musl environment for regular musl environmentTheofilos Augoustis2025-11-061-0/+13
* | Merge pull request #17 from TUM-DSE/ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
|\ \
| * | Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
|/ /
* | Merge pull request #14 from TUM-DSE/ta/speculative-tracingTheofilos Augoustis2025-11-0621-245/+1056
|\ \