ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 20:24:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,115 Commits 54 Branches 46 Tags 340 MiB
2794b9a1ab
Commit Graph

2115 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Howard Wu
9511116bc1
Merge pull request #531 from AleoHQ/fix/import-type-check 
Fix import type checking
 2021-01-07 20:49:00 -04:00
Howard Wu
a59e1e3836
Merge pull request #530 from AleoHQ/feature/implicit-array-index 
Implement implicit u32 array indices
 2021-01-07 20:37:52 -04:00
Collin Chin
e31b5ffec9
Merge pull request #528 from damirka/master 
Make Leo multiline
 2021-01-07 19:33:14 -05:00
Howard Wu
2cde6d0659
Merge pull request #520 from AleoHQ/fix/conditional-logging 
fix conditional logging bug #407
 2021-01-07 20:30:48 -04:00
collin
601ab09226 add additional tests for import type checking 2021-01-07 18:31:07 -05:00
collin
b4bcfe549a fix import type checking 2021-01-07 18:12:46 -05:00
collin
cec3a40eb1 infer loop variable types + fix pedersen example 2021-01-07 14:09:57 -05:00
collin
60d243fd43 impl implicit u32 array indices 2021-01-07 13:34:34 -05:00
Damir Shamanaev
753aa8f4a2 adds multi lines to Leo 
- hacked WHITESPACE tag in Pest to treat NEWLINE as a WHITESPACE
- all the NEWLINES removed (!!!)
- console.log and member access tbd
 2021-01-07 01:35:40 +03:00
Collin Chin
7220fdb84f
Merge pull request #496 from AleoHQ/ast-cleanup 
AST cleanup
 2021-01-05 14:04:16 -05:00
collin
fea8bb6d1e Merge branch 'master' of github.com:AleoHQ/leo into ast-cleanup 2021-01-05 13:09:41 -05: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
Collin Chin
b34f003f04
Merge pull request #519 from AleoHQ/refactor/deps 
Update snarkVM deps to crates
 2021-01-04 14:50:57 -05:00
collin
d28e161706 fix conditional logging bug #407 2021-01-04 11:34:38 -05:00
howardwu
87ccc0fe3d Update snarkVM deps to crates 2021-01-03 22:37:06 -04:00
howardwu
bf2280e400 Add bash highlighting 2021-01-03 18:09:14 -04:00
Howard Wu
0ca411c52d
Merge pull request #518 from AleoHQ/migration 
Migrates to using snarkVM and adds memory usage improvements for programs
 2021-01-02 23:57:03 -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
Howard Wu
5a0c924c05
Merge pull request #517 from AleoHQ/feat/readme 
Update Leo package README with a simple build guide
 2021-01-02 18:17:01 -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
638f367908 Remove unused snarkos dev-dep 2020-12-30 11:43:54 -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
Howard Wu
9fecd6be9b
Merge pull request #507 from AleoHQ/refactor/snarkos 
Removes unused dependencies from Leo
 2020-12-30 11:34:58 -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
howardwu
38edf4858f Add a readme for leo-package 2020-12-30 00:28:39 -04:00
howardwu
3f79420011 Update README logic with build guide 2020-12-30 00:24:46 -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
Protryon
91cac5f9d0 remove custom eq/hash implementations, add node implementations, remove range_or_expression 2020-12-21 05:58:10 -08: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
0db86111ff Set precommit to verbose mode 2020-12-20 10:20:40 -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