about summary refs log tree commit diff stats
BranchCommit messageAuthorAge
sr/benchmark-testingFix lldb pc accessReimersS5 weeks
ta/streaming-transformsImprove handling of mismatchesTheofilos Augoustis5 weeks
ck/runtime-breakdownFix benchmark scriptChristian Krinitsin6 weeks
ck/gen-reprAdd minimal reproducers and update 508Christian Krinitsin6 weeks
sr/sql-syscallsAdd read syscallReimersS6 weeks
ck/reproducersUpdate reproducersChristian Krinitsin6 weeks
ta/multithreaded-experimentsRefactor runner to be modularTheofilos Augoustis6 weeks
mainMerge pull request #29 from TUM-DSE/ck/fix-detTheofilos Augoustis6 weeks
ta/emu-threaded-replaySeparate QEMU GDB target from QEMU GDB iteratorTheofilos Augoustis6 weeks
ck/fix-detFix script in case of non-rrChristian Krinitsin6 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
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-06Merge pull request #17 from TUM-DSE/ta/partial-qemu-validationTheofilos Augoustis4-22/+45
2025-11-06Implement start-stop mechanism for partial validation ta/partial-qemu-validationTheofilos Augoustis4-22/+45
2025-11-06Merge pull request #14 from TUM-DSE/ta/speculative-tracingTheofilos Augoustis21-245/+1056
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
[...]
 
Clone
git@krinitsin.com:focaccia