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: Add a flag to export for zero-height start #2827

Merged
merged 73 commits into from
Nov 26, 2018

Commits on Nov 14, 2018

  1. Initial pass

    cwgoes committed Nov 14, 2018
    Configuration menu
    Copy the full SHA
    1c08b35 View commit details
    Browse the repository at this point in the history
  2. Minor cleanup

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

Commits on Nov 15, 2018

  1. Configuration menu
    Copy the full SHA
    93242a2 View commit details
    Browse the repository at this point in the history
  2. fix initialMinter

    rigelrozanski committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    d9a53e5 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    e61c357 View commit details
    Browse the repository at this point in the history
  4. Update PENDING.md

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    dd4bc57 View commit details
    Browse the repository at this point in the history
  5. Add flag

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    decf163 View commit details
    Browse the repository at this point in the history
  6. Fix flag, update docs

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    70d64ec View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7feb7aa View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    079f7f4 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    f8ea009 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    7c61478 View commit details
    Browse the repository at this point in the history
  11. Test fixes; 'make format'

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    bf2e525 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    9c96e64 View commit details
    Browse the repository at this point in the history
  13. Minor simulation fixes

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    481d801 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    e6f05b2 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    58e026a View commit details
    Browse the repository at this point in the history
  16. Avoid zero-validator case

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    e2a21f2 View commit details
    Browse the repository at this point in the history
  17. Fix height offset

    cwgoes committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    9a57abc View commit details
    Browse the repository at this point in the history
  18. fix existing tests

    rigelrozanski committed Nov 15, 2018
    Configuration menu
    Copy the full SHA
    1cc058f View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2018

  1. working writing test

    rigelrozanski committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    32e652f View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    2bd86c2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7155483 View commit details
    Browse the repository at this point in the history
  4. 'make format'

    cwgoes committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    834d472 View commit details
    Browse the repository at this point in the history
  5. Add iteration functions

    cwgoes committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    7d6ff98 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    c08f90c View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    b9b979f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    f31a7e8 View commit details
    Browse the repository at this point in the history
  9. 1 line compile fix

    rigelrozanski committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    3dc8ab1 View commit details
    Browse the repository at this point in the history
  10. finish updating docs

    rigelrozanski committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    5b0f3c9 View commit details
    Browse the repository at this point in the history
  11. compile fix

    rigelrozanski committed Nov 16, 2018
    Configuration menu
    Copy the full SHA
    5f70992 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2018

  1. address @cwgoes comments

    rigelrozanski committed Nov 19, 2018
    Configuration menu
    Copy the full SHA
    01a9246 View commit details
    Browse the repository at this point in the history
  2. uint fixes

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

Commits on Nov 20, 2018

  1. benchmark using Int

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    fa469c2 View commit details
    Browse the repository at this point in the history
  2. use decimal

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    e1af6c6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    58d34b7 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8581dc4 View commit details
    Browse the repository at this point in the history
  5. Address @rigelrozanski comments

    cwgoes committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    0f0ad9d View commit details
    Browse the repository at this point in the history
  6. Fix testcases

    cwgoes committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    385cb68 View commit details
    Browse the repository at this point in the history
  7. Add accum invariant

    cwgoes committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    06e7844 View commit details
    Browse the repository at this point in the history
  8. minor invar update

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    645e023 View commit details
    Browse the repository at this point in the history
  9. doc update

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    4d11313 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    c6ce1e6 View commit details
    Browse the repository at this point in the history
  11. lint

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    9c74ae1 View commit details
    Browse the repository at this point in the history
  12. Linter fix

    cwgoes committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    00b6497 View commit details
    Browse the repository at this point in the history
  13. defensive checks

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    8b082e9 View commit details
    Browse the repository at this point in the history
  14. some debugging output

    rigelrozanski committed Nov 20, 2018
    Configuration menu
    Copy the full SHA
    3f8176b View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2018

  1. Configuration menu
    Copy the full SHA
    17e3bf5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b8c2d43 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3cc2495 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    94c888a View commit details
    Browse the repository at this point in the history
  5. ...

    rigelrozanski committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    1480510 View commit details
    Browse the repository at this point in the history
  6. ...

    rigelrozanski committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    eb2bdcc View commit details
    Browse the repository at this point in the history
  7. del accum invariance

    rigelrozanski committed Nov 21, 2018
    Configuration menu
    Copy the full SHA
    f4782fe View commit details
    Browse the repository at this point in the history
  8. better invar output

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

Commits on Nov 22, 2018

  1. Configuration menu
    Copy the full SHA
    fb8aa02 View commit details
    Browse the repository at this point in the history
  2. resolved Dec bug

    rigelrozanski committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    2abab59 View commit details
    Browse the repository at this point in the history
  3. PENDING.md

    rigelrozanski committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    d41eeb1 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    b678bcc View commit details
    Browse the repository at this point in the history
  5. test cover fix

    rigelrozanski committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    fffc100 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    0da12f8 View commit details
    Browse the repository at this point in the history
  7. ...

    rigelrozanski committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    ccfbfcf View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7c97582 View commit details
    Browse the repository at this point in the history
  9. typo

    rigelrozanski committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    e38af2a View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    faa14f1 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    822944b View commit details
    Browse the repository at this point in the history
  12. Remove defer() usage

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

    cwgoes committed Nov 22, 2018
    Configuration menu
    Copy the full SHA
    685c55d View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    7aa1182 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2018

  1. Configuration menu
    Copy the full SHA
    3094324 View commit details
    Browse the repository at this point in the history
  2. Fix linter nit

    cwgoes committed Nov 23, 2018
    Configuration menu
    Copy the full SHA
    b1a14c1 View commit details
    Browse the repository at this point in the history
  3. Correctly set height

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

Commits on Nov 26, 2018

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