about summary refs log tree commit diff stats
path: root/qemu (unfollow)
Commit message (Expand)AuthorFilesLines
2025-11-19Fix incorrect matching for first state ta/fixesTheofilos Augoustis1-0/+1
2025-11-19Fix parsing of signalsTheofilos Augoustis2-4/+4
2025-11-18Only handle events when tracing ta/emu-replayTheofilos Augoustis1-11/+10
2025-11-18Reintroduce support for emulating getrandomTheofilos Augoustis1-6/+15
2025-11-18Add basic QEMU section reading capabilitiesTheofilos Augoustis2-5/+72
2025-11-18Retrieve all mappings at onceTheofilos Augoustis1-16/+17
2025-11-18Refactor iteration interface over eventsTheofilos Augoustis3-111/+176
2025-11-14Refactor event tracing in QEMU toolTheofilos Augoustis10-100/+182
2025-11-14Refactor iteration over events in native tracerTheofilos Augoustis4-46/+95
2025-11-14Rebase syscall overwritesReimersS1-21/+17
2025-11-14Deterministic replay (single threaded, no memory)ReimersS6-8/+125
2025-11-14Use a stub module to abstract-away handling of the deterministic log as an op...Theofilos Augoustis3-379/+401
2025-11-13Move matching functionality out of event (cannot rely on entire program state...Theofilos Augoustis2-13/+14
2025-11-13Move QEMU to its own backend directoryTheofilos Augoustis4-3/+4
2025-11-13Move native backend under dedicated moduleTheofilos Augoustis5-355/+352
2025-11-11Use orjson instead of regular json (providing 2x faster dumps and loads) ta/json-dumpsTheofilos Augoustis3-8/+30
2025-11-11Add support for basic SQLite workloads ta/sqliteTheofilos Augoustis2-0/+55
2025-11-11Add more packages to test in Focaccia ta/redisTheofilos Augoustis1-1/+3
2025-11-11Add support for building entire musl with reduced x86 instruction setTheofilos Augoustis1-8/+26
2025-11-11Make Redis build use reduced instruction setTheofilos Augoustis1-1/+7
2025-11-11Include musl-compiled and statically-linked redis as dependencyTheofilos Augoustis1-0/+20
2025-11-10Add type annotation to parser for memory writes ta/rr-mmapsTheofilos Augoustis1-1/+1
2025-11-10Implement streaming reader for data chunksTheofilos Augoustis1-40/+85
2025-11-10Fix reading from file (needed decompression first)Theofilos Augoustis1-39/+46
2025-11-10Add exception for system call buffer events (they require special memory writ...Theofilos Augoustis1-0/+1
2025-11-10Add support for reading memory writes when system call buffering is not usedTheofilos Augoustis1-13/+39
2025-11-08Add better error handling for fpconvert_fp64Christian Krinitsin1-2/+4
2025-11-07Handle memory writes as a separate classTheofilos Augoustis1-9/+49
2025-11-07Parse special events separatelyTheofilos Augoustis1-35/+183
2025-11-07Enable high-level interface for reading mmaps and tasksTheofilos Augoustis1-5/+159
2025-11-06Add reproducersChristian Krinitsin6-0/+105
2025-11-06Add helper to convert single precision to double precisionChristian Krinitsin1-1/+18
2025-11-06Check for QEMU crashes in an invocationChristian Krinitsin1-1/+24
2025-11-06Fix QEMU partial validation support ta/fixup-qemu-partial-validationTheofilos Augoustis2-9/+23
2025-11-06Separate box64 musl environment for regular musl environmentTheofilos Augoustis1-0/+13
2025-11-06Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis4-22/+45
2025-11-06Implement basic logging support for QEMU validator ta/speculative-tracingTheofilos Augoustis2-1/+8
2025-11-06Support partial validation in QEMUTheofilos Augoustis1-15/+31
2025-11-06Add TID marker to collected symbolic transformsTheofilos Augoustis1-7/+11
2025-11-06Support parsing record logs with multiple chunksTheofilos Augoustis1-4/+24
2025-11-06Document the force flag workaround for Zen CPUsTheofilos Augoustis1-0/+4
2025-11-06Update README instructions to include steps for tracing non-deterministic pro...Theofilos Augoustis1-0/+14
2025-11-06Update handling of discovered remote namesTheofilos Augoustis2-11/+9
2025-11-06Specialize event matching to guarantee a match by checking register stateTheofilos Augoustis1-4/+28
2025-11-06Save to trace final state transformationTheofilos Augoustis1-0/+2
2025-11-06Handle exit in post-event hookTheofilos Augoustis2-13/+22
2025-11-06Do not deduplicate but handle post eventsTheofilos Augoustis2-17/+18
2025-11-06Cross-correlate events with the Focaccia tracing sequenceTheofilos Augoustis2-9/+54
2025-11-06Support setting time limits for symbolic executionTheofilos Augoustis3-5/+42
2025-11-06Add caching mechanism for state valuesTheofilos Augoustis1-3/+22