ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-11 03:19:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,795 Commits 55 Branches 45 Tags 335 MiB
c619d9e2bb
Commit Graph

1795 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
c619d9e2bb @test no context, deprecate test keyword, cargofmt 2021-01-21 12:28:52 -05:00
gluaxspeed
1d4b30422a @test(...) style works for test + cargo fmt pass 2021-01-21 09:25:36 -05:00
Collin Chin
0318bb770a
Merge pull request #550 from AleoHQ/ternary-rename 
Rename conditional expr to ternary
 2021-01-19 11:16:12 -05:00
Collin Chin
9e31227522
Merge pull request #553 from AleoHQ/feat/ci-cli 
Expand ci on leo commands
 2021-01-19 11:14:38 -05:00
howardwu
cf8d646008 Move into outputs folder for leo clean checks 2021-01-18 08:24:59 -08:00
howardwu
a01004a303 Check that the outputs directory is empty on clean 2021-01-18 08:14:13 -08:00
howardwu
fa0cd887f4 Fix leo clean 2021-01-17 16:58:31 -05:00
howardwu
9678762ad4 Add caching for rust core jobs 2021-01-17 16:57:48 -05:00
howardwu
c3206ec558 Check location 2021-01-17 16:46:00 -05:00
howardwu
760fa9ee5c Release is unnecessary 2021-01-17 16:33:54 -05:00
howardwu
8db5374ebc Fix typo 2021-01-17 16:33:20 -05:00
howardwu
6739ab0040 Expand ci on leo commands 2021-01-17 14:33:52 -04:00
Protryon
3c063d725f rename conditional expr to ternary 2021-01-14 05:27:31 -08:00
howardwu
1a36a262b8 chore(leo): bump version for new release 2021-01-12 17:03:16 -04:00
Howard Wu
7ed1d3622b
Merge pull request #544 from AleoHQ/dependabot/cargo/serde-1.0.119 
Bump serde from 1.0.118 to 1.0.119
 2021-01-12 16:42:44 -04:00
Howard Wu
d3fcd19506
Merge pull request #536 from AleoHQ/fix/return-type-check 
Fix/return type check
 2021-01-12 16:42:13 -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
collin
f3452b9706 test program output array registers 2021-01-11 21:48:57 -05:00
collin
9215d911e6 use eq_flat type comparison method 2021-01-11 21:40:02 -05:00
Collin Chin
eaf7598dd7
Merge pull request #526 from AleoHQ/dependabot/cargo/reqwest-0.11.0 
Bump reqwest from 0.10.10 to 0.11.0
 2021-01-11 20:54:04 -05:00
Collin Chin
5f80cc4642
Merge pull request #532 from huitseeker/no-panic 
Removes a panic
 2021-01-11 20:52:59 -05:00
collin
9213fd42bb add feature flag for reqwest 2021-01-11 14:43:08 -05:00
collin
dd5d77e2df Merge branch 'fix/serialization-test' of github.com:AleoHQ/leo into dependabot/cargo/reqwest-0.11.0 2021-01-11 14:42:49 -05:00
collin
62dc7b4b22 Merge branch 'fix/serialization-test' of github.com:AleoHQ/leo into fix/return-type-check 2021-01-08 20:28:02 -05:00
collin
257b187afe fix failing serialization test in grammar module 2021-01-08 20:25:57 -05:00
collin
758cf88de7 fix warnings 2021-01-08 20:08:14 -05:00
collin
c48c39caaf check output register type == return value type + tests 2021-01-08 20:06:23 -05:00
François Garillot
d41c1b7138
Removes a panic 
One panic can be folded in the error case of its enclosing `Result`, an `unwrap` call can be elided through pattern-matching reformulation.
 2021-01-08 07:12:23 -08: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
Howard Wu
4eecd61f98
Merge pull request #524 from AleoHQ/dependabot/cargo/rand_core-0.6.1 
Bump rand_core from 0.6.0 to 0.6.1
 2021-01-07 20:54:28 -04:00
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