Commit Graph

2980 Commits

Author SHA1 Message Date
collin
31d2542d52 Merge branch 'dependency/snarkos-master' of https://github.com/AleoHQ/language into feature/test-syntax-new 2020-06-05 11:32:59 -07:00
collin
3289cb6b3b Merge branch 'dependency/snarkos-master' of https://github.com/AleoHQ/language into feature/syntax-errors-new 2020-06-05 11:30:38 -07:00
collin
3e21184631 use snarkos master 2020-06-04 22:53:52 -07:00
collin
2e98490b29 fix statement test 2020-06-04 17:42:49 -07:00
collin
accfff46e0 add test syntax and cli command 2020-06-04 17:39:57 -07:00
collin
13e113d100 add test type to pest 2020-06-04 16:55:23 -07:00
collin
e19f234d27 use from error macro in leo cli 2020-06-04 16:12:24 -07:00
collin
bd54f367cf impl syntax error handling 2020-06-04 15:44:38 -07:00
collin
0e8ee81108 remove old code 2020-06-04 14:41:09 -07:00
collin
c3f17e4dc9 use new integer gadgets 2020-06-04 14:32:30 -07:00
collin
ab6ed9cfe6 use new integers path 2020-06-04 13:35:12 -07:00
Collin Chin
110bca2463
Merge pull request #39 from AleoHQ/refactor/field-type
Refactor/field type
2020-06-02 20:40:23 -07:00
collin
941417b255 cargo fmt 2020-06-02 16:58:09 -07:00
collin
c8229cef18 test field comparators 2020-06-02 16:56:11 -07:00
collin
82ba9560be update readme 2020-06-02 16:16:41 -07:00
collin
b4c163ce4f add field gadget tests 2020-06-02 16:06:25 -07:00
collin
91e8febffe add field operation tests 2020-06-02 15:33:09 -07:00
collin
2e188b483b impl FieldType gadgets 2020-06-02 13:25:07 -07:00
collin
2d4efdfd5b impl FieldType operations 2020-06-02 12:51:14 -07:00
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