howardwu
315938ec45
Removes unused travis
2021-02-27 13:24:00 -08:00
howardwu
b86e8f01e9
Adds README.md
2021-02-27 13:22:37 -08:00
howardwu
2bfb64f83e
Update synthesizer to support new terminology
2021-02-27 13:21:29 -08:00
howardwu
8a05594b42
Bump snarkvm to v0.0.6
2021-02-27 13:10:39 -08:00
howardwu
a0b6dba14d
Checkpoint for further wasm compatibility
2021-02-27 08:57:44 -08:00
howardwu
ec056a2877
Migrates synthesizer to a dedicated module
2021-02-27 08:48:20 -08:00
howardwu
5d605178e4
Reenable ASG
2021-02-26 23:13:55 -08:00
howardwu
897a775a9c
Resolve merge conflict
2021-02-26 23:04:15 -08:00
howardwu
77a0af18fe
chore(leo): bump version for new release
2021-02-26 19:42:35 -08:00
Collin Chin
dece42a4e6
Merge pull request #586 from huitseeker/warts
...
[easy] Simplifies a number of pattern-matches
2021-02-26 15:41:47 -08:00
François Garillot
0d7c6d0b65
Simplifies a number of pattern-matches
...
Into the direct `Result` / `Option` combinator they correspond to, for concision / clarity.
Reviewed from automated suggestions generated from [comby-rust](https://github.com/huitseeker/comby-rust ).
2021-02-26 13:03:04 -08:00
gluax
c7bcab3ccc
merge master, slight clean up
2021-02-26 10:36:10 -05:00
bors[bot]
2794b9a1ab
Merge #686
...
686: Adds 'leo clone' command, adds CI for 'leo clone' and 'leo publish' r=collinc97 a=damirka
Closes #685
## Motivation
Has been described in #685
- Adds 'leo clone' command
- Adds CI for 'leo clone' and 'leo publish'
## Testing plan
This PR introduces another integration test.
- Published package: https://aleo.pm/@leobot/test-app
- Workflow run: https://app.circleci.com/pipelines/github/AleoHQ/leo/66/workflows/25edb77e-8fbb-4482-95a2-4dab2ebcf15c/jobs/242
## Related PRs
This PR closes testing gap left after #676
Co-authored-by: damirka <damirka.ru@gmail.com>
Co-authored-by: howardwu <howardwu@berkeley.edu>
2021-02-25 19:27:39 +00:00
howardwu
ffd0566c65
Cleanup
2021-02-25 10:58:52 -08:00
howardwu
a839f38718
Properly stringify it
2021-02-25 10:50:10 -08:00
howardwu
9a609991e4
Add Leo run to publish for sanity check
2021-02-25 10:35:51 -08:00
howardwu
9192c4a082
Update publish
2021-02-25 10:24:07 -08:00
howardwu
69397f908b
Fix publish remote
2021-02-25 10:17:52 -08:00
howardwu
0c6a0ff9af
Fix publish CI
2021-02-25 10:10:21 -08:00
howardwu
f596dc8887
Add leo clone workflow
2021-02-25 10:03:17 -08:00
howardwu
7c6dfeb599
Remove leo publish from GA
2021-02-25 10:02:31 -08:00
howardwu
23a4604794
Fix variables in ci
2021-02-25 09:58:25 -08:00
howardwu
52ff071ad3
Update leo-publish CI
2021-02-25 09:57:22 -08:00
bors[bot]
e0ad200945
Merge #704
...
704: Updates snarkVM to 0.0.5, updates rand to 0.8 r=collinc97 a=howardwu
<!--
Thank you for submitting the PR! We appreciate you spending the time to work on these changes.
Help us understand your motivation by explaining why you decided to make this change.
Happy contributing!
-->
## Motivation
- Updates snarkVM to 0.0.5
- Updates rand to 0.8
- Updates rand usage of `gen_range` to spread
Co-authored-by: howardwu <howardwu@berkeley.edu>
Co-authored-by: collin <collin.chin@berkeley.edu>
2021-02-25 17:53:00 +00:00
collin
356b7ba062
merge master
2021-02-25 09:51:12 -08:00
howardwu
dd4ee7dd9a
Add leo clone and publish for circleci
2021-02-25 09:34:06 -08:00
howardwu
4fc5f3f30c
Adds 'leo clone' command
2021-02-25 09:29:50 -08:00
damirka
efd193f187
Merge branch 'master' into console-assert-error
2021-02-25 20:24:43 +03:00
howardwu
d5f787cd92
Merge branch 'master' of https://github.com/AleoHQ/leo into ci-publish-workflow
2021-02-25 09:04:57 -08:00
howardwu
be398437c6
Updates snarkVM to 0.0.5, updates rand usage
2021-02-25 08:56:20 -08:00
bors[bot]
9a14d0cd96
Merge #703
...
703: Remove UUID dependency r=howardwu a=Protryon
Should help/resolve ASG wasm incompatibility.
Co-authored-by: Protryon <max.bruce12@gmail.com>
2021-02-25 16:48:55 +00:00
howardwu
2fb9d364d5
Merge branch 'master' of https://github.com/AleoHQ/leo
2021-02-25 08:29:54 -08:00
Protryon
ed8d2fb11d
remove uuid dependency
2021-02-25 07:40:47 -08:00
damirka
6d19c9470a
fixes copy-paste naming
2021-02-25 16:05:11 +03:00
damirka
944d93fe4e
added comment for publishing workflow
2021-02-25 16:03:55 +03:00
Collin Chin
d85a057ddc
Merge pull request #694 from AleoHQ/refactor/leo
...
Updates Leo CLI with safety enhancements, adds CircleCI resolving flaky tests
2021-02-25 00:02:22 -08:00
howardwu
23f3568643
Merge branch 'master' of https://github.com/AleoHQ/leo
2021-02-24 22:36:46 -08:00
howardwu
5b6cfd5c77
Removes leo setup from GA
2021-02-24 22:34:19 -08:00
howardwu
6f1f295ec5
Removes leo login and logout GA
2021-02-24 22:34:01 -08:00
howardwu
4a75b8d7fa
Add leo login and logout to circleci
2021-02-24 22:22:29 -08:00
howardwu
2f0ad62795
Fix leo setup path
2021-02-24 22:19:16 -08:00
howardwu
c3d08e9c6c
Add leo setup to circleci
2021-02-24 22:13:55 -08:00
howardwu
4cb0334453
Removes leo add and remove GA
2021-02-24 22:04:27 -08:00
howardwu
303c69e863
Add leo add and remove to circleci
2021-02-24 21:59:06 -08:00
howardwu
e29100c70f
Switch output to debug
2021-02-24 21:55:50 -08:00
howardwu
a3006764ab
Fix leo clean CI
2021-02-24 21:52:51 -08:00
howardwu
0915293e26
Update circleci to rust 1.50.0
2021-02-24 21:48:54 -08:00
howardwu
808e631014
Add leo clean to circleci
2021-02-24 21:45:06 -08:00
howardwu
345d09d186
Update config
2021-02-24 21:32:57 -08:00
howardwu
de1d06e9dd
Add leo init circleci
2021-02-24 21:23:47 -08:00
