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 days
ta/streaming-transforms
Improve handling of mismatches
Theofilos Augoustis
8 days
ck/runtime-breakdown
Fix benchmark script
Christian Krinitsin
9 days
ck/gen-repr
Add minimal reproducers and update 508
Christian Krinitsin
9 days
sr/sql-syscalls
Add read syscall
ReimersS
11 days
ck/reproducers
Update reproducers
Christian Krinitsin
11 days
ta/multithreaded-experiments
Refactor runner to be modular
Theofilos Augoustis
11 days
main
Merge pull request #29 from TUM-DSE/ck/fix-det
Theofilos Augoustis
13 days
ta/emu-threaded-replay
Separate QEMU GDB target from QEMU GDB iterator
Theofilos Augoustis
2 weeks
ck/fix-det
Fix script in case of non-rr
Christian Krinitsin
2 weeks
[...]
Age
Commit message
Author
Files
Lines
2025-11-11
Add more packages to test in Focaccia
ta/redis
Theofilos Augoustis
1
-1
/
+3
2025-11-11
Add support for building entire musl with reduced x86 instruction set
Theofilos Augoustis
1
-8
/
+26
2025-11-11
Make Redis build use reduced instruction set
Theofilos Augoustis
1
-1
/
+7
2025-11-11
Include musl-compiled and statically-linked redis as dependency
Theofilos Augoustis
1
-0
/
+20
2025-11-11
Merge pull request #22 from TUM-DSE/ta/rr-mmaps
Theofilos Augoustis
1
-52
/
+473
2025-11-10
Add type annotation to parser for memory writes
ta/rr-mmaps
Theofilos Augoustis
1
-1
/
+1
2025-11-10
Implement streaming reader for data chunks
Theofilos Augoustis
1
-40
/
+85
2025-11-10
Fix reading from file (needed decompression first)
Theofilos Augoustis
1
-39
/
+46
2025-11-10
Add exception for system call buffer events (they require special memory writ...
Theofilos Augoustis
1
-0
/
+1
2025-11-10
Add support for reading memory writes when system call buffering is not used
Theofilos Augoustis
1
-13
/
+39
[...]
Clone
git@krinitsin.com:focaccia