ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 13:14:05 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,766 Commits 54 Branches 46 Tags 340 MiB
4eecd61f98
Commit Graph

125 Commits

Author SHA1 Message Date
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
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
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]
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
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
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
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]
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
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]
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
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
collin
fe79cfcf71 merge master 2020-10-26 22:05:03 -07: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
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
d29d01f4ff move types into new static-check module 2020-10-12 12:32:29 -07:00
collin
a5975eb5fd move types into separate module 2020-10-09 16:25:04 -07:00
collin
effdfc7628 add leo dynamic check module 2020-10-06 17:20:51 -07:00
collin
d5a9cefe7c impl symbol table for pass 1 + pass 2 type resolution 2020-10-01 20:17:47 -07:00
collin
15dd915228 Merge branch 'master' of github.com:AleoHQ/leo into feature/import-parser 2020-09-30 16:18:49 -07:00
Collin Chin
09a33d9666
Merge pull request #361 from AleoHQ/dependabot/cargo/self_update-0.20.0 
Bump self_update from 0.19.0 to 0.20.0
 2020-09-30 00:59:56 -07:00
collin
22422c1b55 create separate module for imports 2020-09-18 12:04:10 -07:00
dependabot-preview[bot]
44216ba732
Bump self_update from 0.19.0 to 0.20.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.19.0 to 0.20.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-09-14 10:28:09 +00:00
collin
32cf945c61 core package imports wip 2020-09-12 23:10:01 -07:00
howardwu
2620ae7bc2 chore(leo): bump version for new release 2020-09-03 03:08:33 -07:00
howardwu
bf82bf4d1b chore(leo): bump version for new release 2020-08-28 23:26:19 -07:00
howardwu
12971b9cbb Update Cargo.toml 2020-08-27 01:33:00 -07:00