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

--auto_dispathcer flag example
#151 by liav-certora was merged Jan 23, 2025 Approved
Beta Examples
#150 by liav-certora was merged Jan 12, 2025 Approved
Liav/foundry
#146 by liav-certora was merged Nov 19, 2024
Cli beta
#145 by yoav-el-certora was merged Nov 20, 2024 Approved
Cli beta
#141 by yoav-el-certora was merged Sep 30, 2024 Approved
CERT-6912 Trigger Nightly On Commit SHA
#137 by nivcertora was merged Sep 15, 2024
Cli beta
#136 by yoav-el-certora was merged Sep 2, 2024 Approved
Naftali/cert 6936 fix init axioms
#130 by nivcertora was merged Aug 13, 2024
Fix Examples Release CI
#127 by nivcertora was merged Aug 12, 2024 Approved
ERC4626 Full Spec Example
#125 by liav-certora was merged Sep 9, 2024 Approved
ProTip! Follow long discussions with comments:>50.