opynfinance / GammaProtocol

100%

master: 98%

LAST BUILD ON BRANCH certora/specs

branch: certora/specs

CHANGE BRANCH

x

Reset

• certora/specs
• master
• task/library-marginAccount
• task/oTokenFactoy-error-code
• task/structure-setup
• feature/oToken
• task/code-structure
• task/project-structure
• interface/Whitelist
• interface/Otoken
• interface/AddressBook
• interface/margin-pool
• feature/whitelist-otoken
• task/update-git-hook
• oz-folder-structure
• otoken
• otoken-init
• feature/whitelist-collateral
• Add-usd-gas-report
• otoken-erc20
• feature/MarginAccount
• feature/deposit-args
• feature/weth
• feature/pool-module
• test/factory-otoken
• test/otoken-integration-test
• feature/actions-args-parser
• feature/open-vault-args
• feature/withdraw-args
• feature/mint-burn-args
• feature/settleVault-args
• feature/exercise-args
• feature/timelock-module
• feature/upgradeability
• feature/int256-lib
• interface/oracle
• feature/marginaccount-lib
• test-improvements
• feature/init-oracle
• feature/oracle-getters
• feature/calculator-getExceedMargin
• task/improvve-marginpool-tests
• feature/oracle-setters
• feature/check-periods
• feature/set-price
• task/remove-weth-addrbook
• task/fix-warnings
• feature/dispute-price
• feature/isValidState
• task/update-readme
• task/pr-template
• feature/multiple-pool-module
• task/fix-crytic-warnings
• task/crytic-cleanup
• task/remove-account-owner
• task/contract-size-check
• task/update-fixedpoint
• task/improve-oracle
• task/orcle-pricer
• test/calculator-test-engine
• task-oracle-disputer
• feature/compoundPicer
• task/calculator-update
• test/chainlink-pricer
• feature/exercise
• feature/settle-vault
• test/ACL-factory
• task/refactor
• task/update-payout
• fix-crytic
• task/reopen-echidna
• controller-naming
• task/upgradeability
• test/naked-puts
• task/update-comments
• test/puts-test-engine
• test/short-call-spread
• test/long-put-spread
• task/rename
• Actions/naming
• oTokenFactory/naming
• Otoken/naming
• fix/year-string
• task/227
• task/remove-hook
• fix/strike-price-string
• fix/call-value
• remove-hardcoded-8
• task/controller-test-engine
• certora/unit-tests
• certora/aparna/unit-tests
• certora/mike/unit-tests
• dev
• certora/shelly/unit-tests
• certora/controllerSpecs
• feature/0x-callee
• feature/gas-comparison
• feature/aToken-comparison
• fix/L03
• fix/M01
• fix/L01
• fix/N03
• fix/N04
• fix/C01
• certora/noBankruptcy1
• feature/cWrap
• certora/extendedRules
• certora/accounting
• certora/orderOfOperations
• certora/fullIntegration
• feature/permit-callee
• feature/0x-fix-fee
• feature/0xtrade-with-permit
• feature/otoken-permit
• certora/specCleanup
• task/0x-script
• fix/expiry-check
• task/update-migrations
• feature/mike-liquidations-a
• frontend-0xcallee
• feature/v2.0.0
• feature/0xCallee-v4
• fix/nakedMarginPutPreExpiryAssertion
• fix/integration-test
• ci/gas-reporter-check
• fix/TOB-OPYN-013
• fix/TOB-OPYN-001
• fix/errorDelta

adding preserved to handle the assumptions about arguments