Pull Request#3

suiy wants to merge 3 commits into

cu-csc:mastercu-csc/automaton:masterfrom

suiy:mastersuiy/automaton:masterCopy head branch name to clipboard