Skip to content

Functional proof of guestbook contract and simple lifetime property

Arvid Jakobsson requested to merge chain-modelisation-guestbook into master

Modelise the state of a contract at the nth call: no mutual recursion nor treatment of internal operations. Related to #24.

Edited by Arvid Jakobsson

Merge request reports