ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 09:41:37 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,276 Commits 54 Branches 46 Tags 340 MiB
078f0b4351
Commit Graph

2276 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
8690e35e95 Update field structs 2021-03-04 10:58:50 -08:00
howardwu
c03e1045f2 Update gadgets traits 2021-03-04 10:57:20 -08:00
howardwu
bf43da5a84 Update dpc structs 2021-03-04 10:56:36 -08:00
howardwu
1c5ac21e9c Update dpc structs 2021-03-04 10:56:03 -08:00
howardwu
dadc57a148 Add r1cs dep 2021-03-04 10:55:22 -08:00
howardwu
e11ef69f74 Add fields dep 2021-03-04 10:54:37 -08:00
howardwu
b029469eca Remove objects dep 2021-03-04 10:54:21 -08:00
howardwu
4692a2b20e Update object errors 2021-03-04 10:53:48 -08:00
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