tester - [no description]

Age	Commit message (Collapse)	Author
34 hours	Type annotations in arguments of function definition	Roman Smrž

34 hours	Use closure instead of failing with ambiguous type for argument types with ↵	Roman Smrž
	free variables
34 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.
7 days	Shell: implement pwd command	Roman Smrž
	Changelog: Implemented `pwd` command in shell interpreter.
7 days	Use absolute directory path for network and node dirs	Roman Smrž

7 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ž

2026-04-11	Tag definition	Roman Smrž

2026-04-05	Custom signals to kill spawned process	Roman Smrž
	Changelog: Added `killwith` clause to set a signal used to terminate `spawn`ed process.