Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-07-31 | Enable color only for terminal output, add manual options | Roman Smrž | |
Changelog: Use colors by default only on terminal, add `--color`/`--no-color` options to select manually. | |||
2024-02-21 | Update to support mtl-2.3 | Roman Smrž | |
2023-02-02 | Enable OverloadedStrings as default extension | Roman Smrž | |
2023-01-25 | GDB command completion and history | Roman Smrž | |
2023-01-16 | Haskeline for input handling | Roman Smrž | |
2022-10-29 | Show commands sent to test tool in verbose mode | Roman Smrž | |
2022-10-27 | Show GDB console output always and without prompt | Roman Smrž | |
2022-09-27 | Process lifetime determined by scope | Roman Smrž | |
2022-05-04 | Verbose option, otherwise hide most output | Roman Smrž | |
2022-05-04 | Test run monad | Roman Smrž | |
2021-11-15 | Keep the waiting prompt below output until triggered | Roman Smrž | |
2021-11-15 | Separate module for output handling | Roman Smrž | |