index
:
focaccia
this commit
ck/fix-det
ck/gen-repr
ck/reproducers
ck/runtime-breakdown
main
sr/benchmark-testing
sr/deterministic_replay
sr/plugin
sr/sql-syscalls
ta/arm64
ta/develop
ta/docs
ta/emu-replay
ta/emu-threaded-replay
ta/fixes
ta/fixup-qemu-partial-validation
ta/json-dumps
ta/memcached
ta/multithreaded-experiments
ta/partial-qemu-validation
ta/pylldb
ta/qemu-replay
ta/redis
ta/reproducers
ta/rr-mmaps
ta/speculative-tracing
ta/sqlite
ta/streaming-transforms
ta/support-memcached
ta/support-redis
ta/tests
ta/tool-refactor
ta/uniformize-qemu
ta/uv-migrate
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
sr/benchmark-testing
Fix lldb pc access
ReimersS
5 weeks
ta/streaming-transforms
Improve handling of mismatches
Theofilos Augoustis
5 weeks
ck/runtime-breakdown
Fix benchmark script
Christian Krinitsin
6 weeks
ck/gen-repr
Add minimal reproducers and update 508
Christian Krinitsin
6 weeks
sr/sql-syscalls
Add read syscall
ReimersS
6 weeks
ck/reproducers
Update reproducers
Christian Krinitsin
6 weeks
ta/multithreaded-experiments
Refactor runner to be modular
Theofilos Augoustis
6 weeks
main
Merge pull request #29 from TUM-DSE/ck/fix-det
Theofilos Augoustis
6 weeks
ta/emu-threaded-replay
Separate QEMU GDB target from QEMU GDB iterator
Theofilos Augoustis
6 weeks
ck/fix-det
Fix script in case of non-rr
Christian Krinitsin
6 weeks
[...]
Age
Commit message
Author
Files
Lines
2025-11-06
Fix QEMU partial validation support
ta/fixup-qemu-partial-validation
Theofilos Augoustis
2
-9
/
+23
2025-11-06
Separate box64 musl environment for regular musl environment
Theofilos Augoustis
1
-0
/
+13
2025-11-06
Merge pull request #17 from TUM-DSE/ta/partial-qemu-validation
Theofilos Augoustis
4
-22
/
+45
2025-11-06
Implement start-stop mechanism for partial validation
ta/partial-qemu-validation
Theofilos Augoustis
4
-22
/
+45
2025-11-06
Merge pull request #14 from TUM-DSE/ta/speculative-tracing
Theofilos Augoustis
21
-245
/
+1056
2025-11-06
Implement basic logging support for QEMU validator
ta/speculative-tracing
Theofilos Augoustis
2
-1
/
+8
2025-11-06
Support partial validation in QEMU
Theofilos Augoustis
1
-15
/
+31
2025-11-06
Add TID marker to collected symbolic transforms
Theofilos Augoustis
1
-7
/
+11
2025-11-06
Support parsing record logs with multiple chunks
Theofilos Augoustis
1
-4
/
+24
2025-11-06
Document the force flag workaround for Zen CPUs
Theofilos Augoustis
1
-0
/
+4
[...]
Clone
git@krinitsin.com:focaccia