Commit Graph

706 Commits

Author SHA1 Message Date
howardwu
8b435130d2 Adds leo-package module 2020-08-02 21:52:55 -07:00
howardwu
f4f9b30dd2 Rename directory types -> typed 2020-08-02 21:02:25 -07:00
howardwu
c8b82f12a8 Rename directory leo-input -> input 2020-08-02 21:00:23 -07:00
howardwu
f40ba91784 Rename types -> typed 2020-08-02 20:56:22 -07:00
howardwu
b81129db67 Adds benchmarks for serialization 2020-08-02 20:33:05 -07:00
howardwu
3ccfd2c764 Adds ci_skip 2020-08-02 19:57:28 -07:00
howardwu
8410e68fb6 Resolve merge of tests 2020-08-02 19:01:15 -07:00
howardwu
5375d97b40 Resolve merge conflict 2020-08-02 18:51:44 -07:00
Collin Chin
b996648435
Merge pull request #120 from AleoHQ/feature/typed_ast
Refactor compiler to have a separate typed ast infrastucture
2020-08-02 18:42:10 -07:00
howardwu
555ca1b644 Comment out fully 2020-08-02 18:13:54 -07:00
howardwu
77f443b672 Add linter stub 2020-08-02 18:06:21 -07:00
howardwu
6b20a17376 Allow deprecated 2020-08-02 17:59:04 -07:00
howardwu
fc1f0513c6 Comment out unused ci components 2020-08-02 17:43:37 -07:00
howardwu
bd83603bf0 Adds linter stub 2020-08-02 17:39:30 -07:00
howardwu
2d1b93e5f8 Merge with master 2020-08-02 17:24:31 -07:00
howardwu
2caa34be67 Revert to leo-types 2020-08-02 16:59:56 -07:00
howardwu
00c10870e2 Implements working typed ast serialization 2020-08-01 21:50:47 -07:00
howardwu
f6dcd7f9c2 Complete migration to leo_typed 2020-08-01 16:03:56 -07:00
collin
eb9bcdbeb8 expect signed integer division overflow error 2020-07-31 21:52:52 -07:00
collin
3d35fb026b outputs -> output 2020-07-31 21:15:33 -07:00
collin
070fa0edea fix all tests 2020-07-31 20:59:50 -07:00
collin
fb45ac7498 rename inputs -> input 2020-07-31 19:39:30 -07:00
collin
e22e962588 rename leo-inputs -> leo-input 2020-07-31 18:49:01 -07:00
collin
ce2a92b9bf add function input keyword. support access to registers, record, state, state_leaf 2020-07-31 18:30:08 -07:00
Collin Chin
17e2adcdb4
Merge pull request #122 from AleoHQ/feature/runtime-state
Feature/runtime state
2020-07-31 15:03:28 -07:00
Collin Chin
74b3647411
Merge pull request #124 from AleoHQ/feature/housekeeping
Update issues template
2020-07-31 14:43:20 -07:00
collin
7137c98745 adds check for integer parsing error vs integer computation error in tests 2020-07-31 14:06:01 -07:00
howardwu
1ea5f7de4a Add leo_typed_ast program, has one serialization error 2020-07-31 00:24:21 -07:00
howardwu
0d5a15cd41 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/typed_ast 2020-07-30 23:51:40 -07:00
howardwu
b2bb60408e Update issues templates 2020-07-30 23:38:39 -07:00
howardwu
af37c3bc9e Rename leo-types to leo-typed 2020-07-30 23:33:16 -07:00
collin
ae8fb1f714 merge master fix conflicts 2020-07-30 22:41:07 -07:00
Howard Wu
856990769d
Merge pull request #123 from AleoHQ/refactor/snarkos-components
Remove revision peg for snarkOS dependency, change Leo to groth16, up…
2020-07-30 21:13:11 -07:00
howardwu
b1595150d9 Revert cli for Leo CLI errors and add SNARKError 2020-07-30 19:27:43 -07:00
howardwu
61d92ecc91 Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks 2020-07-30 19:09:27 -07:00
collin
a858b37fe0 merge master fix conflicts 2020-07-30 18:30:56 -07:00
collin
02833b80e0 add .in and .state tests 2020-07-30 18:17:55 -07:00
collin
e62a2a066a fix syntax tests 2020-07-30 17:19:10 -07:00
collin
6eb9ef41c3 fix statement tests 2020-07-30 17:11:58 -07:00
collin
f334ba646d fix mutability tests 2020-07-30 16:37:01 -07:00
collin
d4eae685a3 fix macros tests 2020-07-30 16:27:31 -07:00
collin
63342e7b10 fix int tests 2020-07-30 16:20:31 -07:00
collin
2f983180b7 fix uint tests 2020-07-30 15:41:03 -07:00
collin
1b6a2b55d4 fix inputs tests 2020-07-30 14:38:31 -07:00
collin
4566ac8e03 fix import tests 2020-07-30 13:01:04 -07:00
collin
f03d0be080 fix group tests 2020-07-30 12:54:34 -07:00
collin
6dfc17ea46 fix function tests 2020-07-30 12:10:33 -07:00
collin
41559ba3a0 fix circuit tests 2020-07-30 11:11:54 -07:00
collin
df9b94ef73 fix array tests 2020-07-30 00:56:17 -07:00
collin
14498c4836 fix address tests 2020-07-30 00:15:14 -07:00