about summary refs log tree commit diff stats
path: root/tests/test_snapshot.py (unfollow)
Commit message (Expand)AuthorFilesLines
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
2025-11-06Add special exception category for validation errorsTheofilos Augoustis1-14/+22
2025-11-06Skip instructions that cannot be lifted in forced modeTheofilos Augoustis1-7/+21
2025-11-06Enable cross-validation with single-stepping in debug modeTheofilos Augoustis2-3/+5
2025-11-06Add user option for setting a starting address for a symbolic traceTheofilos Augoustis3-2/+22
2025-11-06Add deterministic log as part of trace environmentTheofilos Augoustis4-6/+143
2025-11-06Package RR trace parsing mechanism in FocacciaTheofilos Augoustis4-2/+64
2025-11-06Integrate capnproto into python buildTheofilos Augoustis3-36/+91
2025-11-06Add RR as a submoduleTheofilos Augoustis2-0/+5
2025-11-06Enable tracing without single steppingTheofilos Augoustis6-91/+160
2025-11-06Use Instruction interface for miasm disassemblyTheofilos Augoustis1-12/+15
2025-11-06Update LLDB target to support multiple threadsTheofilos Augoustis1-2/+14
2025-11-06Print alternative disassemblyTheofilos Augoustis1-2/+6
2025-11-06Enable forced mode to push through errors (in hopes of tracing even partially...Theofilos Augoustis2-20/+36
2025-11-06Refactor symbolic tracing logic to remove cruftTheofilos Augoustis1-15/+13
2025-11-06Update LLDB target to include retry lists for some register names (useful bec...Theofilos Augoustis1-4/+17
2025-11-06Push exception upwards when a register cannot be read to main tracer logicTheofilos Augoustis1-5/+1
2025-11-06Make it possible to use the LLDB disassembly when the Miasm disassembly does ...Theofilos Augoustis2-8/+25
2025-11-06Refactor native tracing to facilitate remote tracingTheofilos Augoustis4-82/+134
2025-11-06Add musl-extra target that includes RRTheofilos Augoustis1-0/+14
2025-11-06Splity LLDB target handling into local and remote with shared base classTheofilos Augoustis2-56/+70
2025-11-06Print which instructions where disassembledTheofilos Augoustis1-0/+1
2025-11-06Add support for remote targets to integrate with replayerTheofilos Augoustis3-20/+63
2025-11-06Enable LLDB disassembly when Miasm disassembly fails for better diagnosticsTheofilos Augoustis2-1/+13
2025-11-06Add interfaces for denoting an microarchitecturally-dependent instructions an...Theofilos Augoustis5-12/+56
2025-11-06Integrate QEMU plugin directly into Focaccia ta/uniformize-qemuTheofilos Augoustis9-154/+271
2025-11-04Cosmetic changes & README sr/pluginReimersS5-55/+67
2025-11-04Plugin validationReimersS8-6/+455
2025-11-03Add fsub operationChristian Krinitsin2-1/+31
2025-10-30Fix incorrect cross-validation flag specificationTheofilos Augoustis1-0/+1
2025-10-27Add BMI reproducerChristian Krinitsin5-0/+23
2025-10-24Refactor flake handling of box64Theofilos Augoustis1-47/+32
2025-10-23Add Box64 validation steps to READMEckrinitsin1-0/+13
2025-10-23Add Box64 build with erroneous CMPXCHG instructionChristian Krinitsin2-1/+107
2025-10-23Add Box64 parserChristian Krinitsin2-0/+32