theta
theta copied to clipboard
Re-add summaries into trace generation
I need to work on this a little later and re-add them. Currently they are removed temporarily due to some issues.