ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,264 Commits 54 Branches 46 Tags 340 MiB
9caca65409
Commit Graph

3264 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
damirka
9caca65409 alphabetical in package/outputs/mod 2021-08-18 18:07:05 +03:00
damirka
6f8443fdaf removes ast snapshots on leo clean 2021-08-18 14:41:27 +03:00
Alessandro Coglio
8ac669f71d
Merge pull request #1266 from AleoHQ/fix-recursive-imports 
[Fix] Recursive imports
 2021-08-17 10:26:46 -07:00
Alessandro Coglio
a15aba3c2d
Merge pull request #1231 from AleoHQ/rfc-bit-byte-conv 
[RFC] Add an RFC for bit and byte conversions.
 2021-08-17 10:07:17 -07:00
Alessandro Coglio
eb74e85e60
Merge pull request #1264 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.9 
Bump snarkvm-dpc from 0.7.8 to 0.7.9
 2021-08-17 09:33:28 -07:00
yangvenli
b6d9db20be fixes recursive imports issue 2021-08-17 15:47:16 +03:00
dependabot[bot]
d2a4a14cf4
Bump snarkvm-dpc from 0.7.8 to 0.7.9 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.8 to 0.7.9.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.8...v0.7.9)

---
updated-dependencies:
- dependency-name: snarkvm-dpc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-17 10:18:37 +00:00
Alessandro Coglio
6047886446 [RFC] Extend bit/byte conversion RFC. 
Add a paragraph clarifying what an adequate implementation strategy could be.
In any case, we are likely to go with methods on scalar types directly.
 2021-08-16 10:48:24 -07:00
Alessandro Coglio
6e264b86ef [RFC] Extend bit/byte conversion RFC. 
Add an alternative in which we go to methods directly. This seems more likely at
this point, given that we seem to have a fairly simple and quick way to support
methods on scalar types that does not involve turning scalar types into circuit
types.
 2021-08-16 10:44:10 -07:00
Alessandro Coglio
8f7485977a
Merge pull request #1256 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.9 
Bump snarkvm-curves from 0.7.8 to 0.7.9
 2021-08-16 10:35:49 -07:00
Alessandro Coglio
3fd9e90fce
Merge pull request #1257 from AleoHQ/dependabot/cargo/anyhow-1.0.43 
Bump anyhow from 1.0.42 to 1.0.43
 2021-08-16 10:08:53 -07:00
dependabot[bot]
957d2ef62d
Bump anyhow from 1.0.42 to 1.0.43 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.42 to 1.0.43.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.42...1.0.43)

---
updated-dependencies:
- dependency-name: anyhow
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:19:17 +00:00
dependabot[bot]
1b34fa0538
Bump snarkvm-curves from 0.7.8 to 0.7.9 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.8 to 0.7.9.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.8...v0.7.9)

---
updated-dependencies:
- dependency-name: snarkvm-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:18:57 +00:00
Alessandro Coglio
2f9e315c78
Merge pull request #1245 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.8 
Bump snarkvm-dpc from 0.7.7 to 0.7.8
 2021-08-06 16:10:38 -10:00
Alessandro Coglio
b35766d572
Merge pull request #1244 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.8 
Bump snarkvm-gadgets from 0.7.7 to 0.7.8
 2021-08-06 15:45:22 -10:00
Alessandro Coglio
f50851af79
Merge pull request #1246 from AleoHQ/dependabot/cargo/assert_cmd-2.0.0 
Bump assert_cmd from 1.0.8 to 2.0.0
 2021-08-06 15:40:05 -10:00
Alessandro Coglio
56c1bd4ebb
Merge pull request #1243 from AleoHQ/dependabot/cargo/snarkvm-r1cs-0.7.8 
Bump snarkvm-r1cs from 0.7.7 to 0.7.8
 2021-08-06 15:31:19 -10:00
dependabot[bot]
0dc4f68507
Bump assert_cmd from 1.0.8 to 2.0.0 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 1.0.8 to 2.0.0.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases)
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v1.0.8...v2.0.0)

---
updated-dependencies:
- dependency-name: assert_cmd
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:21:24 +00:00
dependabot[bot]
8e18a9f3f8
Bump snarkvm-dpc from 0.7.7 to 0.7.8 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
updated-dependencies:
- dependency-name: snarkvm-dpc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:21:02 +00:00
dependabot[bot]
d230b4b64c
Bump snarkvm-gadgets from 0.7.7 to 0.7.8 
Bumps [snarkvm-gadgets](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
updated-dependencies:
- dependency-name: snarkvm-gadgets
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:20:46 +00:00
dependabot[bot]
2d7f2dfef3
Bump snarkvm-r1cs from 0.7.7 to 0.7.8 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
updated-dependencies:
- dependency-name: snarkvm-r1cs
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-06 10:20:30 +00:00
Alessandro Coglio
1667447d1a
Merge pull request #1240 from AleoHQ/fix-dashes-in-imports 
[Feature] Allow dashes in member access
 2021-08-05 20:36:22 -10:00
Alessandro Coglio
0bdf67eb92
Merge pull request #1236 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.8 
Bump snarkvm-curves from 0.7.7 to 0.7.8
 2021-08-05 20:34:40 -10:00
gluax
8d5bef02f0
Merge pull request #1241 from AleoHQ/add-compiler-phases-pdf 
[Feature] Adds compiler phases pdf
 2021-08-05 19:15:36 -07:00
damirka
c8706dd582 adds compiler phases pdf 2021-08-05 20:17:10 +03:00
damirka
02b93b270b remove comment 2021-08-05 17:55:20 +03:00
damirka
9d3d76fc63 allow dashes in member access 2021-08-05 17:53:08 +03:00
dependabot[bot]
6474daf791
Bump snarkvm-curves from 0.7.7 to 0.7.8 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.7 to 0.7.8.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.7...v0.7.8)

---
updated-dependencies:
- dependency-name: snarkvm-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-05 10:17:36 +00:00
Alessandro Coglio
55f110b6b6
Merge pull request #1235 from AleoHQ/return-import-tests 
[Feature] Getting import tests back
 2021-08-05 02:01:09 -07:00
damirka
eb0863cda9 closes #1183 2021-08-04 23:34:11 +03:00
Alessandro Coglio
09b1fddd59
Merge pull request #1234 from AleoHQ/dependabot/cargo/snarkvm-gadgets-0.7.7 
Bump snarkvm-gadgets from 0.7.6 to 0.7.7
 2021-08-04 12:16:54 -07:00
Alessandro Coglio
5e3b54a9a3
Merge pull request #1233 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.7 
Bump snarkvm-dpc from 0.7.6 to 0.7.7
 2021-08-04 12:16:24 -07:00
Alessandro Coglio
dc05ec9f3b
Merge pull request #1232 from AleoHQ/dependabot/cargo/snarkvm-r1cs-0.7.7 
Bump snarkvm-r1cs from 0.7.6 to 0.7.7
 2021-08-04 12:15:03 -07:00
dependabot[bot]
3af2e63dc0
Bump snarkvm-gadgets from 0.7.6 to 0.7.7 
Bumps [snarkvm-gadgets](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
updated-dependencies:
- dependency-name: snarkvm-gadgets
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-04 10:16:12 +00:00
dependabot[bot]
f0d0ea081b
Bump snarkvm-dpc from 0.7.6 to 0.7.7 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
updated-dependencies:
- dependency-name: snarkvm-dpc
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-04 10:16:06 +00:00
dependabot[bot]
b3129b5bb4
Bump snarkvm-r1cs from 0.7.6 to 0.7.7 
Bumps [snarkvm-r1cs](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.6...v0.7.7)

---
updated-dependencies:
- dependency-name: snarkvm-r1cs
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-04 10:15:58 +00:00
Alessandro Coglio
ad6e27000d
Merge pull request #1229 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.7 
Bump snarkvm-curves from 0.7.6 to 0.7.7
 2021-08-03 16:13:06 -07:00
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
Alessandro Coglio
dbc09e9815
Merge pull request #1228 from AleoHQ/dependabot/cargo/snarkvm-fields-0.7.7 
Bump snarkvm-fields from 0.7.6 to 0.7.7
 2021-08-03 13:32:50 -07:00
Alessandro Coglio
87db1bfdb6 [RFC] Add an RFC for bit and byte conversions. 2021-08-03 13:28:57 -07:00
Alessandro Coglio
3d31d89631
Merge pull request #1227 from AleoHQ/abnf 
[ABNF] Rename digit => decimal-digit
 2021-08-03 13:02:55 -07:00
Alessandro Coglio
5758b8440c
Merge pull request #1224 from AleoHQ/dependabot/cargo/serde-1.0.127 
Bump serde from 1.0.126 to 1.0.127
 2021-08-03 12:44:07 -07:00
Alessandro Coglio
5abb1fcab5
Merge pull request #1223 from AleoHQ/dependabot/cargo/assert_cmd-1.0.8 
Bump assert_cmd from 1.0.7 to 1.0.8
 2021-08-03 11:22:42 -07:00
dependabot[bot]
ab1880e6f3
Bump serde from 1.0.126 to 1.0.127 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.126 to 1.0.127.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.126...v1.0.127)

---
updated-dependencies:
- dependency-name: serde
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:43 +00:00
dependabot[bot]
7f0c0f0b7a
Bump snarkvm-curves from 0.7.6 to 0.7.7 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

---
updated-dependencies:
- dependency-name: snarkvm-curves
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:29 +00:00
dependabot[bot]
4373ce980d
Bump snarkvm-fields from 0.7.6 to 0.7.7 
Bumps [snarkvm-fields](https://github.com/AleoHQ/snarkVM) from 0.7.6 to 0.7.7.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/commits)

---
updated-dependencies:
- dependency-name: snarkvm-fields
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-03 18:04:19 +00:00
Alessandro Coglio
93e45e8842
Merge pull request #1226 from AleoHQ/bump-snarkvm-0.7.6 
Bump snarkvm to 0.7.6
 2021-08-03 11:03:23 -07:00
Alessandro Coglio
a2919e9dd7 [ABNF] Re-generate the markdown. 2021-08-02 18:01:22 -07:00
Alessandro Coglio
33831779c7 [ABNF] Rename digit => decimal-digit. 
Since, with the introduction of (ASCII and Unicode escapes for) characters, we
now have digits in base 10, 8, and 16, it seems worth being more explicit in the
naming of decimal digits in the grammar.

Just a nonterminal name change, not a structural change to the grammar.
 2021-08-02 17:59:13 -07:00
Alessandro Coglio
14f0163d2c [ABNF] Move a rule and update some comments. 
Move the rule for 'digit' just before the ones for 'octal-digit' and
'hexadecimal-digit'.

Update the comments accordingly.

No real change to the grammar here.
 2021-08-02 17:56:47 -07:00