Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

State machine call proof backend #3945

Merged
merged 11 commits into from
Nov 12, 2019
Merged

State machine call proof backend #3945

merged 11 commits into from
Nov 12, 2019

Commits on Oct 22, 2019

  1. drafting a proof extraction at the hashdb level (to include everything 

    for the 'call' proof case).
    @cheme
    cheme committed Oct 22, 2019
    Configuration menu
    Copy the full SHA
    1585180 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2019

  1. use full proof by default (replace previous proof recorder).

    @cheme
    cheme committed Oct 25, 2019
    Configuration menu
    Copy the full SHA
    889ec96 View commit details
    Browse the repository at this point in the history

  2. fix warnings.

    @cheme
    cheme committed Oct 25, 2019
    Configuration menu
    Copy the full SHA
    34cc3a4 View commit details
    Browse the repository at this point in the history

  3. Cache value not found in proof recorder.

    @cheme
    cheme committed Oct 25, 2019
    Configuration menu
    Copy the full SHA
    c6b4631 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2019

  1. Merge branch 'master' into full_proof

    @cheme
    cheme committed Oct 28, 2019
    Configuration menu
    Copy the full SHA
    7c6d735 View commit details
    Browse the repository at this point in the history

  2. Remove need or internal backend struct.

    @cheme
    cheme committed Oct 28, 2019
    Configuration menu
    Copy the full SHA
    e967dc1 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2019

  1. Merge branch 'master' into full_proof

    @cheme
    cheme committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    3beeefb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into full_proof

    @cheme
    cheme committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    d617e05 View commit details
    Browse the repository at this point in the history

  3. fix type.

    @cheme
    cheme committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    b817a6f View commit details
    Browse the repository at this point in the history

  4. doc

    @cheme
    cheme committed Nov 11, 2019
    Configuration menu
    Copy the full SHA
    1517c97 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2019

  1. Merge branch 'master' into full_proof

    @cheme
    cheme committed Nov 12, 2019
    Configuration menu
    Copy the full SHA
    adf1f16 View commit details
    Browse the repository at this point in the history