ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 23:07:27 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,277 Commits 53 Branches 44 Tags 331 MiB
8c228cc6b7
Commit Graph

2277 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
damirka
8c228cc6b7 forced const inputs for const variables 2021-03-16 20:37:27 +03:00
damirka
037851e703 Merge branch 'master' into feature/const-inputs 2021-03-16 16:34:29 +03:00
damirka
40f4b1cb65 covered type mismatch in constant inputs 2021-03-16 16:32:55 +03:00
Howard Wu
3f78874d25
Merge pull request #775 from AleoHQ/refactor/gadget-int 
Refactor Int gadgets
 2021-03-15 21:12:50 -07:00
damirka
a516f36e4f remove pub visibility in program_input 2021-03-16 00:50:04 +03:00
damirka
2508ec7ef1 array dimensions check added, const tuples added 2021-03-15 22:58:34 +03:00
damirka
258255102a expect fail in mismatch 2021-03-15 17:09:50 +03:00
damirka
229141a06e Merge branch 'master' into feature/const-inputs 2021-03-15 16:45:30 +03:00
damirka
234eabd81c fixes comments 2021-03-15 16:32:43 +03:00
damirka
b58db80005 updates after @collinc97 comments 2021-03-15 16:29:45 +03:00
collin
e369cb7049 remove leo-gadgets crate 2021-03-12 15:08:44 -08:00
collin
6962e1c2e1 refactor to use snarkvm int16 int32 int64 int128 gadgets 2021-03-12 15:03:22 -08:00
collin
bec4a15c12 refactor to use snarkvm int8 gadget 2021-03-12 14:23:41 -08:00
Collin Chin
1fbd337fec
Merge pull request #773 from AleoHQ/refactor/gadget-sign-extend 
Refactor sign extend gadget
 2021-03-12 11:48:02 -08:00
damirka
14d167a725 added tests for constants 2021-03-12 13:56:38 +03:00
damirka
15906bd4d2 updates following @collinc97 review 2021-03-12 12:35:17 +03:00
damirka
8542afe838 added const values processing for tuple and array 2021-03-12 10:21:03 +03:00
damirka
9808b2fa7f Merge branch 'master' into feature/const-inputs 2021-03-12 10:14:29 +03:00
collin
8e6b9f0fdd remove old sign extend files 2021-03-11 17:11:59 -08:00
collin
c541183f42 refactor to use snarkvm sign extend gadget 2021-03-11 17:11:19 -08:00
collin
5d16f70c96 Merge branch 'refactor/gadget-sub' of https://github.com/AleoHQ/leo into refactor/gadget-comparator 2021-03-11 17:00:43 -08:00
collin
a255cbd018 remove unused dependency from benchmark 2021-03-11 17:00:15 -08:00
collin
514afc0cea Merge branch 'refactor/gadget-sub' of https://github.com/AleoHQ/leo into refactor/gadget-comparator 2021-03-11 16:51:27 -08:00
collin
7f3916e679 remove unused dependencies from tests 2021-03-11 16:50:56 -08:00
collin
34c2d24bf1 remove old comparator files 2021-03-11 16:46:29 -08:00
collin
14063f723b refactor to use snarkvm evaluatelt and comparator gadgets 2021-03-11 16:44:46 -08:00
collin
e7745bad80 remove old sub and arithmetic gadget files 2021-03-11 16:28:22 -08:00
collin
522e3b6ea6 refactor to use snarkvm sub gadget 2021-03-11 16:27:06 -08:00
collin
a3a91676bb remove unused dependencies 2021-03-11 16:22:24 -08:00
collin
284ef310de remove unused neg dependency 2021-03-11 16:21:27 -08:00
collin
b5ae6dee64 remove old pow gadget files 2021-03-11 16:19:20 -08:00
collin
adce376675 refactor to use snarkvm pow gadget 2021-03-11 16:18:00 -08:00
collin
fd41c70250 remove old neg gadget files 2021-03-11 16:13:21 -08:00
collin
faacfbc97e refactor to use snarkvm neg gadget 2021-03-11 16:12:33 -08:00
collin
c02b281ed0 remove old mul gadget files 2021-03-11 16:03:20 -08:00
collin
d4b8bbbe50 refactor to use snarkvm mul gadget 2021-03-11 16:02:28 -08:00
collin
e9e8fae279 remove old div gadget files 2021-03-11 15:55:23 -08:00
collin
11ddb1f761 refactor to use snarkvm div gadget 2021-03-11 15:54:55 -08:00
collin
4e26ca5a40 fix integer_arithmetic benchmark 2021-03-11 15:40:03 -08:00
Collin Chin
6d378c37e6
Merge pull request #760 from ljedrz/clippy_lints 
clippy: 1.50 lints
 2021-03-11 15:20:53 -08:00
Collin Chin
88db9455c5
Merge pull request #759 from ljedrz/simplify_circuit_synthesizer 
introduce a helper ConstraintSet object
 2021-03-11 15:20:40 -08:00
Collin Chin
8333f61e75
Merge pull request #740 from AleoHQ/constant-folding 
Constant Folding
 2021-03-11 15:20:22 -08:00
collin
55965e48bb remove add trait file 2021-03-11 14:53:01 -08:00
collin
8cbce25b5f fix pedersen hash example 2021-03-11 14:51:54 -08:00
collin
deb3847b8e remove add trait and uint impls 2021-03-11 14:47:34 -08:00
damirka
344d7886ea change grouping in imports 2021-03-11 23:10:05 +03:00
damirka
1551a82e18 Adds [constants] section to input file: 
```
[constants]
x: bool = true; // will be constant in program
y: u32 = 100;
```
 2021-03-11 23:07:01 +03:00
damirka
47e4d23ab1 staging commit with const input syntax and constants processing 2021-03-11 19:05:08 +03:00
ljedrz
25458835dc clippy: fix 1.50 lints 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-03-11 14:12:43 +01:00
ljedrz
34f5ab782a refactor: introduce a helper ConstraintSet object 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-03-11 13:40:15 +01:00