ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,182 Commits 53 Branches 46 Tags 339 MiB
2ffdd839af
Commit Graph

317 Commits

Author SHA1 Message Date
howardwu
0d907bbb26 chore(leo): bump version for new release 2021-02-03 12:36:17 -08:00
Protryon
80d5c87b8a asg 2021-02-02 11:08:56 -08:00
collin
38f65a7d81 Merge branch 'master' of github.com:AleoHQ/leo into asg-merge 2021-01-30 16:31:35 -05:00
dependabot-preview[bot]
6b4439a243
Bump serde from 1.0.122 to 1.0.123 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.122 to 1.0.123.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.122...v1.0.123)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-28 15:05:49 +00:00
dependabot-preview[bot]
295512474d Bump serde from 1.0.119 to 1.0.122 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.119 to 1.0.122.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.119...v1.0.122)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-26 14:55:16 -05:00
dependabot-preview[bot]
9d528e7e2b Bump criterion from 0.3.3 to 0.3.4 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.3.3 to 0.3.4.
- [Release notes](https://github.com/bheisler/criterion.rs/releases)
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-26 14:55:16 -05:00
dependabot-preview[bot]
fe88b73f82 Bump self_update from 0.22.0 to 0.23.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.22.0 to 0.23.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-26 14:55:15 -05:00
gluaxspeed
29ff3c90b6 error and error message for deprecated test syntax, fmt, clean up 2021-01-25 15:12:10 -05:00
Protryon
eff111b559 rename ternary 2021-01-25 07:31:34 -08:00
collin
f9cc175ae6 Merge branch 'master' of github.com:AleoHQ/leo into dependabot/cargo/self_update-0.23.0 2021-01-19 12:03:39 -05:00
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
dependabot-preview[bot]
0e94a1b72d
Bump serde from 1.0.118 to 1.0.119 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.118 to 1.0.119.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.118...v1.0.119)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-12 10:55:52 +00:00
dependabot-preview[bot]
59ce840b4d
Bump self_update from 0.22.0 to 0.23.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.22.0 to 0.23.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-12 01:55:43 +00:00
collin
9213fd42bb add feature flag for reqwest 2021-01-11 14:43:08 -05:00
dependabot-preview[bot]
523f9d79fb
Bump reqwest from 0.10.10 to 0.11.0 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.10.10 to 0.11.0.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.10.10...v0.11.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-08 00:56:01 +00:00
dependabot-preview[bot]
6a6706112e
Bump rand_core from 0.6.0 to 0.6.1 
Bumps [rand_core](https://github.com/rust-random/rand) from 0.6.0 to 0.6.1.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/rand_core-0.6.0...rand_core-0.6.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-01-05 10:42:19 +00:00
howardwu
87ccc0fe3d Update snarkVM deps to crates 2021-01-03 22:37:06 -04:00
howardwu
d5cb59c206 Update ci.yml 2021-01-02 19:18:38 -04:00
howardwu
c20822e828 Update revision 2021-01-02 18:17:26 -04:00
howardwu
11fc60c9e0 Update revision 2020-12-30 18:07:20 -04:00
howardwu
f4ad1ffff4 Add revision for snarkvm 2020-12-30 12:54:48 -04:00
howardwu
2d64515763 Migrate to snarkVM 2020-12-30 12:40:45 -04:00
howardwu
141ee7eb0f Resolve merge conflicts 2020-12-30 11:37:51 -04:00
Howard Wu
0eb1a5e354
Merge pull request #516 from AleoHQ/dependabot/cargo/serde_json-1.0.61 
Bump serde_json from 1.0.60 to 1.0.61
 2020-12-30 11:36:40 -04:00
Howard Wu
6f7bfedada
Merge pull request #513 from AleoHQ/dependabot/cargo/thiserror-1.0.23 
Bump thiserror from 1.0.22 to 1.0.23
 2020-12-30 11:36:23 -04:00
Howard Wu
fd6a041fca
Merge pull request #512 from AleoHQ/dependabot/cargo/console-0.14.0 
Bump console from 0.13.0 to 0.14.0
 2020-12-30 11:35:35 -04:00
Howard Wu
be95b08e60
Merge pull request #508 from AleoHQ/dependabot/cargo/toml-0.5.8 
Bump toml from 0.5.7 to 0.5.8
 2020-12-30 11:35:16 -04:00
howardwu
1d9215a1ac Migrates to hot 1.1.4 and adds memory usage improvements for programs 2020-12-30 11:32:10 -04:00
dependabot-preview[bot]
2cd4aef4d0
Bump serde_json from 1.0.60 to 1.0.61 
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.60 to 1.0.61.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.60...v1.0.61)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-29 10:44:38 +00:00
dependabot-preview[bot]
db3821e63a
Bump thiserror from 1.0.22 to 1.0.23 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.22 to 1.0.23.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.22...1.0.23)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-28 10:24:20 +00:00
dependabot-preview[bot]
0720f13953
Bump console from 0.13.0 to 0.14.0 
Bumps [console](https://github.com/mitsuhiko/console) from 0.13.0 to 0.14.0.
- [Release notes](https://github.com/mitsuhiko/console/releases)
- [Changelog](https://github.com/mitsuhiko/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mitsuhiko/console/compare/0.13.0...0.14.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-28 10:23:53 +00:00
dependabot-preview[bot]
dc5409760d
Bump toml from 0.5.7 to 0.5.8 
Bumps [toml](https://github.com/alexcrichton/toml-rs) from 0.5.7 to 0.5.8.
- [Release notes](https://github.com/alexcrichton/toml-rs/releases)
- [Commits](https://github.com/alexcrichton/toml-rs/compare/0.5.7...0.5.8)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-21 10:57:31 +00:00
howardwu
b65c6f7ba5 Removes snarkos-gadgets from leo-input 2020-12-20 10:32:07 -04:00
howardwu
2ac7426e02 Removes snarkos-curves from leo-input 2020-12-20 10:30:52 -04:00
howardwu
72839e8f98 Removes snarkos-models from leo-input 2020-12-20 10:29:03 -04:00
howardwu
88564caf4e Removes snarkos-errors from leo-input 2020-12-20 10:27:16 -04:00
howardwu
d65d8dbd57 Remove snarkos-algorithms from leo-input 2020-12-20 10:26:04 -04:00
howardwu
13f83a434c Remove serde_json from leo-package 2020-12-20 10:24:33 -04:00
howardwu
b3e4d2fbfb Removes env_logger dep from leo-lang 2020-12-20 10:23:13 -04:00
howardwu
907d7828fe Removes dotenv dep from leo-lang 2020-12-20 10:22:09 -04:00
howardwu
1e79277728 Remove tracing-subscriber dep from compiler 2020-12-20 10:20:13 -04:00
howardwu
4e321ae8d1 Remove snarkos-models dep from ast 2020-12-20 10:17:02 -04:00
howardwu
f04700018b Remove snarkos-errors dep from ast 2020-12-20 10:15:13 -04:00
collin
6e2dcdd1b0 fix serialization 2020-12-16 14:21:57 -05:00
Howard Wu
8c9e8fdb3a
Merge pull request #503 from AleoHQ/dependabot/cargo/rand_core-0.6.0 
Bump rand_core from 0.5.1 to 0.6.0
 2020-12-15 11:29:00 -04:00
Howard Wu
1d856e7893
Merge pull request #502 from AleoHQ/dependabot/cargo/indexmap-1.6.1 
Bump indexmap from 1.6.0 to 1.6.1
 2020-12-15 11:28:21 -04:00
dependabot-preview[bot]
a700e7bda4
Bump rand_core from 0.5.1 to 0.6.0 
Bumps [rand_core](https://github.com/rust-random/rand) from 0.5.1 to 0.6.0.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/rand_core-0.5.1...rand_core-0.6.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:44:35 +00:00
dependabot-preview[bot]
8894f10de7
Bump indexmap from 1.6.0 to 1.6.1 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.6.0 to 1.6.1.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Commits](https://github.com/bluss/indexmap/compare/1.6.0...1.6.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:44:12 +00:00
dependabot-preview[bot]
9afdd17099
Bump reqwest from 0.10.9 to 0.10.10 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.10.9 to 0.10.10.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.10.9...v0.10.10)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-15 10:43:46 +00:00
howardwu
9038c5a17a chore(leo): bump version for new release 2020-12-14 13:57:01 -04:00
collin
8ace306e2c fix cargo lock 2020-12-11 12:22:07 -05:00
Howard Wu
10f640d671
Merge pull request #482 from AleoHQ/fix/cargo-update 
Run cargo update
 2020-12-10 19:16:19 -04:00
collin
e2406bec86 fix lower array slice bug 2020-12-09 17:42:15 -05:00
Collin Chin
563e3a0d5a
Merge pull request #476 from AleoHQ/dependabot/cargo/serde-1.0.118 
Bump serde from 1.0.117 to 1.0.118
 2020-12-09 16:53:55 -05:00
dependabot-preview[bot]
7976650f1e
Bump zip from 0.5.8 to 0.5.9 
Bumps [zip](https://github.com/mvdnes/zip-rs) from 0.5.8 to 0.5.9.
- [Release notes](https://github.com/mvdnes/zip-rs/releases)
- [Commits](https://github.com/mvdnes/zip-rs/compare/v0.5.8...v0.5.9)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-09 20:50:31 +00:00
dependabot-preview[bot]
31d065154a
Bump serde from 1.0.117 to 1.0.118 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.117 to 1.0.118.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.117...v1.0.118)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-08 22:05:22 +00:00
collin
00dac3709a Merge branch 'master' of github.com:AleoHQ/leo into fix/prefer-index-map 2020-12-08 16:07:49 -05:00
collin
5222fcfe93 cargo update 2020-12-08 13:02:13 -05:00
collin
1dbdf23d5a use index map in compiler module 2020-12-07 12:18:20 -05:00
dependabot-preview[bot]
1bf6a049c8
Bump serde_json from 1.0.59 to 1.0.60 
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.59 to 1.0.60.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.59...v1.0.60)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-12-04 21:49:00 +00:00
howardwu
dbae691e49 chore(leo): bump version for new release 2020-12-03 16:16:42 -04:00
howardwu
74f7f24b19 chore(leo): bump version for new release 2020-12-01 22:57:11 -04:00
dependabot-preview[bot]
a5a311f3e2
Bump self_update from 0.20.0 to 0.22.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.20.0 to 0.22.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-11-26 10:49:43 +00:00
dependabot-preview[bot]
fc5760236b
Bump tracing from 0.1.21 to 0.1.22 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.21 to 0.1.22.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.21...tracing-0.1.22)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-11-24 15:30:38 +00:00
Collin Chin
5b0119be81
Merge pull request #453 from AleoHQ/dependabot/cargo/reqwest-0.10.9 
Bump reqwest from 0.10.8 to 0.10.9
 2020-11-24 10:29:06 -05:00
dependabot-preview[bot]
c809c43ef0
Bump reqwest from 0.10.8 to 0.10.9 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.10.8 to 0.10.9.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.10.8...v0.10.9)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-11-20 12:51:20 +00:00
dependabot-preview[bot]
468599266b
Bump env_logger from 0.8.1 to 0.8.2 
Bumps [env_logger](https://github.com/env-logger-rs/env_logger) from 0.8.1 to 0.8.2.
- [Release notes](https://github.com/env-logger-rs/env_logger/releases)
- [Changelog](https://github.com/env-logger-rs/env_logger/blob/master/CHANGELOG.md)
- [Commits](https://github.com/env-logger-rs/env_logger/compare/v0.8.1...v0.8.2)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-11-19 10:50:24 +00:00
collin
69a8b61efe add type-inference module 2020-11-12 10:28:24 -08:00
collin
667392237f add symbol-table module 2020-11-11 14:57:39 -08:00
collin
d4b6a6d1f8 separate symbol-table module 2020-11-11 14:42:57 -08:00
collin
eb301d310b separate type-inference module 2020-11-11 14:32:46 -08:00
collin
05a83950e5 bump versions fix conflicts 2020-11-11 12:04:48 -08:00
howardwu
0d966d1d5c chore(leo): bump version for new release 2020-11-06 19:56:12 -08:00
collin
4da923eec4 rename core-packages -> core 2020-10-30 17:36:48 -07:00
collin
a8c5885836 rename core-ast -> ast 2020-10-30 17:31:09 -07:00
collin
ffcd93f781 rename ast -> grammar 1 2020-10-30 17:17:17 -07:00
collin
5a46cb5bb0 rename leo-core -> leo-core-packages 2020-10-30 13:02:44 -07:00
collin
7589fa65c5 rename dynamic-check -> type-inference 2 2020-10-30 12:49:01 -07:00
collin
7e7d1e58a0 rename typed -> core-ast 2 2020-10-30 11:48:40 -07:00
collin
7cf41558bc rename static-check -> symbol-table 3 2020-10-30 10:51:45 -07:00
Howard Wu
b695d36459
Merge pull request #406 from AleoHQ/dependabot/cargo/tracing-subscriber-0.2.14 
build(deps): bump tracing-subscriber from 0.2.13 to 0.2.14
 2020-10-28 19:47:18 -07:00
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07:00
collin
9933b8e336 impl dynamic checks for core packages 2020-10-26 12:24:24 -07:00
collin
f1490a994b impl dynamic check errors 2020-10-23 15:23:48 -07:00
dependabot-preview[bot]
6d9943d398
build(deps): bump tracing-subscriber from 0.2.13 to 0.2.14 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.2.13 to 0.2.14.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.2.13...tracing-subscriber-0.2.14)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-23 10:29:09 +00:00
ljedrz
09d456c01e bench: introduce integer arithmetic benchmarks 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2020-10-22 17:36:26 +02:00
Collin Chin
36c6c976f2
Merge pull request #398 from AleoHQ/dependabot/cargo/env_logger-0.8.1 
Bump env_logger from 0.7.1 to 0.8.1
 2020-10-22 00:01:57 -07:00
Collin Chin
b190752a3c
Merge pull request #397 from AleoHQ/dependabot/cargo/console-0.13.0 
Bump console from 0.12.0 to 0.13.0
 2020-10-22 00:01:35 -07:00
Collin Chin
8f9e195ed6
Merge pull request #395 from AleoHQ/dependabot/cargo/serde-1.0.117 
Bump serde from 1.0.116 to 1.0.117
 2020-10-22 00:01:11 -07:00
dependabot-preview[bot]
2b1894c88b
Bump serde from 1.0.116 to 1.0.117 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.116 to 1.0.117.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.116...v1.0.117)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-22 05:54:14 +00:00
Collin Chin
bd857d555b
Merge pull request #390 from AleoHQ/dependabot/cargo/serde_json-1.0.59 
Bump serde_json from 1.0.57 to 1.0.59
 2020-10-21 22:53:32 -07:00
Collin Chin
3d021c4c4a
Merge pull request #389 from AleoHQ/dependabot/cargo/toml-0.5.7 
Bump toml from 0.5.6 to 0.5.7
 2020-10-21 22:53:05 -07:00
Collin Chin
0cf9c15116
Merge pull request #387 from AleoHQ/dependabot/cargo/tracing-subscriber-0.2.13 
Bump tracing-subscriber from 0.2.12 to 0.2.13
 2020-10-21 22:52:38 -07:00
dependabot-preview[bot]
2afa4d5188
Bump env_logger from 0.7.1 to 0.8.1 
Bumps [env_logger](https://github.com/env-logger-rs/env_logger) from 0.7.1 to 0.8.1.
- [Release notes](https://github.com/env-logger-rs/env_logger/releases)
- [Changelog](https://github.com/env-logger-rs/env_logger/blob/master/CHANGELOG.md)
- [Commits](https://github.com/env-logger-rs/env_logger/compare/v0.7.1...v0.8.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-19 10:27:48 +00:00
dependabot-preview[bot]
56f6edd2c2
Bump console from 0.12.0 to 0.13.0 
Bumps [console](https://github.com/mitsuhiko/console) from 0.12.0 to 0.13.0.
- [Release notes](https://github.com/mitsuhiko/console/releases)
- [Changelog](https://github.com/mitsuhiko/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mitsuhiko/console/compare/v0.12.0...v0.13.0)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-19 10:27:23 +00:00
collin
8f34904fdc fix resolver errors wip 2 2020-10-15 19:57:26 -07:00
dependabot-preview[bot]
c8ccdb9c61
Bump serde_json from 1.0.57 to 1.0.59 
Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.57 to 1.0.59.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](https://github.com/serde-rs/json/compare/v1.0.57...v1.0.59)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-13 10:43:22 +00:00
collin
d29d01f4ff move types into new static-check module 2020-10-12 12:32:29 -07:00
dependabot-preview[bot]
eb17a1d489
Bump toml from 0.5.6 to 0.5.7 
Bumps [toml](https://github.com/alexcrichton/toml-rs) from 0.5.6 to 0.5.7.
- [Release notes](https://github.com/alexcrichton/toml-rs/releases)
- [Commits](https://github.com/alexcrichton/toml-rs/compare/0.5.6...0.5.7)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-10-12 10:24:33 +00:00
collin
a5975eb5fd move types into separate module 2020-10-09 16:25:04 -07:00