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-08-28Fix incorrect handling of LLDB symlink ta/pylldbTheofilos Augoustis1-2/+2
2025-08-27Complete support for native LLDBTheofilos Augoustis3-51/+57
2025-08-27IntermediateTheofilos Augoustis1-28/+24
2025-08-27Migrate to the official LLDB bindingsTheofilos Augoustis3-40/+61
2025-08-27Migrate to nix flakes, uv and pyproject toml for buildsTheofilos Augoustis30-19/+663
2025-02-25Merge branch 'ta/develop'Theofilos Augoustis31-588/+3730
2024-10-14Implement online verification of symbolic backend ta/developTheofilos Augoustis7-106/+412
2024-10-13Read instructions directly from program memoryTheofilos Augoustis2-19/+32
2024-07-28Enable Focaccia's logging in capture_transforms.pyTheofilos Augoustis2-11/+10
2024-07-12Add support for aarch64Theofilos Augoustis10-88/+293
[...]
 
Clone
git@krinitsin.com:focaccia