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.

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

R4R: Write bank module specification, check spec/code consistency #2853

Merged
merged 17 commits into from
Nov 29, 2018

Commits on Nov 19, 2018

  1. Update PENDING.md

    cwgoes committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    8c6f2de View commit details
    Browse the repository at this point in the history
  2. New structure

    cwgoes committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    03e8121 View commit details
    Browse the repository at this point in the history
  3. Start transactions section

    cwgoes committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    18ca55c View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2018

  1. Configuration menu
    Copy the full SHA
    c63b6f1 View commit details
    Browse the repository at this point in the history
  2. Remove MsgIssue

    cwgoes committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    f25e562 View commit details
    Browse the repository at this point in the history
  3. Update keepers.md

    cwgoes committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    ca0805b View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2018

  1. Configuration menu
    Copy the full SHA
    87954ab View commit details
    Browse the repository at this point in the history
  2. Add state.md

    cwgoes committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    ad7c0e1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    449a0af View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2018

  1. Configuration menu
    Copy the full SHA
    1a6bb0f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    58997a9 View commit details
    Browse the repository at this point in the history
  3. More spec updates

    cwgoes committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    abb0b73 View commit details
    Browse the repository at this point in the history
  4. Tiny cleanup

    cwgoes committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    5e8aa3e View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2018

  1. Clarify storage rationale

    cwgoes committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    afe5076 View commit details
    Browse the repository at this point in the history
  2. Warn the user

    cwgoes committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    81c4f51 View commit details
    Browse the repository at this point in the history
  3. Remove extra newline

    cwgoes committed Nov 26, 2018
    Configuration menu
    Copy the full SHA
    d039e52 View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2018

  1. Configuration menu
    Copy the full SHA
    c4cfb87 View commit details
    Browse the repository at this point in the history