issues
search
morpho-org
/
morpho-blue
🟦 Morpho Blue Protocol
https://morpho.org
Other
143
stars
53
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix invariants in CI
#706
QGarchery
closed
4 days ago
0
[Certora] timeout liquidate buffer
#705
QGarchery
closed
1 week ago
1
[Certora] Liquidate buffer
#704
QGarchery
opened
1 week ago
0
Re-verify on etherscan after #702
#703
MathisGD
opened
3 weeks ago
0
fix little inaccuracy in domain separator docs
#702
MathisGD
closed
3 weeks ago
0
[Certora] `harness` directory name
#701
colin-morpho
opened
1 month ago
0
[Certora] Improve utility functions access
#700
colin-morpho
closed
1 month ago
0
Improve MorphoHarness and create a Util file
#699
QGarchery
closed
1 month ago
0
chore(deps): bump secp256k1 from 4.0.3 to 4.0.4
#698
dependabot[bot]
closed
1 month ago
1
Fix StayHealthy timeout
#697
QGarchery
closed
1 month ago
0
[Certora] Quick refactor
#696
QGarchery
closed
1 month ago
0
Tests: fix CI with precise computations
#695
QGarchery
closed
2 months ago
0
update audit
#694
MathisGD
closed
2 months ago
0
[Certora] New syntax for enabling bitvector theory
#693
QGarchery
closed
2 months ago
0
test: update halmos tests for new version
#692
daejunpark
closed
2 months ago
1
Update formal verification
#691
QGarchery
closed
2 months ago
1
docs: fix spelling issues
#690
nnsW3
closed
3 months ago
0
[Certora] Improve assets accounting specification
#689
QGarchery
closed
2 months ago
0
docs: fix typo
#688
MerlinEgalite
closed
3 months ago
0
i
#687
hattiepwvi
closed
4 months ago
0
fix: typos
#686
omahs
closed
4 months ago
0
chore(deps): bump braces from 3.0.2 to 3.0.3
#685
dependabot[bot]
closed
4 months ago
0
[Certora] Stay healthy liquidate
#684
QGarchery
closed
2 months ago
0
Precise dealt amount liquidate
#683
QGarchery
closed
5 months ago
0
`forge t` failing on `main`
#682
MathisGD
closed
5 months ago
0
Improve bounds in tests
#681
QGarchery
closed
6 months ago
0
boundUnhealthyPosition does not use amountCollateral at all
#680
MathisGD
closed
6 months ago
0
[Certora] Last timeouts
#679
QGarchery
closed
4 months ago
0
chore: remove 'draft' overlay of cantina managed audit
#678
MathisGD
closed
7 months ago
0
Halmos: Few more basic rules
#677
MathisGD
closed
7 months ago
0
[Certora] fix exact math timeout
#676
QGarchery
closed
7 months ago
0
[Halmos] Setup for verification and first invariants
#675
QGarchery
closed
7 months ago
0
whitepaper update
#674
MathisGD
closed
8 months ago
2
[Certora] Update CVL version 7.0.7
#673
QGarchery
closed
8 months ago
0
Morpho pinned to solc 0.8.19 make it incompatible with latest OpenZeppelin
#672
codekoriko
closed
8 months ago
6
[Certora] Complete the idToMarketParams invariant
#671
QGarchery
closed
9 months ago
0
[audit]: adding the cantina competition report
#670
tomrpl
closed
9 months ago
0
[AUDIT] update cantina report
#669
tomrpl
closed
9 months ago
3
are you deploy to Sepolia Testnet yet?
#667
codekoriko
closed
10 months ago
1
[Certora] Update to v6 of the prover
#666
QGarchery
closed
10 months ago
0
Update whitepaper with correct market naming
#665
MerlinEgalite
closed
8 months ago
1
fix(ci): fix npm-release action
#664
Rubilmax
closed
10 months ago
0
Fix NPMjs deployment
#663
Rubilmax
closed
10 months ago
0
Cantina Managed report is still draft
#662
Rubilmax
closed
10 months ago
1
chore: add competition findings
#661
MerlinEgalite
closed
10 months ago
0
Should `expectedAssets` precise the rounding
#660
MathisGD
closed
10 months ago
2
[Certora] Equivalent input of liquidate
#659
QGarchery
closed
9 months ago
0
Certora README small fix
#657
QGarchery
closed
11 months ago
0
test(authorization): front-run address(0) authorization
#656
Rubilmax
closed
11 months ago
0
test(irm): dont fuzz irm
#655
Rubilmax
closed
11 months ago
0
Next