Commit Graph

4111 Commits

Author SHA1 Message Date
collin
4657f565f5 remove trait parameters from program types 2020-06-02 12:33:24 -07:00
collin
674f0dc83d remove Field trait parameter from InputValue 2020-06-02 12:15:55 -07:00
collin
a2dfc5e9fc deprecate FieldElement. use FieldType 2020-06-02 12:09:14 -07:00
collin
0240eed168 create FieldType module 2020-06-02 11:12:49 -07:00
Howard Wu
f546752cbc
Merge pull request #37 from AleoHQ/refactor/group-type
Refactor/group type
2020-06-01 20:19:38 -07:00
collin
69df8306a5 fix dependency 2020-06-01 18:35:43 -07:00
collin
8ab5108558 add ToBytesGadget to GroupType 2020-06-01 18:16:21 -07:00
collin
e5ee1cfe4d add ToBitsGadget to GroupType 2020-06-01 18:14:23 -07:00
collin
887e374e28 remove extra dependency and rename error 2020-06-01 18:05:24 -07:00
collin
01cc8e3066 delete benchmark 2020-06-01 17:54:39 -07:00
collin
8852c17857 simplify GroupType trait parameters 2020-06-01 17:52:33 -07:00
collin
5db9b043dc cargo fmt 2020-06-01 17:23:40 -07:00
collin
f144571530 impl group cond_select 2020-06-01 17:23:13 -07:00
collin
ad2d9f1192 impl group alloc input 2020-06-01 14:20:14 -07:00
collin
d1297fc60c impl group partialeq, eq, enforce_eq, cond_enforce_eq 2020-06-01 12:15:49 -07:00
collin
d1e448d630 impl group sub for edwards 2020-05-30 17:19:26 -07:00
collin
faf726e3b1 add (x, y)group syntax 2020-05-30 17:05:07 -07:00
collin
9ba3dfbb6b impl group add for edwards 2020-05-30 15:37:11 -07:00
collin
8a5d3e7718 update tests and leo cli 2020-05-29 17:34:31 -07:00
collin
31ec24670c add groupType to compiler 2020-05-29 16:43:39 -07:00
collin
1232481219 add partial grouptype module 2020-05-29 16:09:27 -07:00
collin
19f6e64c48 remove snarkos group trait from compiler 2020-05-29 15:55:57 -07:00
collin
dfcf2d3dbd fix init example 2020-05-21 11:07:55 -07:00
collin
2ebfed2faa update readme 2020-05-21 11:03:43 -07:00
Collin Chin
9cf7d68aef
Merge pull request #19 from AleoHQ/feature/tests
Feature/tests
2020-05-21 11:01:40 -07:00
collin
1da093e3bd impl basic assertion, ternary, iteration tests 2020-05-20 17:08:32 -07:00
Collin Chin
9a1572b14b
Merge pull request #11 from AleoHQ/feature/implicit-types
Feature/implicit types
2020-05-20 16:23:09 -07:00
collin
1a0d7235cd impl basic function and import tests. fix import parsing 2020-05-20 15:51:57 -07:00
collin
e07d43c287 impl circuit static, self, and failure tests 2020-05-20 12:45:40 -07:00
collin
50bf469d8b impl basic circuit tests 2020-05-19 21:59:00 -07:00
collin
28451ee269 impl array, basic field, basic group tests 2020-05-19 17:08:38 -07:00
collin
9a9e37e0f4 add new testing methods. add boolean tests. 2020-05-19 15:45:40 -07:00
collin
e5fea1e468 finish mutability tests. add testing helpers 2020-05-19 12:41:21 -07:00
collin
1c733b5dd9 deprecate new_variable methods 2020-05-19 12:04:01 -07:00
collin
a9a8cb95c6 impl mutability tests. simplify mut expression evaluation 2020-05-19 12:01:19 -07:00
collin
9309f95a89 Merge branch 'master' into feature/implicit-types 2020-05-18 15:17:56 -07:00
collin
aa63cf1dbb implicit arrays and multiple definitions 2020-05-18 15:17:17 -07:00
collin
d0c88a08be implict ternary expression 2020-05-18 11:44:14 -07:00
collin
2b48224689 implicit function returns. Remove expect_type() methods 2020-05-18 10:56:25 -07:00
Howard Wu
1674149c42
Merge pull request #18 from AleoHQ/fix/build
Fixes 'leo build' to compile programs again. Updates tests to run on …
2020-05-16 22:07:01 -07:00
howardwu
33f518d1d4 Fixes 'leo build' to compile programs again. Updates tests to run on new model 2020-05-16 22:05:26 -07:00
Howard Wu
900b45eb97
Merge pull request #17 from AleoHQ/feature/cargo
Adds .cargo directory
2020-05-16 20:40:20 -07:00
howardwu
45710a775d Adds .cargo directory 2020-05-16 20:39:54 -07:00
Howard Wu
2abd901c37
Merge pull request #16 from AleoHQ/feature/subcommands
Adds skeleton for 'leo load' and 'leo unload'
2020-05-16 20:36:13 -07:00
howardwu
63ed971b4d Adds skeleton for 'leo load' and 'leo unload' 2020-05-16 20:35:37 -07:00
Howard Wu
ce141b2cf5
Merge pull request #15 from AleoHQ/feature/subcommands
Implements subcommand ordering and updates subcommand descriptions
2020-05-16 20:31:05 -07:00
howardwu
426bb46662 Implements subcommand ordering and updates subcommand descriptions 2020-05-16 20:10:02 -07:00
Howard Wu
9d67019cac
Merge pull request #14 from AleoHQ/skeleton/cli
Adds skeleton CLI for `leo deploy`
2020-05-16 19:58:17 -07:00
collin
067f4905c2 implicit binary operations 2020-05-16 19:56:48 -07:00
howardwu
ed63ee3d35 Adds asterisk to denote skeleton 2020-05-16 19:54:46 -07:00