howardwu
|
eaadb29448
|
chore(leo): bump version for new release
|
2021-05-31 19:53:31 -07:00 |
|
Alessandro Coglio
|
7aa3fa3b1a
|
Merge pull request #920 from AleoHQ/compiler-tests
[Tests] Compiler tests
|
2021-05-19 12:56:18 -07:00 |
|
collin
|
c4461f4ef4
|
bump snarkvm module versions to 0.3.1
|
2021-05-18 21:08:19 -07:00 |
|
collin
|
9c94422530
|
bump snarkvm module versions to 0.2.3
|
2021-05-18 18:53:07 -07:00 |
|
damirka
|
0b798dc950
|
console + definition + core
|
2021-05-03 16:47:33 +03:00 |
|
Protryon
|
534f36a077
|
compiler tests
|
2021-04-19 18:08:14 -07:00 |
|
howardwu
|
4eac040178
|
chore(leo): bump version for new release
|
2021-04-15 13:49:42 -07:00 |
|
howardwu
|
62ee4c3b8b
|
chore(leo): bump version for new release
|
2021-04-09 14:08:52 -07:00 |
|
howardwu
|
ccea624184
|
Remove no defaults on synthesizer
|
2021-04-09 13:56:03 -07:00 |
|
ljedrz
|
670e3c0b47
|
deps: update snarkVM
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2021-04-07 10:01:26 +02:00 |
|
collin
|
f16bb70da9
|
test pedersen hash constraint numbers
|
2021-03-23 14:16:51 -07:00 |
|
howardwu
|
284bee6fe8
|
Update to ToBitsBEGadget, update to snarkVM v0.2.1
|
2021-03-15 21:02:03 -07:00 |
|
ljedrz
|
34f5ab782a
|
refactor: introduce a helper ConstraintSet object
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2021-03-11 13:40:15 +01:00 |
|
dependabot-preview[bot]
|
ab5da38aa0
|
Bump num-bigint from 0.3.1 to 0.4.0
Bumps [num-bigint](https://github.com/rust-num/num-bigint) from 0.3.1 to 0.4.0.
- [Release notes](https://github.com/rust-num/num-bigint/releases)
- [Changelog](https://github.com/rust-num/num-bigint/blob/master/RELEASES.md)
- [Commits](https://github.com/rust-num/num-bigint/compare/num-bigint-0.3.1...num-bigint-0.4.0)
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
|
2021-03-08 23:39:44 +00:00 |
|
howardwu
|
2e7b542b8b
|
Format and clean up, enable default on snarkvm_algorithms
|
2021-03-04 11:09:24 -08:00 |
|
howardwu
|
4650b5cd80
|
Update gadget traits
|
2021-03-04 11:01:00 -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
|
24f5b168aa
|
Updates r1cs traits
|
2021-03-04 10:45:37 -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
|
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
|
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 |
|
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 |
|
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
|
ec056a2877
|
Migrates synthesizer to a dedicated module
|
2021-02-27 08:48:20 -08:00 |
|