summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
5 daysUpdate documentation for type annotationsRoman 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ž
7 daysRemove unused Monad import in TestModeRoman Smrž
8 daysTest: refactor Praser test with helper functionsRoman 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ž
9 daysMove repeat and keep-going options to TestOptionsRoman Smrž
9 daysAdd keep-going command-line optionRoman Smrž
10 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ž
11 daysShell: track exit code of the last commandRoman Smrž
11 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-31Version 0.3.5v0.3.5Roman Smrž
2026-05-31Documentation for tagsRoman 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-20Move CI flags to minici job fileRoman 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ž