aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterReplace newlines with ; insteadTom Smeding3 months
 
 
AgeCommit messageAuthor
2022-06-27Replace newlines with ; insteadHEADmasterTom Smeding
2022-06-27Allow debug prints for ghci interaction (when statically enabled)Tom Smeding
2022-06-15Less loggingTom Smeding
2022-06-14Limit disk usageTom Smeding
2022-06-14TimeoutTom Smeding
2022-06-14Cleanup in start.shTom Smeding
2022-06-14Early-catch large show output with -interactive-printTom Smeding
2022-06-14Set memory limit to 500MiBTom Smeding
2022-06-14Main that also allows direct ghci accessTom Smeding
2022-06-14More loggingTom Smeding
[...]