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

[PROTOCOL-NG] Solidity Semantic Money draft release 1 #1280

Merged
merged 184 commits into from May 5, 2023
Merged

[PROTOCOL-NG] Solidity Semantic Money draft release 1 #1280

merged 184 commits into from May 5, 2023

Commits on Feb 9, 2023

  1. semantic money

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    82924ad View commit details
    Browse the repository at this point in the history

  2. solidity-semantic-money bootstrapped

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    788b2dd View commit details
    Browse the repository at this point in the history

  3. delete hie stuff

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    71a0ef0 View commit details
    Browse the repository at this point in the history

  4. add minimumEVMDevInputs for spec buildInputs

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    a85252b View commit details
    Browse the repository at this point in the history

  5. flow2 implemented

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    150fa20 View commit details
    Browse the repository at this point in the history

  6. fix github workflow for spec-haskell

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    fda46ab View commit details
    Browse the repository at this point in the history

  7. fix cabal lint

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    6896858 View commit details
    Browse the repository at this point in the history

  8. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    8470527 View commit details
    Browse the repository at this point in the history

  9. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    c7a508f View commit details
    Browse the repository at this point in the history

  10. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    95cdedf View commit details
    Browse the repository at this point in the history

  11. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    8743ca7 View commit details
    Browse the repository at this point in the history

  12. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    16c8f9c View commit details
    Browse the repository at this point in the history

  13. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    3f813e4 View commit details
    Browse the repository at this point in the history

  14. fix workflow

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    95b2e64 View commit details
    Browse the repository at this point in the history

  15. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    b84c942 View commit details
    Browse the repository at this point in the history

  16. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    c7ae0df View commit details
    Browse the repository at this point in the history

  17. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    f42cd8b View commit details
    Browse the repository at this point in the history

  18. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    dd6f547 View commit details
    Browse the repository at this point in the history

  19. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    45516df View commit details
    Browse the repository at this point in the history

  20. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    a65ad50 View commit details
    Browse the repository at this point in the history

  21. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    d9f377a View commit details
    Browse the repository at this point in the history

  22. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    057c822 View commit details
    Browse the repository at this point in the history

  23. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    03ea526 View commit details
    Browse the repository at this point in the history

  24. fix lint and build

    @hellwolf
    hellwolf committed Feb 9, 2023
    Configuration menu
    Copy the full SHA
    7ef3de7 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    735c896 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2023

  1. add 9.4.4 to cabal

    @hellwolf
    hellwolf committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    8c4bb9d View commit details
    Browse the repository at this point in the history

  2. pool and its payment primitives

    @hellwolf
    hellwolf committed Feb 14, 2023
    Configuration menu
    Copy the full SHA
    ebf537c View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2023

  1. WIP flow2flow2 for updp fails atm

    @hellwolf
    hellwolf committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    3b5a5f7 View commit details
    Browse the repository at this point in the history

  2. SemanticMoney.t.sol tested

    @hellwolf
    hellwolf committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    83b683e View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2023

  1. added test_UPDP_1Member_ tests

    @hellwolf
    hellwolf committed Feb 21, 2023
    Configuration menu
    Copy the full SHA
    684003b View commit details
    Browse the repository at this point in the history

  2. SuperToken

    @hellwolf
    hellwolf committed Feb 21, 2023
    Configuration menu
    Copy the full SHA
    f686826 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2023

  1. Semantic money spec improvements: 

    - test flow 2-primitive specific properties,
- shift2 does not need to settle,
- remove prim2.
    @hellwolf
    hellwolf committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    29807f1 View commit details
    Browse the repository at this point in the history

  2. make repl-* commands

    @hellwolf
    hellwolf committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    55ed9ab View commit details
    Browse the repository at this point in the history

  3. some WIP checkins

    @hellwolf
    hellwolf committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    a570cf7 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2023

  1. bring back the prim2

    @hellwolf
    hellwolf committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    ad777c7 View commit details
    Browse the repository at this point in the history

  2. SuperToken with distributeFlow

    @hellwolf
    hellwolf committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    b4a762e View commit details
    Browse the repository at this point in the history

  3. added ERC20 approve/allowance code

    @hellwolf
    hellwolf committed Feb 23, 2023
    Configuration menu
    Copy the full SHA
    66410ec View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2023

  1. preliminary wasm wasi build

    @hellwolf
    hellwolf committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    1dc7447 View commit details
    Browse the repository at this point in the history

  2. added ghc-wasm to nix flake

    @hellwolf
    hellwolf committed Feb 24, 2023
    Configuration menu
    Copy the full SHA
    6881379 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. remove sign restrictions for Time and Unit

    @hellwolf
    hellwolf committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    4c3e876 View commit details
    Browse the repository at this point in the history

  2. making Unit int128

    @hellwolf
    hellwolf committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    31dbcfa View commit details
    Browse the repository at this point in the history

  3. more comments to SemanticMoney.sol

    @hellwolf
    hellwolf committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    7fa5268 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2023

  1. using more syntatic sugars from solidity 0.8.19 compiler

    @hellwolf
    hellwolf committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    73b42a3 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    2399acc View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. use EnumerableSet.AddressSet instead

    @hellwolf
    hellwolf committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    e6f282f View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. use function pointers to simplify the test code

    @hellwolf
    hellwolf committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    ebedfda View commit details
    Browse the repository at this point in the history

  2. shorterning some function names

    @hellwolf
    hellwolf committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    39401ad View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2023

  1. add monetary unit laws

    @hellwolf
    hellwolf committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    a463bb3 View commit details
    Browse the repository at this point in the history

  2. Support pool's pending distribution.

    @hellwolf
    hellwolf committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    f04b470 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    4b74733 View commit details
    Browse the repository at this point in the history

  4. some adjustments

    @hellwolf
    hellwolf committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    5b9eaf4 View commit details
    Browse the repository at this point in the history

  5. some fine tuning

    @hellwolf
    hellwolf committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    6fe9954 View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. improve test-coverage

    @hellwolf
    hellwolf committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    ef5370f View commit details
    Browse the repository at this point in the history

  2. allow multiple distributors

    @hellwolf
    hellwolf committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    5685f69 View commit details
    Browse the repository at this point in the history

  3. make pdindex monoid, remove excessive Default instances

    @hellwolf
    hellwolf committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    7cf0dec View commit details
    Browse the repository at this point in the history

  4. add shiftFlow2

    @hellwolf
    hellwolf committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    abe2f71 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2023

  1. Merge branch 'dev' into semantic-money

    @0xdavinchee
    0xdavinchee committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    7c0204a View commit details
    Browse the repository at this point in the history

  2. minor adjustment

    @hellwolf
    hellwolf committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    bc97ad3 View commit details
    Browse the repository at this point in the history

  3. implement shiftFlow2a shiftFlow2b primitives

    @hellwolf
    hellwolf committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    ece3084 View commit details
    Browse the repository at this point in the history

  4. shiftFlow2 for solidity semantic library

    @hellwolf
    hellwolf committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    8d51365 View commit details
    Browse the repository at this point in the history

  5. fine tunings

    @hellwolf
    hellwolf committed Mar 9, 2023
    Configuration menu
    Copy the full SHA
    3d9b238 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. pushing some comments

    @hellwolf
    hellwolf committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    c04c791 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    d5e1978 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2023

  1. create ref-impl folder

    @hellwolf
    hellwolf committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    4ee8024 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into semantic-money

    @0xdavinchee
    0xdavinchee committed Mar 13, 2023
    Configuration menu
    Copy the full SHA
    23a5948 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. added realtime balance functions

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    caa43e3 View commit details
    Browse the repository at this point in the history

  2. [ETHEREUM-CONTRACTS/SDK-CORE] Increase/DecreaseAllowance for ACL Flow… 

    …rate (#1298)

* increase/decrease allowance naive

* increase/decrease token allowance

batchable

* fix expected error

* inc/dec allowance fix

* cfa increase flow rate allowance tests

- add increase/decrease flow rate allowance tests

* cfav1 acl inc/dec allowance cleanup

* inc/dec token allowance batch call tests

* Update CHANGELOG.md

* SDK-Core increase/decrease allowance

- add increaseAllowance and decreaseAllowance for SuperToken
- add batch call support for the above functions as well

* inc/dec flow rate allowance added to sdk-core

- increase and decrease flow rate allowance functions added to sdk-core

* address review comments

- address self created review comments

* cleanup

* undo remove safemath

* address review comments

- rename of parameters
- defend against negative flow rate allowance

* bump versions
    @0xdavinchee @hellwolf
    0xdavinchee authored and hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    dab840f View commit details
    Browse the repository at this point in the history

  3. Add missing index mapping to index events (#1316)

    @kasparkallas @hellwolf
    kasparkallas authored and hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    c4ae1c5 View commit details
    Browse the repository at this point in the history

  4. add certora to the nix flake!

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    8dbe7a7 View commit details
    Browse the repository at this point in the history

  5. certora integration

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    69fad81 View commit details
    Browse the repository at this point in the history

  6. typo

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    1e270bf View commit details
    Browse the repository at this point in the history

  7. minor code block adjustment

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    fadb425 View commit details
    Browse the repository at this point in the history

  8. ToySuperToken.spec WIP

    @hellwolf
    hellwolf committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    f0dc249 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    c49bb08 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2023

  1. [IMPORTANT] Fix a bug in pool claimAll logic 

    New test case added:

- test_pool_multiple_claims test case added
    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    0bbc662 View commit details
    Browse the repository at this point in the history

  2. [IMPORTANT] More view functions to ISuperTokenPool

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    948c611 View commit details
    Browse the repository at this point in the history

  3. [IMPORTANT] Fix a bug in distributeFlow

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    83e518e View commit details
    Browse the repository at this point in the history

  4. Example: Aqueduct

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    21999de View commit details
    Browse the repository at this point in the history

  5. certora spec improvements

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    2ef1ad3 View commit details
    Browse the repository at this point in the history

  6. [SPEC] Fix PDPoolMemberMU.settle logic

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    6082ab6 View commit details
    Browse the repository at this point in the history

  7. [IMPORTANT] Fix PDPoolMemberMU.settle per spec

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    5ee055a View commit details
    Browse the repository at this point in the history

  8. Fix aqueduct logic

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    5e2a47e View commit details
    Browse the repository at this point in the history

  9. minor fix

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    9153170 View commit details
    Browse the repository at this point in the history

  10. minor fix

    @hellwolf
    hellwolf committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    86d1f1d View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. make _claimAll clean again

    @hellwolf
    hellwolf committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    c056cc4 View commit details
    Browse the repository at this point in the history

  2. use env NO_FOUNDRY_TEST_STEPS_LIMIT for longer running tests

    @hellwolf
    hellwolf committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    c5446f0 View commit details
    Browse the repository at this point in the history

  3. use vm.envOr

    @hellwolf
    hellwolf committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    783cdd6 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. [IMPORTANT] _claimAll to use absorbParticlesFromPool

    @hellwolf
    hellwolf committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    51bcc79 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    2116084 View commit details
    Browse the repository at this point in the history

  3. add package.json to solidity-semantic-money

    @hellwolf
    hellwolf committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    dc21f6b View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. disable test:deployment:scripts-js-truffle

    @hellwolf
    hellwolf committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    95e566c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    3884030 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'dev' into semantic-money

    @0xdavinchee
    0xdavinchee committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    aa210cc View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    aebe380 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2023

  1. split ToySuperTokenPool out

    @hellwolf
    hellwolf committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    74c488d View commit details
    Browse the repository at this point in the history

  2. WIP certora rules

    @hellwolf
    hellwolf committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    3461340 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. coding style fixups

    @hellwolf
    hellwolf committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    c0fe8b3 View commit details
    Browse the repository at this point in the history

  2. [IMPORTANT] introduce TokenMonad to simplify storage accesses

    @hellwolf
    hellwolf committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    9584c36 View commit details
    Browse the repository at this point in the history

  3. add rem, and use it in quotrem

    @hellwolf
    hellwolf committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    6d27bd8 View commit details
    Browse the repository at this point in the history

  4. more certora verifications

    @hellwolf
    hellwolf committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    2f96006 View commit details
    Browse the repository at this point in the history

  5. use relative links for semantic money code for now

    @hellwolf
    hellwolf committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    4d2db6b View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. some certora rule updates

    @hellwolf
    hellwolf committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    8ee3239 View commit details
    Browse the repository at this point in the history

  2. split token monad out

    @hellwolf
    hellwolf committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    412c9f1 View commit details
    Browse the repository at this point in the history

  3. WIP certora invariant

    @hellwolf
    hellwolf committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    0fefcd0 View commit details
    Browse the repository at this point in the history

  4. add sload hooks

    @hellwolf
    hellwolf committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    5447d62 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2023

  1. WIP certora invariances

    @hellwolf
    hellwolf committed Mar 29, 2023
    Configuration menu
    Copy the full SHA
    06dc447 View commit details
    Browse the repository at this point in the history

  2. workflow and bash scripts cleanup 

    - temporarily modify `call.deploy-subgraph.yml` for testing
- remove unused commands in subgraph `package.json`
- rename `deploy-all-networks.sh` => `deploy-all-hosted-service-networks.sh` for more explicitness
- add `deploy-all-satsuma-networks.sh` for deploying to all satsuma networks
- move prepare-manifest.sh inside of `deploy-to-(satsuma-network/host-service-network).sh`
- delete `deploy-to-hosted-service.sh`
    @0xdavinchee
    0xdavinchee committed Mar 29, 2023
    Configuration menu
    Copy the full SHA
    9efa5f3 View commit details
    Browse the repository at this point in the history

  3. Revert "workflow and bash scripts cleanup" 

    This reverts commit 9efa5f3.
    @0xdavinchee
    0xdavinchee committed Mar 29, 2023
    Configuration menu
    Copy the full SHA
    dcaa9d9 View commit details
    Browse the repository at this point in the history

  4. add singed int range checks

    @hellwolf
    hellwolf committed Mar 29, 2023
    Configuration menu
    Copy the full SHA
    03b8dd2 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    3ef9211 View commit details
    Browse the repository at this point in the history

  2. token monad with eff

    @hellwolf
    hellwolf committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    080d59b View commit details
    Browse the repository at this point in the history

  3. fix certora methods block

    @hellwolf
    hellwolf committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    e061a08 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2023

  1. added test_1to1_flow_updates test case

    @hellwolf
    hellwolf committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    3bd9a83 View commit details
    Browse the repository at this point in the history

  2. WIP certora rules

    @hellwolf
    hellwolf committed Apr 5, 2023
    Configuration menu
    Copy the full SHA
    53dd6ac View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2023

  1. added test_erc20_self_transfer case

    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    0ed0069 View commit details
    Browse the repository at this point in the history

  2. update certora-cli

    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    e5fbcc3 View commit details
    Browse the repository at this point in the history

  3. added TokenEff: Alternative monadic interface for semantic money usin… 

    …g library
    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    b0adc0e View commit details
    Browse the repository at this point in the history

  4. cleanup toysupertoken & make new pools clones of the master copy.

    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    a9fd15a View commit details
    Browse the repository at this point in the history

  5. consistent .solhint

    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    3673263 View commit details
    Browse the repository at this point in the history

  6. WIP certora rules

    @hellwolf
    hellwolf committed Apr 6, 2023
    Configuration menu
    Copy the full SHA
    bbd8b22 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2023

  1. WIP certora stuff

    @hellwolf
    hellwolf committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    1fa9e93 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. [IMPORTANT] Adjustments to SemanticMoney

    @hellwolf
    hellwolf committed Apr 10, 2023
    Configuration menu
    Copy the full SHA
    e9f900a View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2023

  1. Merge branch 'dev' into semantic-money

    @0xdavinchee
    0xdavinchee committed Apr 11, 2023
    Configuration menu
    Copy the full SHA
    c9bca82 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2023

  1. split ToySuperfluidToken from ToySuperToken 

    - ToySuperToken is ToySuperfluidToken + ERC20 + fancier token monad
  usages
    @hellwolf
    hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    c6ae9c6 View commit details
    Browse the repository at this point in the history

  2. fix some solc warnings

    @hellwolf
    hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    c3ec904 View commit details
    Browse the repository at this point in the history

  3. certora refactoring

    @hellwolf
    hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    4711d2c View commit details
    Browse the repository at this point in the history

  4. [IMPORTANT] simple _adjustBuffer function works!

    @hellwolf
    hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    4c5ddff View commit details
    Browse the repository at this point in the history

  5. A bit looser type for TransactionResponse (#1358)

    @kasparkallas @hellwolf
    kasparkallas authored and hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    1f1481a View commit details
    Browse the repository at this point in the history

  6. [WORKFLOW/ETHEREUM-CONTRACTS] Fix Up Coverage (#1348) 

    * fix up coverage tests

- Add some tests to be pedantic for BatchLiquidator/SuperAppBaseCFA foundry
- Recover CFAv1Library and IDAv1Library tests
- fix typo in SuperToken.sol
- extract more foundry specific tests

* ci.feature codecov

* remove extraction step

* fix up coverage

- add tests for supertokenlibv1 coverage
- rename idaV1Lib => superTokenLibIDA and cfaV1Lib => superTokenLibCFA

* add comments for reason for skipping coverage

* cleanup

- add back extraction
- move ignore list to codecov.yml
- remove skipFiles from solcover.js
- add test for SF_GOV_INVALID_LIQUIDATION_OR_PATRICIAN_PERIOD
- add safegas prop test
- try out separate upload to allow codecov to merge on their end

* >= 63

the multiplication takes some gas

* bring back extract n merge

* it likes the skipFiles

no extract step + add back skipFiles

* extraction required

* safe gas

* out of gas consistency

* remove safe gas lib test

* cleanup extraction!

* Revert "cleanup extraction!"

This reverts commit 861240c.

* cleaner extraction

- extract out only packages/ethereum-contracts/contracts for coverage
- remove files we don't care about for coverage (see .solcover.js)

* remove mocks
    @0xdavinchee @hellwolf
    0xdavinchee authored and hellwolf committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    29a9617 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2023

  1. add buffer to distributeFlow

    @hellwolf
    hellwolf committed Apr 13, 2023
    Configuration menu
    Copy the full SHA
    9a1ec20 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. Explicitly specify the decimal expectations.

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    721d7f5 View commit details
    Browse the repository at this point in the history

  2. test_flowrate_unit_quotrem property test

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    ca7aff4 View commit details
    Browse the repository at this point in the history

  3. Aqueduct example update: unit as downscaled flow rate 

    - Downscale flow rate by 1e9 for unit values.
- Test commented and updated.
    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    c777bed View commit details
    Browse the repository at this point in the history

  4. WIP certora

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    a03906d View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    703cdae View commit details
    Browse the repository at this point in the history

  6. fix flake again

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    8673687 View commit details
    Browse the repository at this point in the history

  7. fix flake again

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    a4b036d View commit details
    Browse the repository at this point in the history

  8. more comment about fixed-point arithmetic

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    5a539d0 View commit details
    Browse the repository at this point in the history

  9. certora wip: make it pooless again

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    20e668b View commit details
    Browse the repository at this point in the history

  10. fix buffer logic

    @hellwolf
    hellwolf committed Apr 25, 2023
    Configuration menu
    Copy the full SHA
    861d0e2 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2023

  1. aqueduct small refactoring

    @hellwolf
    hellwolf committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    2418dc7 View commit details
    Browse the repository at this point in the history

  2. small improvement to test setup

    @hellwolf
    hellwolf committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    6245411 View commit details
    Browse the repository at this point in the history

  3. added test_pool_random_seqs for new counter cases

    @hellwolf
    hellwolf committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    f6d1204 View commit details
    Browse the repository at this point in the history

  4. api improvement to distributeFlow

    @hellwolf
    hellwolf committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    69ebad0 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed Apr 26, 2023
    Configuration menu
    Copy the full SHA
    10798a0 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2023

  1. add foundry profile build-without-ir

    @hellwolf
    hellwolf committed Apr 27, 2023
    Configuration menu
    Copy the full SHA
    54c4bfe View commit details
    Browse the repository at this point in the history

  2. disable ir by default

    @hellwolf
    hellwolf committed Apr 27, 2023
    Configuration menu
    Copy the full SHA
    c95088d View commit details
    Browse the repository at this point in the history

  3. major fix to pool flow adjustment logic

    @hellwolf
    hellwolf committed Apr 27, 2023
    Configuration menu
    Copy the full SHA
    f4b5b72 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2023

  1. make build-src and test use different outputs

    @hellwolf
    hellwolf committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    665e43d View commit details
    Browse the repository at this point in the history

  2. remove rtb_per_unit

    @hellwolf
    hellwolf committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    4b282c2 View commit details
    Browse the repository at this point in the history

  3. fix pool adjustment flow logic

    @hellwolf
    hellwolf committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    5120dda View commit details
    Browse the repository at this point in the history

  4. fine tuning Aqueduct

    @hellwolf
    hellwolf committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    2d6b14d View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2023

  1. some reformatting

    @hellwolf
    hellwolf committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    8964829 View commit details
    Browse the repository at this point in the history

  2. remove the deliberate revert from TokenMonad

    @hellwolf
    hellwolf committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    e15b243 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

  1. correct implementation _disconnectedMembers, with tests

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    c5eb79e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    9e83aae View commit details
    Browse the repository at this point in the history

  3. update fondry version in nix flake

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    f0a04e8 View commit details
    Browse the repository at this point in the history

  4. added README.md

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    7c3a195 View commit details
    Browse the repository at this point in the history

  5. add call.test-solidity-semantic-money.yml

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    ce6bcfa View commit details
    Browse the repository at this point in the history

  6. fix workflow

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    1feae32 View commit details
    Browse the repository at this point in the history

  7. fine tuning workflows

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    8f37cc7 View commit details
    Browse the repository at this point in the history

  8. fine tuning workflows

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    0a43ae4 View commit details
    Browse the repository at this point in the history

  9. fine tuning workflows

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    85f8125 View commit details
    Browse the repository at this point in the history

  10. fine tuning

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    3a3cbda View commit details
    Browse the repository at this point in the history

  11. fix a typo

    @hellwolf
    hellwolf committed May 2, 2023
    Configuration menu
    Copy the full SHA
    ae77b4d View commit details
    Browse the repository at this point in the history

Commits on May 3, 2023

  1. update README

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    726afc9 View commit details
    Browse the repository at this point in the history

  2. do not access _settled_value directly

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    f5cb960 View commit details
    Browse the repository at this point in the history

  3. rename to ISuperfluidPoolOperator

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    c05d1e0 View commit details
    Browse the repository at this point in the history

  4. some mroe comments

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    aa2ffb9 View commit details
    Browse the repository at this point in the history

  5. fix an edge case of test_flowrate_mul_unit_distributive_law

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    7de79f5 View commit details
    Browse the repository at this point in the history

  6. added additional property (re deposit) to test

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    6e036ad View commit details
    Browse the repository at this point in the history

  7. add some docs

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    8ddf651 View commit details
    Browse the repository at this point in the history

  8. docs/pool-concept-overview.png

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    23c0e6c View commit details
    Browse the repository at this point in the history

  9. docs/pool-concept-overview.png

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    c47edfb View commit details
    Browse the repository at this point in the history

  10. added getDistributionFlowRate

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    9b5393f View commit details
    Browse the repository at this point in the history

  11. added == operator overloading for monetary types

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    bfa212c View commit details
    Browse the repository at this point in the history

  12. added docs/aqueduct-remainder-flow-adjustment.png

    @hellwolf
    hellwolf committed May 3, 2023
    Configuration menu
    Copy the full SHA
    fc2e956 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2023

  1. some aqueduct fix tuning

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    725a73c View commit details
    Browse the repository at this point in the history

  2. updated diagrams for semantic money

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    3565bce View commit details
    Browse the repository at this point in the history

  3. fine tune aqueduct

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    08025c4 View commit details
    Browse the repository at this point in the history

  4. update foundry version in nix flake

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    226f655 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/dev' into semantic-money

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    a2997bf View commit details
    Browse the repository at this point in the history

  6. limit test_random_seqs to 20 steps max

    @hellwolf
    hellwolf committed May 4, 2023
    Configuration menu
    Copy the full SHA
    5716f0e View commit details
    Browse the repository at this point in the history

Commits on May 5, 2023

  1. Merge branch 'dev' into semantic-money

    @0xdavinchee
    0xdavinchee committed May 5, 2023
    Configuration menu
    Copy the full SHA
    60d0c2f View commit details
    Browse the repository at this point in the history