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

Light Client TLA+ Specification #314

Merged
merged 15 commits into from
Jun 26, 2020
Merged

Light Client TLA+ Specification #314

merged 15 commits into from
Jun 26, 2020

Commits on Jun 2, 2020

  1. the initial version from the old light client bisection

    @konnov
    konnov committed Jun 2, 2020
    Configuration menu
    Copy the full SHA
    bd8765b View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2020

  1. an intermediate version

    @konnov
    konnov committed Jun 3, 2020
    Configuration menu
    Copy the full SHA
    6d837b0 View commit details
    Browse the repository at this point in the history

  2. the first version that Josef and I believe is ok

    @konnov
    konnov committed Jun 3, 2020
    Configuration menu
    Copy the full SHA
    39166f7 View commit details
    Browse the repository at this point in the history

  3. something is working

    @konnov
    konnov committed Jun 3, 2020
    Configuration menu
    Copy the full SHA
    862d2f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2020

  1. a workaround for #148 in apalache

    @konnov
    konnov committed Jun 4, 2020
    Configuration menu
    Copy the full SHA
    84d2f99 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. super fast encoding: the blockchain is initialized, time is integer

    @konnov
    konnov committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    beca214 View commit details
    Browse the repository at this point in the history

  2. more realistic time resolution

    @konnov
    konnov committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    82fa485 View commit details
    Browse the repository at this point in the history

  3. the complexity bound and other cool things

    @konnov
    konnov committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    1a00111 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2020

  1. comments on the light client spec

    @konnov
    konnov committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    80894fa View commit details
    Browse the repository at this point in the history

  2. cleaned up the MC models

    @konnov
    konnov committed Jun 9, 2020
    Configuration menu
    Copy the full SHA
    c7ebb8f View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2020

  1. removed the now redundant height

    @konnov
    konnov committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    8a367b8 View commit details
    Browse the repository at this point in the history

  2. fixed a bug in Next and simplified it

    @konnov
    konnov committed Jun 10, 2020
    Configuration menu
    Copy the full SHA
    011d816 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2020

  1. updating the experimental setup for the AFT paper

    @konnov
    konnov committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    e732dd2 View commit details
    Browse the repository at this point in the history

  2. reordering the experiments

    @konnov
    konnov committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    492ebb7 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2020

  1. updates after review by Anca

    @konnov
    konnov committed Jun 26, 2020
    Configuration menu
    Copy the full SHA
    2aee159 View commit details
    Browse the repository at this point in the history