Search results

Use Local Memory Type Variable Instead of Global Storage Type Variable in Event to Save Gas

Status: Open.

#337 In runtimeverification/verified-smart-contracts;

· Ether1oop opened on Aug 18, 2022

Broken link in README.md

Status: Open.

#334 In runtimeverification/verified-smart-contracts;

· ayberkt opened on Dec 21, 2021

Specifications for ERC721

Status: Open.

#326 In runtimeverification/verified-smart-contracts;

· alex-chambet opened on Jul 20, 2020

Page not found in code review comments

Status: Open.

#322 In runtimeverification/verified-smart-contracts;

· ethers opened on Apr 8, 2020

Compilation problems

Status: Open.

#281 In runtimeverification/verified-smart-contracts;

· lionheartStark opened on Dec 3, 2019

One typo error on x-y-k.pdf

Status: Open.

#273 In runtimeverification/verified-smart-contracts;

· StarLI-Trapdoor opened on Nov 21, 2019

move some common lemmas from verification.k to lemmas.md

Status: Open.

#38 In runtimeverification/verified-smart-contracts;

· tomtomjhj opened on Jul 27, 2018

recompiling hkg standard token and runing proof produce different result

Status: Open.

#18 In runtimeverification/verified-smart-contracts;

· huangyg11 opened on May 1, 2018