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-09-10Make flake check runnable ta/testsTheofilos Augoustis1-2/+7
2025-09-10Refactor tests to conform to pytest assertsTheofilos Augoustis2-24/+32
2025-08-29Add flake support for testsTheofilos Augoustis5-83/+151
2025-08-28Refactor tool handling to match flake systemTheofilos Augoustis7-22/+73
2025-08-28Migrate to LLDB from pylldbTheofilos Augoustis3-73/+96
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
[...]
 
Clone
git@krinitsin.com:focaccia