ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-11 01:45:48 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,152 Commits 48 Branches 43 Tags 377 MiB
18a51cea16
Commit Graph

2152 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
18a51cea16 Adds fields dep 2021-03-04 10:43:22 -08:00
howardwu
88e76c7fa3 Adds fields dep 2021-03-04 10:42:34 -08:00
howardwu
78e8a3b456 Update curves traits 2021-03-04 10:42:14 -08:00
howardwu
f3daba63df Update gadgets traits 2021-03-04 10:41:33 -08:00
howardwu
fc4bc537dd Update primefield traits 2021-03-04 10:39:56 -08:00
howardwu
b95495bab3 Update r1cs error 2021-03-04 10:39:22 -08:00
howardwu
3c4b8e9f68 Update gadgets traits 2021-03-04 10:38:28 -08:00
howardwu
400e3dd440 Update r1cs traits 2021-03-04 10:36:54 -08:00
howardwu
bfdf3c4dca Update field trait 2021-03-04 10:36:29 -08:00
howardwu
d2bef646be Update dpc traits 2021-03-04 10:35:36 -08:00
howardwu
05c6f43018 Update comm and crh traits 2021-03-04 10:35:10 -08:00
howardwu
4f50b44a63 itemize imports 2021-03-04 10:33:51 -08:00
howardwu
c9f70800fd Update .tomls to 0.2.0 2021-03-04 10:33:21 -08:00
howardwu
23416e9633 cargo update 2021-03-04 10:29:36 -08:00
Collin Chin
0acf0e5c2c
Merge pull request #724 from ljedrz/fix_build_ooms 
Fix build-time OOMs by performing out-of-scope cleanups for CircuitSynthesizer objects
 2021-03-04 10:15:50 -08:00
ljedrz
9695442e77 fix: fix build OOMs by performing out-of-scope cleanups for CircuitSynthesizer objects 
Signed-off-by: ljedrz <ljedrz@gmail.com>
 2021-03-02 15:54:58 +01: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