summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
4 daysExpand list of operator chars to include colon and othersRoman Smrž
5 daysParse list types in type expressionRoman Smrž
5 daysAccept various builtin types in type expressionsRoman Smrž
5 daysRemove requirement of primitive type for contextRoman Smrž
5 daysType annotations in arguments of function definitionRoman Smrž
5 daysUse closure instead of failing with ambiguous type for argument types with fr...Roman Smrž
5 daysParse type annotations in expressionsRoman Smrž
6 daysRemove unused Monad import in TestModeRoman Smrž
8 daysRetport summary of test executionRoman Smrž
8 daysAdd hook to TestOptions to get result of each testRoman Smrž
8 daysData type for fully-qualified test nameRoman Smrž
8 daysMove repeat and keep-going options to TestOptionsRoman Smrž
9 daysAdd keep-going command-line optionRoman Smrž
9 daysCreate test dir subdirectory for based on test nameRoman Smrž
10 daysFix parsing statements using innerBlock without new variablesRoman Smrž
10 daysShell: fix parsing of redirection and pipes followed by some symbolsRoman Smrž
10 daysShell: implement ‘!’ operatorRoman Smrž
10 daysShell: track exit code of the last commandRoman Smrž
10 daysShell: allow to toggle "exit on error"Roman Smrž
11 daysShell: implement cd commandRoman Smrž
11 daysShell: implement pwd commandRoman Smrž
11 daysUse absolute directory path for network and node dirsRoman Smrž
11 daysShell: track shell state with working directoryRoman Smrž
2026-05-31Options to select and exclude tests in config fileRoman Smrž
2026-05-24Refactor test filtering to its own function and typeRoman Smrž
2026-05-23Loaded modules data type to store related infoRoman Smrž
2026-05-23Accept tags as exclude parametersRoman Smrž
2026-05-23Evaluate test tag expressionsRoman Smrž
2026-05-19Fix test preamble parsing conflict with local statementRoman Smrž
2026-05-19Fix parsing after tag declarationRoman Smrž
2026-05-18Concatenation operator for listsRoman Smrž
2026-05-17More generic unification in for statementRoman Smrž
2026-05-17Concat builtin functionRoman Smrž
2026-05-17Function arguments unificationRoman Smrž
2026-05-16Separate 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ž