Skip to content

Pull requests: Certora/Examples

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

7.25.1 Release
#159 by yoav-el-certora was merged Feb 18, 2025 Review required updated Feb 18, 2025
Fix Liquidity Pool Example
#158 by liav-certora was merged Feb 16, 2025 Review required updated Feb 16, 2025
Uri/trying spec syntax highlighting enhancement New feature or request
#157 by urikirsh was merged Feb 16, 2025 Review required updated Feb 16, 2025
sum/usum Example
#154 by liav-certora was closed Feb 13, 2025 Loading… updated Feb 13, 2025
Simplified sum Example
#156 by liav-certora was merged Feb 13, 2025 Loading… updated Feb 13, 2025
Liav/cert 8157 split rules flag
#153 by liav-certora was merged Feb 11, 2025 Loading… updated Feb 11, 2025
Remove sum Keyword Usage In Example
#152 by liav-certora was merged Feb 9, 2025 Loading… updated Feb 9, 2025
--auto_dispathcer flag example
#151 by liav-certora was merged Jan 23, 2025 Loading… updated Feb 2, 2025
Beta Examples
#150 by liav-certora was merged Jan 12, 2025 Loading… updated Jan 12, 2025
Liav/cert 7804 trusted methods
#149 by liav-certora was merged Jan 6, 2025 Loading… updated Jan 6, 2025
Cli beta
#145 by yoav-el-certora was merged Nov 20, 2024 Loading… updated Nov 20, 2024
Liav/foundry
#146 by liav-certora was merged Nov 19, 2024 Loading… updated Nov 19, 2024
Revert "Adding Foundry Integrations Examples (#143)"
#144 by liav-certora was merged Nov 13, 2024 Loading… updated Nov 13, 2024
Adding Foundry Integrations Examples
#143 by liav-certora was merged Nov 13, 2024 Loading… updated Nov 13, 2024
CERT 7501 replace naming for builtin rule viewreentrancy
#142 by nivcertora was merged Nov 3, 2024 Loading… updated Nov 3, 2024
Cli beta
#141 by yoav-el-certora was merged Sep 30, 2024 Loading… updated Sep 30, 2024
Liav/cert 7213 Extension Contracts
#140 by liav-certora was merged Sep 29, 2024 Loading… updated Sep 29, 2024
CERT 7109 Modify Examples to use Address function calls
#139 by nivcertora was merged Sep 29, 2024 Loading… updated Sep 29, 2024
CERT-7232: update the address function call test to the new default case semantics
#138 by naftali-g was closed Sep 18, 2024 Loading… updated Sep 18, 2024
CERT-6912 Trigger Nightly On Commit SHA
#137 by nivcertora was merged Sep 15, 2024 Loading… updated Sep 15, 2024
ERC4626 Full Spec Example
#125 by liav-certora was merged Sep 9, 2024 Loading… updated Sep 9, 2024
Cli beta
#136 by yoav-el-certora was merged Sep 2, 2024 Loading… updated Sep 2, 2024
Niv/cert 7101 support for address function call
#134 by nivcertora was merged Sep 2, 2024 Loading… updated Sep 2, 2024
CERT-7100 Assert False In Dispatch Summary
#135 by nivcertora was merged Sep 1, 2024 Loading… updated Sep 1, 2024
Strong Inv Pool Example
#123 by nivcertora was merged Sep 1, 2024 Loading… updated Sep 1, 2024
ProTip! Filter pull requests by the default branch with base:master.