Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Replace newlines with ; instead | Tom Smeding | 2022-06-27 |
| | | | | Request from geekosaur, original yahb did that too | ||
* | Allow debug prints for ghci interaction (when statically enabled) | Tom Smeding | 2022-06-27 |
| | |||
* | Less logging | Tom Smeding | 2022-06-15 |
| | |||
* | Limit disk usage | Tom Smeding | 2022-06-14 |
| | |||
* | Timeout | Tom Smeding | 2022-06-14 |
| | |||
* | Cleanup in start.sh | Tom Smeding | 2022-06-14 |
| | |||
* | Early-catch large show output with -interactive-print | Tom Smeding | 2022-06-14 |
| | |||
* | Set memory limit to 500MiB | Tom Smeding | 2022-06-14 |
| | |||
* | Main that also allows direct ghci access | Tom Smeding | 2022-06-14 |
| | |||
* | More logging | Tom Smeding | 2022-06-14 |
| | |||
* | Initial | Tom Smeding | 2022-06-14 |