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-08-28
Fix incorrect handling of LLDB symlink
ta/pylldb
Theofilos Augoustis
1
-2
/
+2
2025-08-27
Complete support for native LLDB
Theofilos Augoustis
3
-51
/
+57
2025-08-27
Intermediate
Theofilos Augoustis
1
-28
/
+24
2025-08-27
Migrate to the official LLDB bindings
Theofilos Augoustis
3
-40
/
+61
2025-08-27
Migrate to nix flakes, uv and pyproject toml for builds
Theofilos Augoustis
30
-19
/
+663
2025-02-25
Merge branch 'ta/develop'
Theofilos Augoustis
31
-588
/
+3730
2024-10-14
Implement online verification of symbolic backend
ta/develop
Theofilos Augoustis
7
-106
/
+412
2024-10-13
Read instructions directly from program memory
Theofilos Augoustis
2
-19
/
+32
2024-07-28
Enable Focaccia's logging in capture_transforms.py
Theofilos Augoustis
2
-11
/
+10
2024-07-12
Add support for aarch64
Theofilos Augoustis
10
-88
/
+293
[...]
Clone
git@krinitsin.com:focaccia