about summary refs log tree commit diff stats
BranchCommit messageAuthorAge
sr/benchmark-testingFix lldb pc accessReimersS5 days
ta/streaming-transformsImprove handling of mismatchesTheofilos Augoustis8 days
ck/runtime-breakdownFix benchmark scriptChristian Krinitsin9 days
ck/gen-reprAdd minimal reproducers and update 508Christian Krinitsin9 days
sr/sql-syscallsAdd read syscallReimersS11 days
ck/reproducersUpdate reproducersChristian Krinitsin11 days
ta/multithreaded-experimentsRefactor runner to be modularTheofilos Augoustis11 days
mainMerge pull request #29 from TUM-DSE/ck/fix-detTheofilos Augoustis13 days
ta/emu-threaded-replaySeparate QEMU GDB target from QEMU GDB iteratorTheofilos Augoustis2 weeks
ck/fix-detFix script in case of non-rrChristian Krinitsin2 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
2025-06-20Add basic reproducers for QEMU bugs ta/reproducersTheofilos Augoustis7-0/+51
2025-06-20Update pyproject.toml to support a custom development version of miasmTheofilos Augoustis2-6/+8
2025-06-20Add cpuid dependency on fork of cpuid that supports pyproject.tomlTheofilos Augoustis5-39/+28
2025-06-17Add support for getting a glibc environmentTheofilos Augoustis1-0/+9
2025-06-17Lookup gdb in PATH in verify qemu scriptTheofilos Augoustis1-1/+1
2025-06-17Add new pyproject.toml that includes dev environmentTheofilos Augoustis2-0/+175
2025-06-17Update flake to expose better developer shellsTheofilos Augoustis1-8/+7
2025-06-12Include reproducer for 508 (and generalize gitignore)Theofilos Augoustis2-2/+15
2025-06-12Remove nix.shell (switching completely to flakes)Theofilos Augoustis1-12/+0
2025-06-12Update flake to include gccTheofilos Augoustis1-2/+2
[...]
 
Clone
git@krinitsin.com:focaccia