automata: deterministic multiplication
Currently we have two implementations of
general, which introduces spontaneous transitions
standard, which produces a standard output for standard inputs
Add another one:
deterministic, which produces a deterministic output for deterministic inputs.
Bench this. Make it work for all the versions of multiply, including the repeated multiplication. This requires that #37 (closed) be completed.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information