Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Repl: remove explicit timeout from startup sequence #439

Merged
merged 2 commits into from
Aug 19, 2024
Merged

Repl: remove explicit timeout from startup sequence #439

merged 2 commits into from
Aug 19, 2024

Commits on Aug 15, 2024

  1. Repl: remove explicit timeout from startup sequence 

    the initial "run" command now blocks until the
verifier is in a ready state, which is defined as
either the toplevel node being marked "finished" or
blocked on user input
    @danmatichuk
    danmatichuk committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    96fcfb3 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2024

  1. omit the initial prompt for a starting symbol when 

    a script is given that provides it
    @danmatichuk
    danmatichuk committed Aug 16, 2024
    Configuration menu
    Copy the full SHA
    12ff063 View commit details
    Browse the repository at this point in the history