propeller.push.interpreter

interpret-one-step

(interpret-one-step state)
Takes a Push state and executes the next instruction on the exec stack.

interpret-program

(interpret-program program start-state step-limit)
Runs the given problem starting with the stacks in start-state. If the
start-state includes the key :keep-history with a truthy value, then
the returned state will include the key :history with a value that is a
vector containing all states prior to the final state.