Commit Graph

2383 Commits

Author SHA1 Message Date
Collin Chin
0aa71ed3f9 Add consty checks. Closes #749. 2021-03-12 19:14:31 -08:00
gluax
3a1c29e3b2 ready to return real errors, fixed Self outside circuit bugs 2021-03-12 20:41:49 -05:00
gluax
88166a64f9 error on Self outside of cicuits 2021-03-12 18:29:53 -05: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
gluax
04f62cdd8c missing function output types 2021-03-12 16:59:08 -05:00
gluax
02e5f57eed compound assignments 2021-03-12 16:47:57 -05:00
gluax
4185f6f6d2 array types and expressions expanded 2021-03-12 16:19:07 -05: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
gluax
e302f839ed fix spelling 2021-03-12 14:34:20 -05:00
gluax
250c8ce5ec reducer clean up 2021-03-12 14:32:20 -05:00
Protryon
0c72e3e264 ident -> identifier 2021-03-12 10:40:05 -08:00
Protryon
344f6a2d8e transparent keywords 2021-03-12 04:29:25 -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