tester - [no description]

Age	Commit message (Collapse)	Author
9 days	FormattedText suport in Output module	Roman Smrž

11 days	Copy TextFormat modules from erebos project	Roman Smrž

12 days	Expand list of operator chars to include colon and others	Roman Smrž

13 days	Update documentation for type annotations	Roman Smrž
	Changelog: Explicit type annotation can now be added to expressions and to arguments in function definition using the `:` notation.
13 days	Parse list types in type expression	Roman Smrž

13 days	Accept various builtin types in type expressions	Roman Smrž

13 days	Remove requirement of primitive type for context	Roman Smrž

13 days	Type annotations in arguments of function definition	Roman Smrž

13 days	Use closure instead of failing with ambiguous type for argument types with ↵	Roman Smrž
	free variables
13 days	Parse type annotations in expressions	Roman Smrž

14 days	Remove unused Monad import in TestMode	Roman Smrž

2026-08-25	Test: refactor Praser test with helper functions	Roman Smrž

2026-08-25	Retport summary of test execution	Roman Smrž
	Changelog: Added `--report` command-line option to print summary of passed/failed tests.
2026-08-24	Add hook to TestOptions to get result of each test	Roman Smrž

2026-08-24	Data type for fully-qualified test name	Roman Smrž

2026-08-24	Move repeat and keep-going options to TestOptions	Roman Smrž

2026-08-24	Add keep-going command-line option	Roman Smrž
	Changelog: Added `--keep-going` command line option to continue after test failure.
2026-08-23	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.
2026-08-23	Fix parsing statements using innerBlock without new variables	Roman Smrž
	Changelog: Fixed parsing of disconnect and packet loss commands.
2026-08-22	Shell: fix parsing of redirection and pipes followed by some symbols	Roman Smrž

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

2026-08-22	Shell: allow to toggle "exit on error"	Roman Smrž
	Changelog: Implemented "set +e/-e" in the shell interpreter.
2026-08-22	Shell: implement cd command	Roman Smrž
	Changelog: Implemented the `cd` command in shell interpreter.
2026-08-22	Shell: implement pwd command	Roman Smrž
	Changelog: Implemented `pwd` command in shell interpreter.
2026-08-22	Use absolute directory path for network and node dirs	Roman Smrž

2026-08-22	Shell: track shell state with working directory	Roman Smrž

2026-05-31	Version 0.3.5v0.3.5	Roman Smrž

2026-05-31	Documentation for tags	Roman Smrž
	Changelog: Added tags to group and filter tests
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-20	Move CI flags to minici job file	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ž