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-09-10
Make flake check runnable
ta/tests
Theofilos Augoustis
1
-2
/
+7
2025-09-10
Refactor tests to conform to pytest asserts
Theofilos Augoustis
2
-24
/
+32
2025-08-29
Add flake support for tests
Theofilos Augoustis
5
-83
/
+151
2025-08-28
Refactor tool handling to match flake system
Theofilos Augoustis
7
-22
/
+73
2025-08-28
Migrate to LLDB from pylldb
Theofilos Augoustis
3
-73
/
+96
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
[...]
Clone
git@krinitsin.com:focaccia