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
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