index
:
tester
devel
master
[no description]
git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
34 hours
Remove requirement of primitive type for context
Roman Smrž
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 fr...
Roman Smrž
34 hours
Parse type annotations in expressions
Roman Smrž
2 days
Remove unused Monad import in TestMode
Roman Smrž
3 days
Test: refactor Praser test with helper functions
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ž
7 days
Shell: implement pwd command
Roman Smrž
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
Version 0.3.5
v0.3.5
Roman Smrž
2026-05-31
Documentation for tags
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-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ž
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ž
[next]