Commit Graph

1138 Commits

Author SHA1 Message Date
collin
2757c44253 fix leo new and leo init to generate state files 2020-08-03 19:20:46 -07:00
collin
279c322f2d fix division max value bug 2020-08-03 18:54:27 -07:00
collin
d08364b71b check for negation overflow in division test 2020-08-03 15:38:47 -07:00
collin
95984c98c9 fix division by zero error detect 2020-08-03 15:22:29 -07:00
collin
01b2e0e760 Merge branch 'master' of github.com:AleoHQ/leo into fix/pest-address 2020-08-03 14:59:19 -07:00
collin
25c570cffe Merge branch 'master' of github.com:AleoHQ/leo into fix/pest-statement 2020-08-03 14:58:57 -07:00
collin
971e7a8439 Merge branch 'master' of github.com:AleoHQ/leo into feature/array-size 2020-08-03 14:58:34 -07:00
collin
1f1a49a5d3 add tests for invalid integers in array size 2020-08-03 14:56:45 -07:00
collin
febdf51ca5 use positive_integer rule for array type and array initializer size 2020-08-03 14:50:18 -07:00
dependabot-preview[bot]
da1384153b
Bump snarkos-curves from d80ce42 to c1bab10
Bumps [snarkos-curves](https://github.com/AleoHQ/snarkOS) from `d80ce42` to `c1bab10`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Commits](d80ce42f37...c1bab10325)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-08-03 21:46:34 +00:00
dependabot-preview[bot]
01d98cb8df
Bump snarkos-algorithms from d80ce42 to c1bab10
Bumps [snarkos-algorithms](https://github.com/AleoHQ/snarkOS) from `d80ce42` to `c1bab10`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Commits](d80ce42f37...c1bab10325)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-08-03 21:46:26 +00:00
Collin Chin
4565274893
Merge pull request #137 from AleoHQ/feature/package
Adds leo-package module
2020-08-03 14:44:11 -07:00
collin
e7e84e6441 allow outputs directory in leo package 2020-08-03 12:59:49 -07:00
collin
76d04705cb ignore examples outputs directories 2020-08-03 12:57:49 -07:00
collin
c683adff25 ignore outputs directories 2020-08-03 12:53:28 -07:00
collin
589988b76a rename input -> inputs 2020-08-03 12:50:02 -07:00
collin
1e56b3a5f6 fix all examples. change outputs -> output 2020-08-03 12:46:47 -07:00
howardwu
a5377da73f Fix gitignore 2020-08-03 12:21:25 -07:00
collin
e7ad1595a7 add empty address test 2020-08-03 12:01:09 -07:00
collin
f49d04c126 require addresses to contain at least one character in pest 2020-08-03 11:55:49 -07:00
collin
9eca8f83b4 fix pest statement rule 2020-08-03 11:30:47 -07:00
dependabot-preview[bot]
6d0a92d425
Bump snarkos-objects from d80ce42 to c1bab10
Bumps [snarkos-objects](https://github.com/AleoHQ/snarkOS) from `d80ce42` to `c1bab10`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Commits](d80ce42f37...c1bab10325)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-08-03 11:47:23 +00:00
dependabot-preview[bot]
ea32e7b766
Bump snarkos-models from d80ce42 to c1bab10
Bumps [snarkos-models](https://github.com/AleoHQ/snarkOS) from `d80ce42` to `c1bab10`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Commits](d80ce42f37...c1bab10325)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-08-03 11:46:37 +00:00
howardwu
64299f3874 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/package 2020-08-02 23:19:12 -07:00
howardwu
3ab5de0b22 Add root directory to package 2020-08-02 23:10:02 -07:00
howardwu
1ac233b598 Add source directory in package 2020-08-02 23:05:03 -07:00
howardwu
0ab32c89e3 Moves imports in package 2020-08-02 22:59:10 -07:00
howardwu
b58ee7233a Update outputs directory 2020-08-02 22:51:48 -07:00
howardwu
cfb627d468 Migrate files to an inputs directory in package 2020-08-02 22:18:03 -07:00
Howard Wu
0495fc90c3
Merge pull request #136 from AleoHQ/refactor/rename
Rename modules and general housekeeping
2020-08-02 22:05:23 -07:00
Howard Wu
0dff8b50b8
Merge pull request #135 from AleoHQ/rename/input
Adds benchmarks for serialization
2020-08-02 22:05:09 -07:00
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
Howard Wu
0e4ea5c0bd
Merge pull request #128 from AleoHQ/rename/input
Migrates Leo 'main' function to require 'input'
2020-08-02 20:26:27 -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