Skip to content
This repository has been archived by the owner on Jul 30, 2020. It is now read-only.

Tendermint safety and fork scenarios #13

Closed
wants to merge 40 commits into from
Closed

Tendermint safety and fork scenarios #13

wants to merge 40 commits into from

Commits on Nov 4, 2019

  1. copied the tendermint spec from tendermint-safety

    Igor Konnov committed Nov 4, 2019
    Configuration menu
    Copy the full SHA
    3ba7fff View commit details
    Browse the repository at this point in the history

  2. renamed

    Igor Konnov committed Nov 4, 2019
    Configuration menu
    Copy the full SHA
    6562a1f View commit details
    Browse the repository at this point in the history

  3. starting on the fork scenarios

    Igor Konnov committed Nov 4, 2019
    Configuration menu
    Copy the full SHA
    c8ee6d5 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2019

  1. the spec by Zarko

    Igor Konnov committed Dec 10, 2019
    Configuration menu
    Copy the full SHA
    a747999 View commit details
    Browse the repository at this point in the history

  2. removed oldEvents, as they are not used anymore

    Igor Konnov committed Dec 10, 2019
    Configuration menu
    Copy the full SHA
    964371e View commit details
    Browse the repository at this point in the history

  3. fixed a few typos

    Igor Konnov committed Dec 10, 2019
    Configuration menu
    Copy the full SHA
    9f6c13e View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2019

  1. tuning the spec for model checking

    Igor Konnov committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    9415b83 View commit details
    Browse the repository at this point in the history

  2. fixed the spec: there should be at least one execution where processe… 

    …s decide
    Igor Konnov committed Dec 20, 2019
    Configuration menu
    Copy the full SHA
    38c9879 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2019

  1. a few fixes

    Igor Konnov committed Dec 22, 2019
    Configuration menu
    Copy the full SHA
    20d95bf View commit details
    Browse the repository at this point in the history

  2. fixed the proposal and moved the fault logic

    Igor Konnov committed Dec 22, 2019
    Configuration menu
    Copy the full SHA
    882a691 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2019

  1. injecting faults before running consensus

    Igor Konnov committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    5f164bb View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2019

  1. bugfix in InsertFaultyProposalMessage

    Igor Konnov committed Dec 26, 2019
    Configuration menu
    Copy the full SHA
    f5a800d View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2019

  1. the specification that introduces faults in the initial state

    Igor Konnov committed Dec 28, 2019
    Configuration menu
    Copy the full SHA
    3d679ba View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2020

  1. split faults in three categories

    Igor Konnov committed Jan 7, 2020
    Configuration menu
    Copy the full SHA
    d14fe56 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2020

  1. bugfix in StartRound + explicit NoEquivocation and Amnesia

    Igor Konnov committed Jan 12, 2020
    Configuration menu
    Copy the full SHA
    87036f2 View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2020

  1. small fixes

    Igor Konnov committed Jan 14, 2020
    Configuration menu
    Copy the full SHA
    f88869e View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2020

  1. wip: still working on an inductive invariant

    Igor Konnov committed Feb 7, 2020
    Configuration menu
    Copy the full SHA
    576f427 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2020

  1. the first inductive invariant

    Igor Konnov committed Feb 18, 2020
    Configuration menu
    Copy the full SHA
    3840d2a View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2020

  1. tidying up the inductive invariants

    Igor Konnov committed Feb 19, 2020
    Configuration menu
    Copy the full SHA
    01492e5 View commit details
    Browse the repository at this point in the history

  2. fixed the types

    Igor Konnov committed Feb 19, 2020
    Configuration menu
    Copy the full SHA
    be2b696 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2020

  1. moving things around

    Igor Konnov committed Mar 9, 2020
    Configuration menu
    Copy the full SHA
    52902a8 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2020

  1. refactored TendermintAccountabilityApa2 and made it modular

    Igor Konnov committed Mar 10, 2020
    Configuration menu
    Copy the full SHA
    cab0784 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2020

  1. added the few missing transitions (important for liveness)

    Igor Konnov committed Mar 11, 2020
    Configuration menu
    Copy the full SHA
    b33f19f View commit details
    Browse the repository at this point in the history

  2. fixed the input parameters

    Igor Konnov committed Mar 11, 2020
    Configuration menu
    Copy the full SHA
    2da59c0 View commit details
    Browse the repository at this point in the history

  3. other configurations to check

    Igor Konnov committed Mar 11, 2020
    Configuration menu
    Copy the full SHA
    71921a7 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2020

  1. removed the old versions of the specs

    Igor Konnov committed Mar 18, 2020
    Configuration menu
    Copy the full SHA
    df9683b View commit details
    Browse the repository at this point in the history

  2. the README

    Igor Konnov committed Mar 18, 2020
    Configuration menu
    Copy the full SHA
    6db2be3 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2020

  1. more benchmarks

    Igor Konnov committed Mar 19, 2020
    Configuration menu
    Copy the full SHA
    6cbd6d9 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2020

  1. updated the script

    Igor Konnov committed Mar 20, 2020
    Configuration menu
    Copy the full SHA
    2e9cff6 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2020

  1. formalized the arguments

    Igor Konnov committed Mar 21, 2020
    Configuration menu
    Copy the full SHA
    493cb21 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2020

  1. fixed the description a bit

    Igor Konnov committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    fbf4eb7 View commit details
    Browse the repository at this point in the history

  2. fixed README too

    Igor Konnov committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    e666522 View commit details
    Browse the repository at this point in the history

  3. copied the results

    @konnov
    konnov committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    ccaf2f0 View commit details
    Browse the repository at this point in the history

  4. fixed the script

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

  5. Merge branch 'igor/fork' of https://github.com/interchainio/verification 

     into igor/fork
    @konnov
    konnov committed Mar 29, 2020
    Configuration menu
    Copy the full SHA
    404a4e9 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2020

  1. fixes after the dev session

    Igor Konnov committed Mar 31, 2020
    Configuration menu
    Copy the full SHA
    3febe31 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2020

  1. new updates

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

  2. Merge branch 'igor/fork' of ssh://github.com/interchainio/verificatio… 

    …n into igor/fork
    @konnov
    konnov committed Apr 1, 2020
    Configuration menu
    Copy the full SHA
    5e36d69 View commit details
    Browse the repository at this point in the history

  3. link to the report

    Igor Konnov committed Apr 1, 2020
    Configuration menu
    Copy the full SHA
    01268e2 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2020

  1. updated results

    @konnov
    konnov committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    54dd976 View commit details
    Browse the repository at this point in the history