morpho-org metamorpho issues

morpho-org / metamorpho

MetaMorpho

https://morpho.org

Other

57 stars 26 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[Certora] Update morpho-blue

#430 QGarchery closed 2 weeks ago
0
chore(deps): bump secp256k1 from 4.0.3 to 4.0.4

#429 dependabot[bot] closed 1 month ago
0
Update CI to avoid cache failures

#428 QGarchery closed 2 months ago
0
Fix name of the solc binaries for Certora

#427 QGarchery closed 3 months ago
0
[Certora] fix typos

#426 omahs closed 3 months ago
0
Fix typos

#425 cratiu222 closed 4 months ago
1
docs(pkg): add jsdoc

#424 Rubilmax closed 4 months ago
1
Docs improvements

#423 nnsW3 closed 4 months ago
1
Re-verify code after #420

#422 MathisGD opened 4 months ago
0
[Certora] Fix timeouts

#421 QGarchery closed 4 months ago
0
Reallocate natspec

#420 QGarchery closed 4 months ago
0
[Certora] Supply cap

#419 QGarchery closed 2 months ago
1
[Certora] Added sanity checks for MarketInteractions

#418 jhoenicke closed 7 months ago
0
[Certora] import invariant statement

#417 QGarchery closed 7 months ago
0
[Certora] fix revert timeout

#416 QGarchery closed 7 months ago
0
Add SPDX identifier to ERC1820Registry.sol

#415 Jean-Grimal closed 7 months ago
2
Add BUSL license text & bump node version

#414 QGarchery closed 3 months ago
3
[Certora] Implement reviews suggestions

#413 QGarchery closed 7 months ago
0
Proposal for additional verification specs

#412 daejunpark closed 4 months ago
2
[Certora] Fix solver setup

#411 QGarchery closed 7 months ago
0
[Certora] Market interactions

#410 QGarchery closed 8 months ago
0
[Certora] Timelock computations

#409 QGarchery closed 8 months ago
0
[Certora] Switch to stable version of the prover

#408 QGarchery closed 8 months ago
0
Switch back from staging to the stable version of CVL

#407 QGarchery closed 8 months ago
0
[Certora] positive last update

#406 QGarchery closed 9 months ago
0
[Certora] Documentation & cleaning

#405 QGarchery closed 8 months ago
0
[AUDIT]: adding cantina competition periphery report

#404 tomrpl closed 9 months ago
0
[audit]: adding the cantina competition periphery report

#403 tomrpl closed 9 months ago
0
[AUDIT] update audit report

#402 tomrpl closed 9 months ago
0
use deployCode in IntegrationTest so solidity version is not fixed

#401 adhusson closed 9 months ago
0
[Certora] First liveness properties

#400 QGarchery closed 9 months ago
0
[Certora] Forced market removal independence

#399 QGarchery closed 10 months ago
0
[Certora] Immutability

#398 QGarchery closed 9 months ago
0
Getter directly returning the list of markets in queue

#397 MerlinEgalite opened 10 months ago
2
[Certora] Reentrancy

#396 QGarchery closed 9 months ago
0
test(hardhat): use pyramidal deposits/withdraws

#395 Rubilmax closed 9 months ago
2
Document other emergency situations

#394 QGarchery opened 10 months ago
0
[Certora] Enabled flag

#393 QGarchery closed 9 months ago
0
Add multicall encoder

#392 Rubilmax closed 10 months ago
1
Documentation: having an idle market can avoid some edge cases

#391 MerlinEgalite closed 7 months ago
1
[Certora] Reverts

#390 QGarchery closed 10 months ago
0
[Certora] Roles tree

#389 QGarchery closed 10 months ago
0
chore: use toplevel out/ for importing Morpho bytecode

#388 adhusson closed 10 months ago
1
[Certora] Consistent pending values

#387 QGarchery closed 10 months ago
0
Fix submit guardian specification

#386 QGarchery closed 10 months ago
0
[Certora] Consistent State

#385 QGarchery closed 10 months ago
0
[Certora] Consistent State (old)

#384 QGarchery closed 10 months ago
1
Create customizable, emergency EOA bundles and reference create-safe-tx

#383 Rubilmax opened 10 months ago
0
[Certora] Tokens

#382 QGarchery closed 8 months ago
0
chore: add competition

#381 MerlinEgalite closed 10 months ago
1