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

spec: Light Client Supervisor #555

Closed
wants to merge 11 commits into from
Closed

spec: Light Client Supervisor #555

wants to merge 11 commits into from

Commits on Aug 27, 2020

  1. start of supervisor and init spec

    @josef-widder
    josef-widder committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    a5c5570 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2020

  1. start with supervisor details

    @josef-widder
    josef-widder committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    bd522d2 View commit details
    Browse the repository at this point in the history

  2. more init

    @josef-widder
    josef-widder committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    fb7511d View commit details
    Browse the repository at this point in the history

  3. first compete draft of supervisor with init pseudo code

    @josef-widder
    josef-widder committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    6c29ffb View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2020

  1. some clean-up

    @josef-widder
    josef-widder committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    308c0a0 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2020

  1. start serious draft

    @josef-widder
    josef-widder committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    8ce3a1b View commit details
    Browse the repository at this point in the history

  2. a complete but rought draft

    @josef-widder
    josef-widder committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    f7877bd View commit details
    Browse the repository at this point in the history

  3. cleaning

    @josef-widder
    josef-widder committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    cfb0b80 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2020

  1. pre and post conditions

    @josef-widder
    josef-widder committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    8db47b1 View commit details
    Browse the repository at this point in the history

  2. polishing

    @josef-widder
    josef-widder committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    b25546b View commit details
    Browse the repository at this point in the history

  3. ready for first review

    @josef-widder
    josef-widder committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    551b44f View commit details
    Browse the repository at this point in the history