tester - [no description]

Age	Commit message (Expand)	Author
32 hours	Accept various builtin types in type expressions	Roman Smrž
32 hours	Remove requirement of primitive type for context	Roman Smrž
32 hours	Type annotations in arguments of function definition	Roman Smrž
32 hours	Use closure instead of failing with ambiguous type for argument types with fr...	Roman Smrž
32 hours	Parse type annotations in expressions	Roman Smrž
2 days	Remove unused Monad import in TestMode	Roman Smrž
4 days	Retport summary of test execution	Roman Smrž
4 days	Add hook to TestOptions to get result of each test	Roman Smrž
4 days	Data type for fully-qualified test name	Roman Smrž
4 days	Move repeat and keep-going options to TestOptions	Roman Smrž
4 days	Add keep-going command-line option	Roman Smrž
5 days	Create test dir subdirectory for based on test name	Roman Smrž
6 days	Fix parsing statements using innerBlock without new variables	Roman Smrž
6 days	Shell: fix parsing of redirection and pipes followed by some symbols	Roman Smrž
6 days	Shell: implement ‘!’ operator	Roman Smrž
6 days	Shell: track exit code of the last command	Roman Smrž
6 days	Shell: allow to toggle "exit on error"	Roman Smrž
6 days	Shell: implement cd command	Roman Smrž
6 days	Shell: implement pwd command	Roman Smrž
6 days	Use absolute directory path for network and node dirs	Roman Smrž
6 days	Shell: track shell state with working directory	Roman Smrž
2026-05-31	Options to select and exclude tests in config file	Roman Smrž
2026-05-24	Refactor test filtering to its own function and type	Roman Smrž
2026-05-23	Loaded modules data type to store related info	Roman Smrž
2026-05-23	Accept tags as exclude parameters	Roman Smrž
2026-05-23	Evaluate test tag expressions	Roman Smrž
2026-05-19	Fix test preamble parsing conflict with local statement	Roman Smrž
2026-05-19	Fix parsing after tag declaration	Roman Smrž
2026-05-18	Concatenation operator for lists	Roman Smrž
2026-05-17	More generic unification in for statement	Roman Smrž
2026-05-17	Concat builtin function	Roman Smrž
2026-05-17	Function arguments unification	Roman Smrž
2026-05-16	Separate hide/expose expressions for primitive and function types	Roman Smrž
2026-05-09	Resolve DynVariable in eval function	Roman Smrž
2026-05-09	Unification of function and forall types	Roman Smrž
2026-05-02	Arbitrary type expression as function arguments	Roman Smrž
2026-05-01	Parsing distinction for single-word and function-call terms	Roman Smrž
2026-04-25	Keep type info in HideType to support non-primitive types	Roman Smrž
2026-04-25	Polymorphic types in function arguments	Roman Smrž
2026-04-24	Arbitrary expressions as variable values	Roman Smrž
2026-04-24	Use /bin/true as the default tool in test mode	Roman Smrž
2026-04-19	Non-primitive result type in ExprTypeFunction constructor	Roman Smrž
2026-04-19	Keep type information for polymorphic variables	Roman Smrž
2026-04-19	Type application in expressions	Roman Smrž
2026-04-18	Allow arbitrary types within DynVariable	Roman Smrž
2026-04-18	Empty list expression	Roman Smrž
2026-04-18	Expressions with polymorphic types	Roman Smrž
2026-04-13	Type deconstruction and matching in unification	Roman Smrž
2026-04-12	Type constructors	Roman Smrž
2026-04-11	Parse tags in test preamble	Roman Smrž