morpho-org/morpho-utils

Issues

• Add `unsignedAbs`

  #110 opened a year ago by Rubilmax
  0

• Add `mulDivUp` and `mulDivDown`

  #116 opened a year ago by MerlinEgalite
  0

• Should we move to the `MIT` license?

  #100 opened 2 years ago by MerlinEgalite
  5

• CompoundMath's fixed-point arithmetics known limitations

  #50 opened 2 years ago by Rubilmax
  4

• Reflexion about morpho-utils testing

  #44 opened 2 years ago by MathisGD
  8

• Formally prove `log2`

  #90 opened 2 years ago by MathisGD
  4

• Formally prove `functionDelegateCall`

  #91 opened 2 years ago by MathisGD
  3

• Rename compound math functions

  #21 opened 2 years ago by pakim249CAL
  7

• Add ERC4626 vault

  #98 opened 2 years ago by pakim249CAL
  0

• Factorize `mul`, `div`, `weightedAvg` to minimize bytecode size

  #77 opened 2 years ago by Rubilmax
  8

• Harmonize `div` and `mul` between constants

  #42 opened 2 years ago by MerlinEgalite
  3

• Harmonize NATSPECs

  #96 opened 2 years ago by MerlinEgalite
  0

• Implement meta transactions re-usable contract?

  #80 opened 2 years ago by MerlinEgalite
  0

• Update `log2` tests

  #93 opened 2 years ago by MathisGD
  0

• Add `log2`

  #12 opened 2 years ago by MerlinEgalite
  0

• Uniformize rounding naming

  #58 opened 2 years ago by MathisGD
  1

• Avoid dependency version incompatibilities at compilation

  #79 opened 2 years ago by Rubilmax
  7

• Formally prove `morpho-utils`

  #56 opened 2 years ago by MathisGD
  1

• Replace `iszero(gt(x, constant))` with `lt(x, constant + 1)`

  #85 opened 2 years ago by Rubilmax
  0

• WadRayMath should be extended with directional rounding

  #55 opened 2 years ago by pakim249CAL
  1

• Minor improvements formal verif

  #64 opened 2 years ago by MathisGD
  0

• Use `forge fmt`

  #69 opened 2 years ago by MathisGD
  0

• License Identifier `GNU APGLv3` is not valid: replace with `AGPL-3.0-only`

  #82 opened 2 years ago by Rubilmax
  2

• Create optimized SafeCast lib

  #65 opened 2 years ago by MerlinEgalite
  5

• Move mocks from `certora` and `test` folders to a common place

  #71 opened 2 years ago by MerlinEgalite
  2

• Refactoring proposal

  #57 opened 2 years ago by MathisGD
  0

• Comparing greater than against rounded down number

  #22 opened 2 years ago by pakim249CAL
  2

• Implement similar maths features in TypeScript & publish package

  #48 opened 2 years ago by Rubilmax
  7

• Optimize percentage average

  #39 opened 2 years ago by MerlinEgalite
  0

• Add pre-commit hook

  #23 opened 2 years ago by MerlinEgalite
  0

• Extract fuzzing test branches to separate, pre-assumed fuzzing test

  #27 opened 2 years ago by Rubilmax
  2

• Update README and add external contributors

  #8 opened 2 years ago by MerlinEgalite
  0

• Implement percentage math's lib

  #7 opened 2 years ago by MerlinEgalite
  0

• Implement CI

  #5 opened 2 years ago by MerlinEgalite
  0

• Add gas comparisons in CI

  #6 opened 2 years ago by MerlinEgalite
  0