about summary refs log tree commit diff stats
Commit message (Expand)AuthorAgeFilesLines
* Improve handling of mismatches ta/streaming-transformsTheofilos Augoustis8 days1-7/+0
* Implement skip() mechanism for unmatch symbolic transformationsTheofilos Augoustis9 days2-10/+34
* Skip skipped events when peeking at next eventTheofilos Augoustis9 days1-1/+6
* Add support for preadv and pwritevTheofilos Augoustis9 days1-0/+2
* Add support for *at variants of common system calls and pselect6Theofilos Augoustis9 days1-0/+19
* Add new programs to testTheofilos Augoustis9 days1-0/+1
* Implement support for accept4Theofilos Augoustis9 days1-0/+1
* Add support for prlimit and associated emulationTheofilos Augoustis9 days1-0/+3
* Add support for dup emulationTheofilos Augoustis9 days1-0/+3
* Add support for additional epoll interface emulationTheofilos Augoustis9 days1-0/+1
* Add support for pipe emulationTheofilos Augoustis9 days1-0/+2
* Emulate eventfd interfaceTheofilos Augoustis9 days1-0/+2
* Implement futex emulation supportTheofilos Augoustis9 days1-0/+1
* Add support for signal handlingTheofilos Augoustis9 days3-5/+37
* Enable basic signal handling (no sigreturn yet)Theofilos Augoustis10 days4-23/+282
* Emulate kill and tkill system callsTheofilos Augoustis10 days1-0/+2
* Enable emulation for signal system callsTheofilos Augoustis10 days1-0/+9
* Emulate getter and setter system calls for IDsTheofilos Augoustis10 days1-0/+18
* Add support for epoll and socket emulationTheofilos Augoustis10 days1-0/+19
* Add more emulated syscalls for interacting with the file systemTheofilos Augoustis10 days1-3/+37
* Enable correct handling of addressesTheofilos Augoustis10 days6-7/+28
* Remove ignore logicTheofilos Augoustis10 days1-35/+17
* Updates to schedulerTheofilos Augoustis10 days1-51/+20
* Implement support for access system call emulationTheofilos Augoustis10 days1-0/+1
* Improve QEMU trace collection performanceTheofilos Augoustis11 days2-2/+6
* Add support for emulating read()/write() and vector variantsTheofilos Augoustis11 days1-0/+4
* Enable schedulingTheofilos Augoustis11 days2-1/+5
* Offer option for streaming symbolic transformsTheofilos Augoustis11 days6-13/+74
* Move QEMU tool to iterator interfaceTheofilos Augoustis11 days1-25/+34
* Basic modifications to QEMU tool to support TraceContainersTheofilos Augoustis11 days1-17/+12
* Add addresses to oracle logTheofilos Augoustis11 days3-3/+9
* Separate Trace from TraceContainerTheofilos Augoustis11 days3-23/+30
* Refactor runner to be modularTheofilos Augoustis11 days1-181/+148
* Handle correctly process exitTheofilos Augoustis11 days1-24/+15
* Do not modify python-ptrace internals in a breaking mannerTheofilos Augoustis11 days1-45/+94
* Fix incorrect match_pair post-refactor in native tracerTheofilos Augoustis11 days1-1/+2
* Correctly communicate TIDs to run.pyTheofilos Augoustis11 days2-4/+4
* Make running Focaccia with multithreading possibleTheofilos Augoustis11 days2-94/+106
* Update runnerTheofilos Augoustis11 days1-5/+10
* Set the schedule timeout to 0Theofilos Augoustis11 days1-2/+1
* Run QEMU under debugTheofilos Augoustis11 days1-39/+40
* Continue running when no new scheduleTheofilos Augoustis11 days1-27/+89
* Implement proof of conceptTheofilos Augoustis11 days3-0/+178
* Separate QEMU GDB target from QEMU GDB iterator ta/emu-threaded-replayTheofilos Augoustis2025-11-212-390/+415
* Better diagnostics for thread schedulingTheofilos Augoustis2025-11-201-3/+5
* Refactor stepping in QEMU validatorTheofilos Augoustis2025-11-201-9/+9
* Match and context switchTheofilos Augoustis2025-11-202-41/+63
* Add basic support for context switchingTheofilos Augoustis2025-11-201-11/+20
* Match thread IDs with those from event logTheofilos Augoustis2025-11-201-0/+14
* Add support for skipping log entries in matcherTheofilos Augoustis2025-11-204-9/+47