Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
errormsg on model error
uwalk function && misc updates
uwalk
errormsg on alg error
remove dead code
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
... uwalks
uwalk -> uwalks in covlang. minimise trace so that covlang uwalks behaves like coverage uwalks
initial support for using perm in covlang
covlang update...
Merge remote-tracking branch '01/devel'
eager_uwalks
eager_uwalks
fix bug in usecase(2*perm(1)) evaluation
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Improve error messages when there is second def of the same name