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

Merge branch 'refactor/gadget-sub' of https://github.com/AleoHQ/leo into refactor/gadget-comparator

Browse Source
This commit is contained in:
collin 2021-03-11 16:51:27 -08:00
commit 514afc0cea
5 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gadgets/tests/signed_integer/i128.rs
View File

@ -14,12 +14,12 @@
// You should have received a copy of the GNU General Public License // 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/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_gadgets::{arithmetic::*, Int128}; use leo_gadgets::Int128;
use snarkvm_fields::{One, Zero}; use snarkvm_fields::{One, Zero};
use snarkvm_gadgets::traits::utilities::{ use snarkvm_gadgets::traits::utilities::{
alloc::AllocGadget, alloc::AllocGadget,
arithmetic::{Add, Div, Mul, Neg, Pow, Sub}, arithmetic::{Add, Div, Mul, Sub},
boolean::Boolean, boolean::Boolean,
}; };
use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem}; use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem};

4
gadgets/tests/signed_integer/i16.rs
View File

@ -14,12 +14,12 @@
// You should have received a copy of the GNU General Public License // 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/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_gadgets::{arithmetic::*, Int16}; use leo_gadgets::Int16;
use snarkvm_fields::{One, Zero}; use snarkvm_fields::{One, Zero};
use snarkvm_gadgets::traits::utilities::{ use snarkvm_gadgets::traits::utilities::{
alloc::AllocGadget, alloc::AllocGadget,
arithmetic::{Add, Div, Mul, Neg, Pow, Sub}, arithmetic::{Add, Div, Mul, Pow, Sub},
boolean::Boolean, boolean::Boolean,
}; };
use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem}; use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem};

4
gadgets/tests/signed_integer/i32.rs
View File

@ -14,12 +14,12 @@
// You should have received a copy of the GNU General Public License // 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/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_gadgets::{arithmetic::*, Int32}; use leo_gadgets::Int32;
use snarkvm_fields::{One, Zero}; use snarkvm_fields::{One, Zero};
use snarkvm_gadgets::traits::utilities::{ use snarkvm_gadgets::traits::utilities::{
alloc::AllocGadget, alloc::AllocGadget,
arithmetic::{Add, Div, Mul, Neg, Pow, Sub}, arithmetic::{Add, Div, Mul, Pow, Sub},
boolean::Boolean, boolean::Boolean,
}; };
use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem}; use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem};

4
gadgets/tests/signed_integer/i64.rs
View File

@ -14,12 +14,12 @@
// You should have received a copy of the GNU General Public License // 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/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_gadgets::{arithmetic::*, Int64}; use leo_gadgets::Int64;
use snarkvm_fields::{One, Zero}; use snarkvm_fields::{One, Zero};
use snarkvm_gadgets::traits::utilities::{ use snarkvm_gadgets::traits::utilities::{
alloc::AllocGadget, alloc::AllocGadget,
arithmetic::{Add, Div, Mul, Neg, Pow, Sub}, arithmetic::{Add, Div, Mul, Pow, Sub},
boolean::Boolean, boolean::Boolean,
}; };
use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem}; use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem};

4
gadgets/tests/signed_integer/i8.rs
View File

@ -14,12 +14,12 @@
// You should have received a copy of the GNU General Public License // 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/>. // along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
use leo_gadgets::{arithmetic::*, Int8}; use leo_gadgets::Int8;
use snarkvm_fields::{One, Zero}; use snarkvm_fields::{One, Zero};
use snarkvm_gadgets::traits::utilities::{ use snarkvm_gadgets::traits::utilities::{
alloc::AllocGadget, alloc::AllocGadget,
arithmetic::{Add, Div, Mul, Neg, Pow, Sub}, arithmetic::{Add, Div, Mul, Pow, Sub},
boolean::Boolean, boolean::Boolean,
}; };
use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem}; use snarkvm_r1cs::{ConstraintSystem, Fr, TestConstraintSystem};