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

2137 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
bors[bot]
2622a4be63
Merge #712 
712: Refactors synthesizer to crate, updates Leo to snarkVM v0.0.6, removes deprecated travis scripts r=collinc97 a=howardwu

## Motivation

- Refactors synthesizer to crate
- Updates Leo to snarkVM v0.0.6
- Removes deprecated Travis scripts


Co-authored-by: howardwu <howardwu@berkeley.edu>
 2021-03-02 00:17:26 +00:00
bors[bot]
4253ac9133
Merge #674 
674: implicit value at start of array failing fix r=collinc97 a=gluax

Resolves #607.

Co-authored-by: gluax <jonathan.t.pavlik@gmail.com>
 2021-03-01 23:57:43 +00:00
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
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