index
:
tester
devel
master
[no description]
git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
7 days
Move CI flags to minici job file
HEAD
master
Roman Smrž
8 days
Fix test preamble parsing conflict with local statement
Roman Smrž
8 days
Fix parsing after tag declaration
Roman Smrž
9 days
Concatenation operator for lists
Roman Smrž
10 days
More generic unification in for statement
Roman Smrž
10 days
Concat builtin function
Roman Smrž
10 days
Function arguments unification
Roman Smrž
11 days
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ž
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ž
2026-04-05
Parse data constructors
Roman Smrž
2026-04-04
Add pid member to the Process type
Roman Smrž
2026-01-20
Command-line option to disable or force tcpdump
Roman Smrž
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
Version 0.3.4
v0.3.4
Roman Smrž
2026-01-15
Bump dependencies for GHC 9.14
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ž
2026-01-14
Mark ignored output lines
Roman Smrž
2026-01-11
Detach original read-write root filesystem from /run/old_root
Roman Smrž
2026-01-11
Do not show internal variables in call stack list
Roman Smrž
2026-01-09
Improve displayed values for process, network and node types
Roman Smrž
2026-01-08
Test: checks for extra call stack output
Roman Smrž
2026-01-07
Call stack for the ‘expect’ statement
Roman Smrž
2026-01-05
Ignore subexpression evaluation error when gathering vars
Roman Smrž
2026-01-04
Documentation for shell expression
Roman Smrž
2025-12-06
Show command and arguments for spawned processes in output
Roman Smrž
2025-12-06
Align child stdout and matched lines in output
Roman Smrž
2025-11-06
Do not stop shell command parsing on some not-yet-used special chars
Roman Smrž
2025-10-05
Redirection in shell scripts
Roman Smrž
2025-10-02
Shell: use posix waitpid wrapper to distinguish more states
Roman Smrž
2025-10-02
Shell: remove special handling of echo
Roman Smrž
[next]