-
Notifications
You must be signed in to change notification settings - Fork 3.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Prover] Added DeFi examples #13281
[Prover] Added DeFi examples #13281
Conversation
⏱️ 2h 37m total CI duration on this PR
🚨 1 job on the last run was significantly faster/slower than expected
|
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #13281 +/- ##
===========================================
- Coverage 71.9% 58.4% -13.6%
===========================================
Files 2314 821 -1493
Lines 455089 197405 -257684
===========================================
- Hits 327642 115411 -212231
+ Misses 127447 81994 -45453 ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thanks!
cc9e824
to
da1da17
Compare
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
- Created two DeFi examples, revamping the rounding error examples - One is a simple dex pool based on Uniswap V1 - Another is a simple reserve-backed currency system - Defined the safety properties for the examples, and proved them with Move Prover
da1da17
to
28b67a4
Compare
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
✅ Forge suite
|
✅ Forge suite
|
Description