Search results

Tutorial is made for CVL1 and needs to be updated to CVL2.

Status: Open.

#35 In Certora/Tutorials;

· hake-stake opened on Jun 20, 2023

Duplicate Hints in Lesson 8 InvariantsConcepts

Status: Open.

#32 In Certora/Tutorials;

· teryanarmen opened on Apr 5, 2023

InvariantConcepts part of the lesson 8 (possibly) missing code examples

Status: Open.

#31 In Certora/Tutorials;

· mmv08 opened on Mar 13, 2023

Missing spec files in lesson 05

Status: Open.

#28 In Certora/Tutorials;

· mmv08 opened on Mar 6, 2023

Tutorial 8 - invariant doesn't hold in Sparta protocol

bugSomething isn't workingSomething isn't working

Status: Open.

#5 In Certora/Tutorials;

· Roy-Certora opened on Mar 31, 2022

Tutorial 8 manager - uniqueManager rule fails

bugSomething isn't workingSomething isn't working

Status: Open.

#4 In Certora/Tutorials;

· Roy-Certora opened on Mar 27, 2022

AuctionFixed.sol in Tutorial 6

help wantedExtra attention is neededExtra attention is needed

invalidThis doesn't seem rightThis doesn't seem right

Status: Open.

#3 In Certora/Tutorials;

· Roy-Certora opened on Mar 22, 2022

ERC20 - totalSupplyNotLessThanSingleUserBalance rule

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#2 In Certora/Tutorials;

· Roy-Certora opened on Mar 20, 2022