| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 7 hours | Add keep-going command-line optionHEADmaster | Roman Smrž | |
| Changelog: Added `--keep-going` command line option to continue after test failure. | |||
| 31 hours | 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. | |||
| 2 days | Fix parsing statements using innerBlock without new variables | Roman Smrž | |
| Changelog: Fixed parsing of disconnect and packet loss commands. | |||
| 2 days | Shell: fix parsing of redirection and pipes followed by some symbols | Roman Smrž | |
| 2 days | Shell: implement ‘!’ operator | Roman Smrž | |
| Changelog: Implement negation using the `!` operator in the shell interpreter. | |||
| 2 days | Shell: track exit code of the last command | Roman Smrž | |
| 2 days | Shell: allow to toggle "exit on error" | Roman Smrž | |
| Changelog: Implemented "set +e/-e" in the shell interpreter. | |||
| 2 days | Shell: implement cd command | Roman Smrž | |
| Changelog: Implemented the `cd` command in shell interpreter. | |||
| 2 days | Shell: implement pwd command | Roman Smrž | |
| Changelog: Implemented `pwd` command in shell interpreter. | |||
| 2 days | Use absolute directory path for network and node dirs | Roman Smrž | |
| 2 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. | |||
| 2026-04-05 | Parse data constructors | Roman Smrž | |
| 2026-04-04 | Add pid member to the Process type | Roman Smrž | |
| Changelog: Added `pid` member to the `Process` type to get its system PID | |||
| 2026-01-20 | Command-line option to disable or force tcpdump | Roman Smrž | |
| Changelog: Added comman-line options to set path of tcpdump or disable its use | |||
| 2026-01-17 | Use getProcessStatus for more detailed info when possible | Roman Smrž | |
| 2026-01-16 | Try bind-mount /tmp into sandbox when it's not a separate filesystem | Roman Smrž | |
| 2026-01-15 | Explicit case for NoSignalSpecificInfo in signal handler | Roman Smrž | |
| 2026-01-14 | Print test names in verbose output | Roman Smrž | |
| Changelog: Verbose output now includes test names. | |||
| 2026-01-14 | Mark ignored output lines | Roman Smrž | |
| Changelog: Mark flushed or ignored output lines | |||