summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
7 daysEvaluate test tag expressionsRoman Smrž
10 daysFix test preamble parsing conflict with local statementRoman Smrž
10 daysFix parsing after tag declarationRoman Smrž
11 daysConcatenation operator for listsRoman Smrž
12 daysMore generic unification in for statementRoman Smrž
12 daysConcat builtin functionRoman Smrž
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ž
2026-04-18Expressions with polymorphic typesRoman Smrž
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ž
2026-04-05Parse data constructorsRoman Smrž
2026-04-04Add pid member to the Process typeRoman Smrž
2026-01-20Command-line option to disable or force tcpdumpRoman Smrž
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-15Explicit case for NoSignalSpecificInfo in signal handlerRoman Smrž
2026-01-14Print test names in verbose outputRoman Smrž
2026-01-14Mark ignored output linesRoman Smrž
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ž
2025-12-06Show command and arguments for spawned processes in outputRoman Smrž
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ž
2025-10-05Redirection in shell scriptsRoman Smrž
2025-10-02Shell: use posix waitpid wrapper to distinguish more statesRoman Smrž
2025-10-02Shell: remove special handling of echoRoman Smrž
2025-10-02Shell: custom data type for command argumentsRoman Smrž
2025-09-29Avoid using Expr Maybe when parsing shell pipelineRoman Smrž
2025-09-28Additional instances of ExprType used by parsed commandsRoman Smrž