aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* TimeoutTom Smeding2022-06-14
* Cleanup in start.shTom Smeding2022-06-14
* Early-catch large show output with -interactive-printTom Smeding2022-06-14
* Set memory limit to 500MiBTom Smeding2022-06-14
* Main that also allows direct ghci accessTom Smeding2022-06-14
* More loggingTom Smeding2022-06-14
* InitialTom Smeding2022-06-14