ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-24 07:48:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

license fix

Browse Source
This commit is contained in:
gluaxspeed 2021-02-02 13:44:20 -05:00
commit 047b06d975
801 changed files with 876 additions and 892 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
.github/workflows/ci.yml vendored
View File

@ -39,21 +39,15 @@ jobs:
runs-on: ubuntu-latest
env:
RUSTFLAGS: -Dwarnings
strategy:
matrix:
rust:
- stable
# - nightly
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Install Rust (${{ matrix.rust }})
- name: Install Rust
uses: actions-rs/toolchain@v1
with:
profile: minimal
toolchain: ${{ matrix.rust }}
toolchain: stable
override: true
components: clippy
@ -68,14 +62,12 @@ jobs:
with:
command: clippy
args: --examples --all-features --all
if: matrix.rust == 'stable'
# - name: Check benchmarks on nightly
# uses: actions-rs/cargo@v1
# with:
# command: clippy
# args: --all-features --examples --all --benches
# if: matrix.rust == 'nightly'
- name: Check benchmarks on nightly
uses: actions-rs/cargo@v1
with:
command: clippy
args: --all-features --examples --all --benches
test:
name: Test

2
.licenserc.json
View File

@ -1,6 +1,6 @@
{
"**/*.rs": [
"// Copyright (C) 2019-2020 Aleo Systems Inc.",
"// Copyright (C) 2019-2021 Aleo Systems Inc.",
"// This file is part of the Leo library.",
"",
"// The Leo library is free software: you can redistribute it and/or modify",

2
.resources/license_header
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
.rusty-hook.toml
View File

@ -1,5 +1,5 @@
[hooks]
pre-commit = "cargo +nightly clippy && cargo +nightly fmt --all -- --check"
pre-commit = "cargo clippy && cargo +nightly fmt --all -- --check"
[logging]
verbose = true

2
asg/src/checks/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/checks/return_path.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/const_value.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/error/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/array_access.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/array_init.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/array_inline.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/array_range_access.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/binary.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/call.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/src/expression/circuit_access.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/circuit_init.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/constant.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/ternary.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/tuple_access.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/tuple_init.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/unary.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/expression/variable_ref.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/import.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/input.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

7
asg/src/lib.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
//! The abstract semantic graph (asg) for a Leo program.
//! The abstract semantic graph (ASG) for a Leo program.
//!
//! This module contains the [`Asg`] type, an abstract data type that represents a Leo program
//! as a series of graph nodes. The [`Asg`] type is at a greater level of abstraction than an [`Ast`].
@ -22,7 +22,6 @@
//! A new [`Asg`] type can be created from an [`Ast`].
//! Converting to an [`Asg`] provides greater type safety by canonicalizing and checking program types.
#![allow(clippy::from_over_into)]
#[macro_use]
extern crate thiserror;
@ -72,7 +71,7 @@ pub use leo_ast::{Identifier, Span};
use std::path::Path;
/// The abstract semantic graph (asg) for a Leo program.
/// The abstract semantic graph (ASG) for a Leo program.
///
/// The [`Asg`] type represents a Leo program as a series of recursive data types.
/// These data types form a graph that begins from a [`Program`] type node.

2
asg/src/node.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/prelude.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/program/circuit.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/program/function.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/src/program/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -31,7 +31,7 @@ use indexmap::IndexMap;
use std::{cell::RefCell, sync::Arc};
use uuid::Uuid;
/// Stores the Leo program abstract semantic graph (asg).
/// Stores the Leo program abstract semantic graph (ASG).
#[derive(Clone)]
pub struct InnerProgram {
/// The unique id of the program.

2
asg/src/reducer/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoid/bool_and.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoid/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoid/set_append.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoid/vec_append.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoidal_director.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/reducer/monoidal_reducer.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/scope.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/assign.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/block.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/conditional.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/console.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/definition.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/expression.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/iteration.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/statement/return_.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/type_.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/src/variable.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/address/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/array/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/boolean/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/circuits/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/console/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/core/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/definition/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/field/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/function/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

5
asg/tests/fail/group/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -48,5 +48,4 @@ fn test_both_sign_low() {
fn test_both_sign_inferred() {
let program_string = include_str!("both_sign_inferred.leo");
load_asg(program_string).err().unwrap();
}

4
asg/tests/fail/import/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/i128/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/i16/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/i32/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/i64/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/i8/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/int_macro.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/integer_tester.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/u128/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/u16/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/u32/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/u64/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/u8/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/integers/uint_macro.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/mutability/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/statements/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/fail/tuples/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/tests/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/address/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/array/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/boolean/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/circuits/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/console/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/core/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/definition/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/field/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

2
asg/tests/pass/form_ast.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/function/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/group/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/import/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/input_files/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/input_files/program_input/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/input_files/program_input_and_program_state/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/input_files/program_state/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/integers/i128/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/integers/i16/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/integers/i32/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

4
asg/tests/pass/integers/i64/mod.rs
View File

@ -1,4 +1,4 @@
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify
@ -14,7 +14,7 @@
// You should have received a copy of the GNU General Public License
// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
// Copyright (C) 2019-2020 Aleo Systems Inc.
// Copyright (C) 2019-2021 Aleo Systems Inc.
// This file is part of the Leo library.
// The Leo library is free software: you can redistribute it and/or modify

Some files were not shown because too many files have changed in this diff Show More