add chooseInput to TraceTree to provide arbitrary input#423

Merged

danmatichuk merged 6 commits intomasterfrom dm/input

Jul 24, 2024

+238-28

Commits on Jul 16, 2024

add chooseInput to TraceTree to provide arbitrary input
danmatichuk
committed

Commits on Jul 17, 2024

Commits on Jul 22, 2024

add 'input' command to Repl for supplying string input
danmatichuk
committed

Commits on Jul 24, 2024