Code

Ci/semgrep#2

Code

Merged

obeys merged 31 commits intoobeys:add-semgrepobeys/ubiquity-dollar:add-semgrepfrom rndquu:ci/semgreprndquu/ubiquity-dollar:ci/semgrepCopy head branch name to clipboardSep 30, 2024

+650-103

Commits

Commits on Aug 21, 2024

• test(UbiquityPoolFacet): add invariant tests for collateral token addition and price feed setup

  alexandr-masl

  committed
  9e0d5fc

Commits on Aug 25, 2024

• test(ubiquityPoolFacet): add invariant test for Ubiquity Dollar minting limits with fuzzing

  alexandr-masl

  committed
  42d739a

Commits on Aug 27, 2024

• test(ubiquity-pool-facet): add collateral, ceiling, redeem, and dollar price manipulation tests

  alexandr-masl

  committed
  6689906

Commits on Aug 29, 2024

• test(UbiquityPoolFacetInvariantTest): add collateral price manipulation and update invariant

  alexandr-masl

  committed
  142f779

• test(UbiquityPoolFacetInvariantTest): delete irrelevant logs

  alexandr-masl

  committed
  5407774

Commits on Aug 31, 2024

• test(lib-ubiquity-pool): add conservative estimates for price and fees

  alexandr-masl

  committed
  dd94c7e

• test(pool-facet-handler): add fuzzed parameters to dollar price manipulation tests

  alexandr-masl

  committed
  989d9c6

• test(pool-facet-handler): add usd price manipulations

  alexandr-masl

  committed
  1b7f1da

Commits on Sep 2, 2024

• test(pool-facet-handler): eth/usd price manipulations

  alexandr-masl

  committed
  fd8acb6

• test(pool-facet-handler): add docs

  alexandr-masl

  committed
  26abd14

• test(pool-facet-handler): deted hard params for redeemDollar

  alexandr-masl

  committed
  dfff4f3

Commits on Sep 3, 2024

• test(pool-facet-handler): update assume statements in redeemDollar and mintUbiquityDollars

  alexandr-masl

  committed
  b49a875

Commits on Sep 10, 2024

• test(pool-facet-handler): refactor the income fuzz parameters

  alexandr-masl

  committed
  44e9bf5

Commits on Sep 11, 2024

• test(pool-facet-invariant): add new invariant checks for minting and redemption

  alexandr-masl

  committed
  316d557

• test(setting-up-ci): add deep-invariant ci sttings

  alexandr-masl

  committed
  16de33c

Commits on Sep 13, 2024

• test(ci-settings): update fuzz and invariant ci settings

  alexandr-masl

  committed
  ae26dfb

Commits on Sep 18, 2024

• test: add an invariant profile to the foundry configuration

  alexandr-masl

  committed
  e5c687e

Commits on Sep 23, 2024

• Merge pull request ubiquity#953 from alexandr-masl/invariant_testing

  Show description for c8e4c35
  rndquu

  authored
  c8e4c35

• docs: auto generate NATSPEC docs

  github-actions[bot]

  committed
  56f03ed

• ci: update deep-invariant.yml

  rndquu

  authored
  96dae22

• Merge pull request ubiquity#963 from ubiquity/rndquu-patch-3

  Show description for c5891e9
  rndquu

  authored
  c5891e9

Commits on Sep 30, 2024

• Merge branch 'pull/961' into development

  rndquu

  committed
  f128408

• ci: test

  rndquu

  committed
  aa758b7

• ci: test

  rndquu

  committed
  3741d4c

• ci: test

  rndquu

  committed
  a88e853

• ci: test

  rndquu

  committed
  70071d7

• ci: test

  rndquu

  committed
  27c3e39

• ci: test

  rndquu

  committed
  e68c548

• ci: test

  rndquu

  committed
  496513b

• ci: test

  rndquu

  committed
  e21970e

• ci: test

  rndquu

  committed
  258ff61