Commit Graph

324 Commits

Author SHA1 Message Date
collin
4d1bf9071c add span to input values 2020-06-16 19:13:11 -07:00
collin
1e0903c32b merge master, update readme 2020-06-16 12:25:42 -07:00
collin
7248814ac7 impl let/const for circuits and value wrappers 2020-06-16 09:49:45 -07:00
collin
1214bed387 Merge branch 'master' of https://github.com/AleoHQ/language into refactor/conditional 2020-06-15 21:37:43 -07:00
collin
5ec6696e74 merge snarkos master changes 2020-06-15 20:05:41 -07:00
collin
0168902a7d update snarkos master 2020-06-15 19:32:37 -07:00
collin
c77e6a51b3 remove visibility syntax and functionality 2020-06-15 13:38:07 -07:00
collin
8ea11dbab7 add type resolution for values and fix tests 2020-06-13 17:43:59 -07:00
collin
1eaaed269d impl chained and nested conditionals 2020-06-13 03:39:51 -07:00
collin
1e1e4b86d9 move conditional tests into statement module 2020-06-13 02:08:21 -07:00
collin
c7eccdc87e impl for loop statements for conditional 2020-06-13 02:04:31 -07:00
collin
2d17b39da6 impl mutable statements in basic conditional 2020-06-13 00:47:09 -07:00
collin
4c64edb032 test conditional basic assert statements 2020-06-12 19:32:16 -07:00
collin
3f668422fd enforce name, type, visibility of inputs. add tests 2020-06-11 14:40:27 -07:00
collin
824a6059fb split up input loading and parsing in compiler 2020-06-11 11:43:05 -07:00
collin
52f0d012c8 fix tests 2020-06-10 17:53:38 -07:00
collin
67b8a48fcf public input booleans and integers 2020-06-10 16:14:55 -07:00
collin
39b8eda8cd ignore import tests 2020-06-08 19:31:29 -07:00
collin
bc7f4719c3 include_bytes integers tests 2020-06-08 19:13:47 -07:00
collin
b4ed9ca4bc include_bytes statements tests 2020-06-08 18:58:41 -07:00
collin
54b1453ddc include_bytes mutability tests 2020-06-08 18:55:44 -07:00
collin
20a01ce2e8 include_bytes import tests 2020-06-08 18:52:35 -07:00
collin
ac9395f1fd include_bytes group tests 2020-06-08 18:39:10 -07:00
collin
2ab0147e80 include_bytes function tests 2020-06-08 18:31:21 -07:00
collin
b3ec78c6fd include_bytes field tests 2020-06-08 18:27:11 -07:00
collin
c0682de33d include_bytes circuit tests 2020-06-08 18:12:40 -07:00
collin
8e8f00467a include_bytes array tests 2020-06-08 17:51:06 -07:00
collin
834055abf5 use include_bytes for boolean test 2020-06-08 17:28:09 -07:00
howardwu
837d107a54 cargo fmt 2020-06-07 23:30:39 -07:00
howardwu
988f58618e Adds configuration files for tooling 2020-06-07 22:53:45 -07:00
howardwu
85ccf1b423 Introduces LeoParser, removes pest for leo-compiler 2020-06-07 22:21:31 -07:00
howardwu
81407ac182 Fix tests 2020-06-07 21:26:49 -07:00
howardwu
6f9f397310 Migrates circuits 2020-06-07 20:45:19 -07:00
howardwu
3a554af9fe Migrate statements 2020-06-07 20:24:27 -07:00
collin
01552cec52 test u128 2020-06-05 16:51:26 -07:00
collin
e564822a75 test u8, u16, u32, u64 2020-06-05 16:35:50 -07:00
collin
c72cf61ad2 impl integer gadget tests. test u32 2020-06-05 15:34:06 -07:00
collin
c5868b430a impl integer tester trait and macro. test u32 2020-06-05 14:09:12 -07:00
collin
2e98490b29 fix statement test 2020-06-04 17:42:49 -07:00
collin
bd54f367cf impl syntax error handling 2020-06-04 15:44:38 -07:00
collin
ab6ed9cfe6 use new integers path 2020-06-04 13:35:12 -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
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
69df8306a5 fix dependency 2020-06-01 18:35:43 -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
19f6e64c48 remove snarkos group trait from compiler 2020-05-29 15:55:57 -07:00
collin
1da093e3bd impl basic assertion, ternary, iteration tests 2020-05-20 17:08:32 -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
a9a8cb95c6 impl mutability tests. simplify mut expression evaluation 2020-05-19 12:01:19 -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
collin
73e431e9eb refactor integer module, add uint8 type 2020-05-06 17:22:00 -07:00
collin
fa4f786f22 impl let statements 2020-05-02 19:03:50 -07:00
howardwu
219f90cb17 Adds starter integration tests for u32 2020-05-01 22:10:40 -07:00