linera-execution 0.15.17

Persistent data and the corresponding logics used by the Linera protocol for runtime and execution of smart contracts / applications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// Copyright (c) Zefchain Labs, Inc.
// SPDX-License-Identifier: Apache-2.0
pragma solidity ^0.8.0;

contract ExampleCounter {
    uint64 value;

    constructor(uint64 start_value) {
        value = start_value;
    }

    function increment(uint64 input) external returns (uint64) {
        value = value + input;
        return value;
    }

    function get_value() external view returns (uint64) {
        return value;
    }
}