tester - [no description]

Age	Commit message (Collapse)	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 ↵	Roman Smrž
	free variables
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ž
	Changelog: Added `--report` command-line option to print summary of passed/failed tests.
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ž
	Changelog: Added `--keep-going` command line option to continue after test failure.
5 days	Create test dir subdirectory for based on test name	Roman Smrž
	Changelog: Create test dir subdirectory for given test that includes the test module and name.
6 days	Fix parsing statements using innerBlock without new variables	Roman Smrž
	Changelog: Fixed parsing of disconnect and packet loss commands.
6 days	Shell: fix parsing of redirection and pipes followed by some symbols	Roman Smrž

6 days	Shell: implement ‘!’ operator	Roman Smrž
	Changelog: Implement negation using the `!` operator in the shell interpreter.
6 days	Shell: track exit code of the last command	Roman Smrž

6 days	Shell: allow to toggle "exit on error"	Roman Smrž
	Changelog: Implemented "set +e/-e" in the shell interpreter.
6 days	Shell: implement cd command	Roman Smrž
	Changelog: Implemented the `cd` command in shell interpreter.
6 days	Shell: implement pwd command	Roman Smrž
	Changelog: Implemented `pwd` command in shell interpreter.
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ž
	Changelog: Added `++` operator to concatenate lists
2026-05-17	More generic unification in for statement	Roman Smrž

2026-05-17	Concat builtin function	Roman Smrž
	Changelog: Added `concat` function for lists
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ž
	Changelog: Added support for empty lists
2026-04-18	Expressions with polymorphic types	Roman Smrž
	Changelog: Initial support for polymorphic types
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ž