summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
6 daysLoaded modules data type to store related infoRoman Smrž
6 daysAccept tags as exclude parametersRoman Smrž
7 daysEvaluate test tag expressionsRoman Smrž
9 daysMove CI flags to minici job fileRoman Smrž
10 daysFix test preamble parsing conflict with local statementRoman Smrž
10 daysFix parsing after tag declarationRoman Smrž
11 daysConcatenation operator for listsRoman Smrž
Changelog: Added `++` operator to concatenate lists
12 daysMore generic unification in for statementRoman Smrž
12 daysConcat builtin functionRoman Smrž
Changelog: Added `concat` function for lists
12 daysFunction arguments unificationRoman Smrž
13 daysSeparate hide/expose expressions for primitive and function typesRoman Smrž
2026-05-09Resolve DynVariable in eval functionRoman Smrž
2026-05-09Unification of function and forall typesRoman Smrž
2026-05-02Arbitrary type expression as function argumentsRoman Smrž
2026-05-01Parsing distinction for single-word and function-call termsRoman Smrž
2026-04-25Keep type info in HideType to support non-primitive typesRoman Smrž
2026-04-25Polymorphic types in function argumentsRoman Smrž
2026-04-24Arbitrary expressions as variable valuesRoman Smrž
2026-04-24Use /bin/true as the default tool in test modeRoman Smrž
2026-04-19Non-primitive result type in ExprTypeFunction constructorRoman Smrž
2026-04-19Keep type information for polymorphic variablesRoman Smrž
2026-04-19Type application in expressionsRoman Smrž
2026-04-18Allow arbitrary types within DynVariableRoman Smrž
2026-04-18Empty list expressionRoman Smrž
Changelog: Added support for empty lists
2026-04-18Expressions with polymorphic typesRoman Smrž
Changelog: Initial support for polymorphic types
2026-04-13Type deconstruction and matching in unificationRoman Smrž
2026-04-12Type constructorsRoman Smrž
2026-04-11Parse tags in test preambleRoman Smrž
2026-04-11Tag definitionRoman Smrž
2026-04-05Custom signals to kill spawned processRoman Smrž
Changelog: Added `killwith` clause to set a signal used to terminate `spawn`ed process.
2026-04-05Parse data constructorsRoman Smrž
2026-04-04Add pid member to the Process typeRoman Smrž
Changelog: Added `pid` member to the `Process` type to get its system PID
2026-01-20Command-line option to disable or force tcpdumpRoman Smrž
Changelog: Added comman-line options to set path of tcpdump or disable its use
2026-01-17Use getProcessStatus for more detailed info when possibleRoman Smrž
2026-01-16Try bind-mount /tmp into sandbox when it's not a separate filesystemRoman Smrž
2026-01-15Version 0.3.4v0.3.4Roman Smrž
2026-01-15Bump dependencies for GHC 9.14Roman Smrž
Changelog: Support for GHC up to 9.14
2026-01-15Explicit case for NoSignalSpecificInfo in signal handlerRoman Smrž
2026-01-14Print test names in verbose outputRoman Smrž
Changelog: Verbose output now includes test names.
2026-01-14Mark ignored output linesRoman Smrž
Changelog: Mark flushed or ignored output lines
2026-01-11Detach original read-write root filesystem from /run/old_rootRoman Smrž
2026-01-11Do not show internal variables in call stack listRoman Smrž
2026-01-09Improve displayed values for process, network and node typesRoman Smrž
2026-01-08Test: checks for extra call stack outputRoman Smrž
2026-01-07Call stack for the ‘expect’ statementRoman Smrž
2026-01-05Ignore subexpression evaluation error when gathering varsRoman Smrž
2026-01-04Documentation for shell expressionRoman Smrž
2025-12-06Show command and arguments for spawned processes in outputRoman Smrž
Changelog: Show command and arguments for spawned processes in verbose output
2025-12-06Align child stdout and matched lines in outputRoman Smrž
2025-11-06Do not stop shell command parsing on some not-yet-used special charsRoman Smrž