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
Fix Liquidity Pool Example
#158 by liav-certora was merged Feb 16, 2025 Loading…
Uri/trying spec syntax highlighting enhancement New feature or request
#157 by urikirsh was merged Feb 16, 2025 Loading…
Simplified sum Example
#156 by liav-certora was merged Feb 13, 2025 Loading…
sum/usum Example
#154 by liav-certora was closed Feb 13, 2025 Loading…
Liav/cert 8157 split rules flag
#153 by liav-certora was merged Feb 11, 2025 Loading…
Remove sum Keyword Usage In Example
#152 by liav-certora was merged Feb 9, 2025 Loading…
--auto_dispathcer flag example
#151 by liav-certora was merged Jan 23, 2025 Loading…
Beta Examples
#150 by liav-certora was merged Jan 12, 2025 Loading…
Liav/cert 7804 trusted methods
#149 by liav-certora was merged Jan 6, 2025 Loading…
Liav/foundry
#146 by liav-certora was merged Nov 19, 2024 Loading…
Cli beta
#145 by yoav-el-certora was merged Nov 20, 2024 Loading…
Revert "Adding Foundry Integrations Examples (#143)"
#144 by liav-certora was merged Nov 13, 2024 Loading…
Adding Foundry Integrations Examples
#143 by liav-certora was merged Nov 13, 2024 Loading…
Cli beta
#141 by yoav-el-certora was merged Sep 30, 2024 Loading…
Liav/cert 7213 Extension Contracts
#140 by liav-certora was merged Sep 29, 2024 Loading…
CERT-6912 Trigger Nightly On Commit SHA
#137 by nivcertora was merged Sep 15, 2024 Loading…
Cli beta
#136 by yoav-el-certora was merged Sep 2, 2024 Loading…
CERT-7100 Assert False In Dispatch Summary
#135 by nivcertora was merged Sep 1, 2024 Loading…
Niv/cert 7101 support for address function call
#134 by nivcertora was merged Sep 2, 2024 Loading…
CERT-7021 Add NativeCodesize Example
#133 by nivcertora was merged Aug 28, 2024 Loading…
CERT-7022 Add Reset Storage + Hook Example
#132 by nivcertora was merged Aug 28, 2024 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.