3 Commits

Author SHA1 Message Date
0e068e764d Make rubout packet in output function optional 2025-05-15 20:08:37 +02:00
0c7e730438 Finalize name change from PET to SET
There were still a few references to PET, which are corrected.
2025-05-14 21:10:19 +02:00
5c3473ff1f Initial release of Streaming Event Trace 2025-05-14 20:44:17 +02:00