about summary refs log tree commit diff stats
path: root/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix incorrect match_pair post-refactor in native tracerTheofilos Augoustis2025-11-241-1/+2
* Correctly communicate TIDs to run.pyTheofilos Augoustis2025-11-241-1/+2
* Make running Focaccia with multithreading possibleTheofilos Augoustis2025-11-241-2/+7
* Separate QEMU GDB target from QEMU GDB iterator ta/emu-threaded-replayTheofilos Augoustis2025-11-212-390/+415
* Better diagnostics for thread schedulingTheofilos Augoustis2025-11-201-3/+5
* Refactor stepping in QEMU validatorTheofilos Augoustis2025-11-201-9/+9
* Match and context switchTheofilos Augoustis2025-11-202-41/+63
* Add basic support for context switchingTheofilos Augoustis2025-11-201-11/+20
* Match thread IDs with those from event logTheofilos Augoustis2025-11-201-0/+14
* Add support for skipping log entries in matcherTheofilos Augoustis2025-11-204-9/+47
* Implement preliminary support for clone, clone3, fork and vforkTheofilos Augoustis2025-11-201-0/+3
* Add basic matching for thread IDsTheofilos Augoustis2025-11-204-2/+31
* Implement thread switching interfaceTheofilos Augoustis2025-11-201-0/+5
* Fix incorrect matching for first state ta/fixesTheofilos Augoustis2025-11-191-0/+1
* Fix parsing of signalsTheofilos Augoustis2025-11-192-4/+4
* 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-145-7/+119
* 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
* Use orjson instead of regular json (providing 2x faster dumps and loads) ta/json-dumpsTheofilos Augoustis2025-11-111-8/+11
* 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
* | | Check for QEMU crashes in an invocationChristian Krinitsin2025-11-061-1/+24
| |/ |/|
* | Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2025-11-062-9/+23
* | Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis2025-11-064-22/+45
* | 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 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