Skip to content

Activity

Showing most recent first

Deleted branch

QGarcherydeleted certora/exec-liquidate-buffer • 
20 days ago

Merge pull request #708 from morpho-org/certora/exec-liquidate-buffer

Pull request merge
QGarcherypushed 31 commits to main • a23260a…9e2b075 • 
20 days ago

Deleted branch

MathisGDdeleted certora/simplify-summary • 
21 days ago

Merge pull request #722 from morpho-org/certora/simplify-summary

Pull request merge
MathisGDpushed 9 commits to main • 831e09a…a23260a • 
21 days ago

Deleted branch

MathisGDdeleted certora/remove-gambit • 
23 days ago

Merge pull request #723 from morpho-org/certora/remove-gambit

Pull request merge
MathisGDpushed 2 commits to main • d9a4a03…831e09a • 
23 days ago

Update certora/README.md

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • 0202ea3…1831743 • 
23 days ago

docs: add comment about the rule

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • 63a90eb…0202ea3 • 
23 days ago

chore: remove gambit

QGarcherycreated certora/remove-gambit • 5045ddb • 
24 days ago

Merge remote-tracking branch 'origin/main' into certora/exec-liquidat…

QGarcherypushed 15 commits to certora/exec-liquidate-buffer • 7655e01…63a90eb • 
24 days ago

docs: update README

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • db3a34e…7655e01 • 
24 days ago

docs: comments about require and assert

QGarcherypushed 2 commits to certora/exec-liquidate-buffer • 9ee0ccf…db3a34e • 
24 days ago

chore: add destructive optimizations

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • 5c9b5fb…9ee0ccf • 
24 days ago

refactor: put function definition at the top of the file

QGarcherypushed 1 commit to certora/simplify-summary • 79150b0…afbc77d • 
26 days ago

refactor: inline collateralAfter

QGarcherypushed 1 commit to certora/simplify-summary • a835511…79150b0 • 
26 days ago

refactor: assert uint256

QGarcherypushed 1 commit to certora/simplify-summary • a97a68c…a835511 • 
26 days ago

refactor: use function for mulDivUp

QGarcherypushed 2 commits to certora/simplify-summary • c63eba0…a97a68c • 
26 days ago

chore: increase timeout stayHealthy

QGarcherypushed 1 commit to certora/simplify-summary • 1928333…c63eba0 • 
27 days ago

fix: syntax error

QGarcherypushed 1 commit to certora/simplify-summary • 979e692…1928333 • 
27 days ago

Deleted branch

MerlinEgalitedeleted chore/funding • 
on Feb 21

Merge pull request #721 from morpho-org/chore/funding

Pull request merge
MerlinEgalitepushed 2 commits to main • e701e7e…d9a4a03 • 
on Feb 21

refactor: simplify summarization of mulDiv and price

QGarcherypushed 1 commit to certora/simplify-summary • e701e7e…979e692 • 
on Feb 21

Merge pull request #720 from morpho-org/fix/foundry-1.0

QGarcherycreated certora/simplify-summary • e701e7e • 
on Feb 21

chore: add verifier for op funding

MerlinEgalitecreated chore/funding • 493e956 • 
on Feb 21

refactor: remove unused hint

QGarcherypushed 1 commit to certora/liquidate-buffer • edda928…c918495 • 
on Feb 17

refactor: restrict proof

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • bb17fe9…5c9b5fb • 
on Feb 17

fix: totalBorrowAssets declaration

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • b88e4fe…bb17fe9 • 
on Feb 17

fix: collateralization assumption

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • f6148ee…b88e4fe • 
on Feb 17

refactor: simplify assumptions and multi-assert

QGarcherypushed 1 commit to certora/exec-liquidate-buffer • 997629b…f6148ee • 
on Feb 16

feat: finding the right hint for the prover

QGarcherypushed 1 commit to certora/liquidate-buffer • 2287500…edda928 • 
on Feb 16