Commit Graph

2291 Commits

Author SHA1 Message Date
damirka
b5ae4e1ca4 extended errors, added more error cases 2021-03-19 15:15:06 +03:00
damirka
2b6f39fd14 added macro for const and main inputs sections 2021-03-18 11:57:25 +03:00
damirka
0eb7b972c7 Merge branch 'master' into feature/const-inputs 2021-03-17 20:54:52 +03:00
damirka
2862549603 removed unwraps 2021-03-17 13:23:58 +03:00
damirka
60519275c9 added test for non const input as const 2021-03-16 23:18:10 +03:00
damirka
8c228cc6b7 forced const inputs for const variables 2021-03-16 20:37:27 +03:00
Collin Chin
039c295b20
Merge pull request #791 from AleoHQ/feat/circleci
Switch test infrastructure to CircleCI
2021-03-16 08:28:59 -07: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
howardwu
d78692b4dd Clean up 2021-03-15 23:15:03 -07:00
howardwu
7259dbabb3 Revert codecov 2021-03-15 22:53:26 -07:00
howardwu
5325a38643 Update kcov 2021-03-15 21:44:26 -07:00
howardwu
0a324ec817 Fix merge conflict with master 2021-03-15 21:14:04 -07:00
Howard Wu
3f78874d25
Merge pull request #775 from AleoHQ/refactor/gadget-int
Refactor Int gadgets
2021-03-15 21:12:50 -07:00
howardwu
284bee6fe8 Update to ToBitsBEGadget, update to snarkVM v0.2.1 2021-03-15 21:02:03 -07:00
howardwu
05fa6402a4 Update leo executable cache 2021-03-15 20:44:37 -07:00
howardwu
f9ccffdccb Fix description in circleci 2021-03-15 20:41:04 -07:00
howardwu
cf315f4ed6 Switch test infrastructure to CircleCI 2021-03-15 20:34:37 -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