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
ta/fixesFix incorrect matching for first stateTheofilos Augoustis2 weeks
ta/memcachedAdd basic support for memcachedTheofilos Augoustis2 weeks
ta/emu-replayOnly handle events when tracingTheofilos Augoustis2 weeks
ta/qemu-replayUpdate QEMU tool to include a tracer classTheofilos Augoustis3 weeks
ta/json-dumpsUse orjson instead of regular json (providing 2x faster dumps and loads)Theofilos Augoustis3 weeks
sr/deterministic_replayRebase syscall overwritesReimersS4 weeks
ta/sqliteAdd support for basic SQLite workloadsTheofilos Augoustis4 weeks
ta/redisAdd more packages to test in FocacciaTheofilos Augoustis4 weeks
ta/rr-mmapsAdd type annotation to parser for memory writesTheofilos Augoustis4 weeks
ta/fixup-qemu-partial-validationFix QEMU partial validation supportTheofilos Augoustis4 weeks
ta/partial-qemu-validationImplement start-stop mechanism for partial validationTheofilos Augoustis4 weeks
ta/speculative-tracingImplement basic logging support for QEMU validatorTheofilos Augoustis4 weeks
ta/uniformize-qemuIntegrate QEMU plugin directly into FocacciaTheofilos Augoustis4 weeks
ta/support-memcachedSave to trace final state transformationTheofilos Augoustis5 weeks
sr/pluginCosmetic changes & READMEReimersS5 weeks
ta/support-redisSpecialize event matching to guarantee a match by checking register stateTheofilos Augoustis5 weeks
ta/docsFix incorrect docstring for write_registerTheofilos Augoustis7 weeks
ta/arm64Simplify issue 2248 reproducerTheofilos Augoustis8 weeks
ta/testsMake flake check runnableTheofilos Augoustis3 months
ta/tool-refactorMove qemu validator tool to our current setupTheofilos Augoustis3 months
ta/pylldbFix incorrect handling of LLDB symlinkTheofilos Augoustis3 months
ta/uv-migrateAdd support for editable miasm buildsTheofilos Augoustis3 months
ta/reproducersAdd basic reproducers for QEMU bugsTheofilos Augoustis6 months
ta/developImplement online verification of symbolic backendTheofilos Augoustis14 months