I'd like to be able to use
%M, the name of the input automaton, in the command specifications of
autcross. One use case is something like
genltl --dac | ltl2tgba | autcross "autfilt --somealgo %H>%O" "ltl2tgba '%M' >%O"
where one of the tool passed to autcross computes the output automaton based on the input name.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information