issues
search
morpho-org
/
morpho-token-upgradeable
Other
7
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Certora] Delegation invariant
#102
colin-morpho
opened
20 hours ago
0
Nested possible reverts
#101
colin-morpho
opened
1 week ago
1
[Certora] Move munged folder up
#100
QGarchery
opened
1 week ago
0
[Certora] Delegation tweaks
#99
QGarchery
closed
1 week ago
0
[Certora] Check Missing Reverts
#98
colin-morpho
opened
1 week ago
1
[Certora] Check underflow and overflows.
#97
colin-morpho
opened
2 weeks ago
2
chore: poc
#96
MathisGD
closed
2 weeks ago
0
New deployment script (Base)
#95
MathisGD
closed
2 weeks ago
0
New deployment script (Ethereum)
#94
MathisGD
closed
2 weeks ago
0
[Certora] Verify mint and burn
#93
colin-morpho
opened
2 weeks ago
3
[Certora] Verify delegation correctness
#92
colin-morpho
opened
2 weeks ago
0
[Certora] Verify ERC20 compliance
#91
colin-morpho
closed
1 week ago
1
[Certora] Verify reentrancy
#90
colin-morpho
closed
2 weeks ago
2
Improve wrapper tests
#89
MathisGD
closed
2 weeks ago
0
feat: add cantina audit
#88
Jean-Grimal
closed
2 weeks ago
0
test: deployment
#87
Jean-Grimal
closed
3 weeks ago
0
Set Deployment Salts
#86
Jean-Grimal
closed
1 week ago
0
[Certora] Verification Morpho tokens
#85
colin-morpho
closed
2 weeks ago
2
Formal Verification
#84
colin-morpho
opened
3 weeks ago
0
fix `testMoveDelegateVotesDifferentAccounts`
#83
MathisGD
closed
3 weeks ago
0
Write deployment tests
#82
Jean-Grimal
closed
1 week ago
0
feat: deployment script
#81
Jean-Grimal
closed
2 weeks ago
1
Audit fixes
#80
Jean-Grimal
closed
4 weeks ago
0
Spearbit fixes
#79
Jean-Grimal
closed
1 month ago
0
Oz fixes
#78
Jean-Grimal
closed
1 month ago
0
Fix #6
#77
Jean-Grimal
closed
1 month ago
0
Fix #2
#76
Jean-Grimal
closed
1 month ago
0
Fix #1
#75
Jean-Grimal
closed
1 month ago
0
`abstracts` folder
#74
MathisGD
closed
1 month ago
4
test: fix testRevertMigration
#73
MathisGD
closed
1 month ago
0
Move DelegationToken in an `abstract` folder
#72
MathisGD
closed
1 month ago
0
fix: L-04
#71
Jean-Grimal
closed
1 month ago
0
Fix N-06
#70
Jean-Grimal
closed
1 month ago
2
Fix N-02
#69
Jean-Grimal
closed
1 month ago
0
Complete list of features in README
#68
QGarchery
closed
1 month ago
0
Fix N-03
#67
MerlinEgalite
closed
1 month ago
0
test: fix migrater typo
#66
Jean-Grimal
closed
1 month ago
0
test: full coverage
#65
Jean-Grimal
closed
1 month ago
0
test: events
#64
Jean-Grimal
closed
4 weeks ago
0
test: macthing errors
#63
Jean-Grimal
closed
1 month ago
0
struct input `delegateWithSig`
#62
MathisGD
closed
1 month ago
3
Add license
#61
QGarchery
closed
1 month ago
0
Internal tests
#60
QGarchery
closed
1 month ago
0
Document edge cases of delegation
#59
QGarchery
closed
1 month ago
0
Finish test todo list
#58
QGarchery
closed
1 month ago
0
Typo: `migrater` -> `migrator`
#57
QGarchery
closed
1 month ago
2
Parameters of the `delegateWithSig` function
#56
QGarchery
closed
1 month ago
1
Changes compared to the legacy token
#55
QGarchery
closed
1 month ago
0
Write deployment script
#54
QGarchery
closed
1 week ago
0
Rename DelegationTokenStorage
#53
colin-morpho
closed
1 month ago
0
Next