Skip to content

Split up TraceSet into ReadOnlyTraceSet and WritableTraceSet - #82

Merged
rwols merged 1 commit into
developfrom
feature/split-up-traceset-into-read-and-write
Aug 19, 2026
Merged

Split up TraceSet into ReadOnlyTraceSet and WritableTraceSet#82
rwols merged 1 commit into
developfrom
feature/split-up-traceset-into-read-and-write

#79: Split off Read and Write mode from TraceSet

65ed416
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings and 3 notices
build
succeeded Aug 19, 2026 in 22s