summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
4 daysPrint summary report also in quiet modeRoman Smrž
4 daysUse color formatting for summary reportRoman Smrž
5 daysFormattedText suport in Output moduleRoman Smrž
7 daysCopy TextFormat modules from erebos projectRoman Smrž
8 daysExpand list of operator chars to include colon and othersRoman Smrž
9 daysParse list types in type expressionRoman Smrž
9 daysAccept various builtin types in type expressionsRoman Smrž
9 daysRemove requirement of primitive type for contextRoman Smrž
9 daysType annotations in arguments of function definitionRoman Smrž
9 daysUse closure instead of failing with ambiguous type for argument types with fr...Roman Smrž
9 daysParse type annotations in expressionsRoman Smrž
10 daysRemove unused Monad import in TestModeRoman Smrž
11 daysRetport summary of test executionRoman Smrž
12 daysAdd hook to TestOptions to get result of each testRoman Smrž
12 daysData type for fully-qualified test nameRoman Smrž
12 daysMove repeat and keep-going options to TestOptionsRoman Smrž
12 daysAdd keep-going command-line optionRoman Smrž
13 daysCreate test dir subdirectory for based on test nameRoman Smrž
14 daysFix parsing statements using innerBlock without new variablesRoman Smrž
14 daysShell: fix parsing of redirection and pipes followed by some symbolsRoman Smrž
14 daysShell: implement ‘!’ operatorRoman Smrž
14 daysShell: track exit code of the last commandRoman Smrž
14 daysShell: allow to toggle "exit on error"Roman Smrž
14 daysShell: implement cd commandRoman Smrž
14 daysShell: implement pwd commandRoman Smrž
14 daysUse absolute directory path for network and node dirsRoman Smrž
14 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ž