-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: Certora/Examples
Author
Label
Projects
Milestones
Reviews
Assignee
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
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
Liav/cert 7804 trusted methods
#149
by liav-certora
was merged Jan 6, 2025
Loading…
updated Jan 6, 2025
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
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
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
Previous Next
ProTip!
Filter pull requests by the default branch with base:master.