elixush v0.0.3 Elixush.Interpreter

Summary

Functions

eval_push(state)

Executes the contents of the exec stack, aborting prematurely if execution limits are exceeded. The resulting push state will map :termination to :normal if termination was normal, or :abnormal otherwise.

eval_push(state, print_steps)
eval_push(state, print_steps, trace)
eval_push(state, print_steps, trace, save_state_sequence)
execute_instruction(instruction, state)

Executes a single Push instruction.

inner_loop(iteration, s, time_limit, print_steps, trace, save_state_sequence)
run_push(code, state)
run_push(code, state, print_steps)
run_push(code, state, print_steps, trace)
run_push(code, state, print_steps, trace, save_state_sequence)