Commit Graph

2268 Commits

Author SHA1 Message Date
howardwu
1b0a6dbd69 Update fields traits 2021-03-04 10:52:54 -08:00
howardwu
7b7c1bbef4 Remove object dept 2021-03-04 10:51:59 -08:00
howardwu
1411107d23 Update fields traits 2021-03-04 10:50:26 -08:00
howardwu
4e9576e58d Fix object errors 2021-03-04 10:49:47 -08:00
howardwu
4fec97083d Adds gadgets dep 2021-03-04 10:48:48 -08:00
howardwu
d8e9edc941 Update fields structs 2021-03-04 10:48:28 -08:00
howardwu
187f738811 Update fields errors 2021-03-04 10:48:01 -08:00
howardwu
ff4412d7d0 Update curves errors 2021-03-04 10:47:32 -08:00
howardwu
3421e891b6 Adds r1cs dep 2021-03-04 10:46:47 -08:00
howardwu
f65ad89360 Update algo errors 2021-03-04 10:46:19 -08:00
howardwu
24f5b168aa Updates r1cs traits 2021-03-04 10:45:37 -08:00
howardwu
441edff36f Adds gadgets dep 2021-03-04 10:44:36 -08:00
howardwu
df4a2e0f4d Adds r1cs dep 2021-03-04 10:43:59 -08:00
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
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -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