-
Notifications
You must be signed in to change notification settings - Fork 27
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#23 In Certora/tutorials-code;
- Status: Open.#21 In Certora/tutorials-code;
- Status: Open.#19 In Certora/tutorials-code;
Forbid view function reverts
Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for rewardStatus: Open.#17 In Certora/tutorials-code;Solution to Borda
Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for rewardStatus: Open.#14 In Certora/tutorials-code;Winner manipulation spec
Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for rewardStatus: Open.#13 In Certora/tutorials-code;- Status: Open.#11 In Certora/tutorials-code;
- Status: Open.#10 In Certora/tutorials-code;
Missing Spec Challenge
Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for rewardStatus: Open.#7 In Certora/tutorials-code;Solution for the prover challenge
Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for rewardStatus: Open.#5 In Certora/tutorials-code;