| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add commented-out stdoutLogger implementation | Tom Smeding | 2022-11-02 | 
| | | |||
| * | Flush stdout more | Tom Smeding | 2022-11-02 | 
| | | |||
| * | Proper target for irc responses | Tom Smeding | 2022-10-14 | 
| | | |||
| * | Flush stdout | Tom Smeding | 2022-10-14 | 
| | | |||
| * | start.sh: mkdir /tmp | Tom Smeding | 2022-10-14 | 
| | | | | | | This solves an error that GHC can't create /tmp/ghc_4_0 or something. Not sure why I didn't get that before? | ||
| * | 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 | 
