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-06-20
Add basic reproducers for QEMU bugs
ta/reproducers
Theofilos Augoustis
7
-0
/
+51
2025-06-20
Update pyproject.toml to support a custom development version of miasm
Theofilos Augoustis
2
-6
/
+8
2025-06-20
Add cpuid dependency on fork of cpuid that supports pyproject.toml
Theofilos Augoustis
5
-39
/
+28
2025-06-17
Add support for getting a glibc environment
Theofilos Augoustis
1
-0
/
+9
2025-06-17
Lookup gdb in PATH in verify qemu script
Theofilos Augoustis
1
-1
/
+1
2025-06-17
Add new pyproject.toml that includes dev environment
Theofilos Augoustis
2
-0
/
+175
2025-06-17
Update flake to expose better developer shells
Theofilos Augoustis
1
-8
/
+7
2025-06-12
Include reproducer for 508 (and generalize gitignore)
Theofilos Augoustis
2
-2
/
+15
2025-06-12
Remove nix.shell (switching completely to flakes)
Theofilos Augoustis
1
-12
/
+0
2025-06-12
Update flake to include gcc
Theofilos Augoustis
1
-2
/
+2
[...]
Clone
git@krinitsin.com:focaccia