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

Feat/invariants #41

Merged
merged 19 commits into from
Oct 8, 2020
Merged

Feat/invariants #41

merged 19 commits into from
Oct 8, 2020

Commits on Oct 2, 2020

  1. feat: invariant compiles

    @alcueca
    alcueca committed Oct 2, 2020
    Configuration menu
    Copy the full SHA
    fb90ed7 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2020

  1. feat: First USM fuzzing tests

    @alcueca
    alcueca committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    faeb01f View commit details
    Browse the repository at this point in the history

  2. feat: tests refined with FUM pricing

    @alcueca
    alcueca committed Oct 4, 2020
    Configuration menu
    Copy the full SHA
    da3d306 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2020

  1. 03_USM.test.js's implementations of wadMul()/wadDiv() had a boo-boo.

    @jacob-eliosoff
    jacob-eliosoff committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    6203cfc View commit details
    Browse the repository at this point in the history

  2. feat: Protocol value testing

    @alcueca
    alcueca committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    4b68fff View commit details
    Browse the repository at this point in the history

  3. feat: moved enum and events to USM.sol

    @alcueca
    alcueca committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    ab6f829 View commit details
    Browse the repository at this point in the history

  4. Try unifying Proxy.mint() and Proxy.mintWithEth() into just Proxy.min… 

    …t(). (Etc)
    @jacob-eliosoff
    jacob-eliosoff committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    3aa9678 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #43 from usmfum/feat/minimal-interfaces 

    feat: moved enum and events to USM.sol
    @alexroan
    alexroan committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    1e2a85e View commit details
    Browse the repository at this point in the history

  6. test: Added fund and defund fuzzing debugger

    @alcueca
    alcueca committed Oct 5, 2020
    Configuration menu
    Copy the full SHA
    daad591 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2020

  1. Merge pull request #44 from usmfum/feat/unify-proxy-api 

    Try unifying Proxy.mint() and Proxy.mintWithEth() into just Proxy.mint().  (Etc)
    @alcueca
    alcueca committed Oct 6, 2020
    Configuration menu
    Copy the full SHA
    dce3395 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2020

  1. fuzz: Isolated edge case

    @alcueca
    alcueca committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    31c942c View commit details
    Browse the repository at this point in the history

  2. fuzz: Split and simplified tests

    @alcueca
    alcueca committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    157e7ae View commit details
    Browse the repository at this point in the history

  3. fix: debtRatio when pool is zero and remove require

    @alcueca
    alcueca committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    7f69c61 View commit details
    Browse the repository at this point in the history

  4. fix: remove parenthesis

    @alcueca
    alcueca committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    4731539 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'feat/invariants' of https://github.com/alexroan/USM int… 

    …o feat/invariants
    @jacob-eliosoff
    jacob-eliosoff committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    a445768 View commit details
    Browse the repository at this point in the history

  6. Actually, keep debtRatio() returning 0, and require FUM supply > 0.

    @jacob-eliosoff
    jacob-eliosoff committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    e5ccfeb View commit details
    Browse the repository at this point in the history

  7. fix: Zero FUM edge case

    @alcueca
    alcueca committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    806edb9 View commit details
    Browse the repository at this point in the history

  8. Don't mint 1 wei; just allow withdrawing the last FUM

    @jacob-eliosoff
    jacob-eliosoff committed Oct 7, 2020
    Configuration menu
    Copy the full SHA
    c52c64c View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2020

  1. fix: the fuzzer helper now matches the fuzzing scenarios

    @alcueca
    alcueca committed Oct 8, 2020
    Configuration menu
    Copy the full SHA
    2459924 View commit details
    Browse the repository at this point in the history