about summary refs log tree commit diff stats
Commit message (Collapse)AuthorAgeFilesLines
* Update QEMU tool to include a tracer class ta/qemu-replayTheofilos Augoustis2025-11-121-167/+170
|
* Update QEMU tool to support run_until_any for GDB interfaceTheofilos Augoustis2025-11-121-0/+23
|
* Refactor iteration over events in native tracerTheofilos Augoustis2025-11-123-38/+64
|
* Handle uniformly deterministic log in QEMU validatorTheofilos Augoustis2025-11-121-9/+12
|
* Use a stub module to abstract-away handling of the deterministic log as an ↵Theofilos Augoustis2025-11-123-379/+402
| | | | optional feature
* Handle system calls when validating via dedicated interfacesTheofilos Augoustis2025-11-127-68/+65
|
* Refactor QEMU toolTheofilos Augoustis2025-11-122-18/+42
|
* Move QEMU backend under its own directoryTheofilos Augoustis2025-11-125-2/+2
|
* Rebase syscall overwritesReimersS2025-11-121-21/+17
|
* Deterministic replay (single threaded, no memory)ReimersS2025-11-126-9/+126
|
* Merge pull request #25 from TUM-DSE/ta/json-dumpsTheofilos Augoustis2025-11-123-8/+30
|\ | | | | Use orjson instead of the default json library, allowing for significantly faster dump and load times.
| * 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
| * 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
|\ | | | | Support Redis
| * 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
|\ | | | | Implement complete RR log support
| * 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 ↵Theofilos Augoustis2025-11-101-0/+1
| | | | | | | | write handling that we do not implement)
| * 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 helper to convert single precision to double precision
| * | 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
| | | | | | | | | | | | Needed for CVTPS2PD instruction
* | | Merge pull request #19 from TUM-DSE/ck/crashTheofilos Augoustis2025-11-071-1/+24
|\ \ \ | | | | | | | | Check for QEMU crashes in an invocation
| * | | 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 reproducers
| * | Add reproducersChristian Krinitsin2025-11-066-0/+105
| |/
* | Merge pull request #18 from TUM-DSE/ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
|\ \ | | | | | | Fixup QEMU partial validation support
| * | 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
|\ \ | | | | | | Partial validation in QEMU validator
| * | 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
|\ \ | | | | | | Refactor entire tracing implementation to implement deterministic, speculative and timebound tracing. This forms the basic infrastructure for supporting large-scale non-deterministic programs.
| * | Implement basic logging support for QEMU validator ta/speculative-tracingTheofilos Augoustis2025-11-062-1/+8
| | |
| * | Support partial validation in QEMUTheofilos Augoustis2025-11-061-15/+31
| | |
| * | Add TID marker to collected symbolic transformsTheofilos Augoustis2025-11-061-7/+11
| | |
| * | Support parsing record logs with multiple chunksTheofilos Augoustis2025-11-061-4/+24
| | | | | | | | | | | | Update
| * | Document the force flag workaround for Zen CPUsTheofilos Augoustis2025-11-061-0/+4
| | |
| * | Update README instructions to include steps for tracing non-deterministic ↵Theofilos Augoustis2025-11-061-0/+14
| | | | | | | | | | | | programs
| * | Update handling of discovered remote namesTheofilos Augoustis2025-11-062-11/+9
| | |
| * | Specialize event matching to guarantee a match by checking register stateTheofilos Augoustis2025-11-061-4/+28
| | |
| * | Save to trace final state transformationTheofilos Augoustis2025-11-061-0/+2
| | |