ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 09:11:39 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,722 Commits 54 Branches 46 Tags 340 MiB
184af219ee
Commit Graph

4722 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
184af219ee build and check aleo files during cargo test 2022-07-27 15:49:49 -07:00
d0cd
9bd4db47fb
Merge pull request #1962 from AleoHQ/grammar-add-record-name-and-inner-rule 
[grammar] add missing record name identifier; factor circuit-componen…
 2022-07-24 21:53:24 -07:00
d0cd
06a11378e8
Merge pull request #1961 from AleoHQ/abnf-input-type 
[ABNF] Generalize input type.
 2022-07-24 21:53:08 -07:00
Eric McCarthy
9756714fd2 [grammar] add missing record name identifier; factor circuit-component-declarations into separate grammar rule 2022-07-23 23:32:17 -07:00
Alessandro Coglio
949aac14db [ABNF] Generalize input type. 2022-07-23 21:05:19 -07:00
d0cd
2a9cc42493
Merge pull request #1950 from AleoHQ/remove-unused-errors 
Remove unused errors
 2022-07-23 10:28:04 -07:00
Collin Chin
d8edb1b464
Merge pull request #1960 from AleoHQ/abnf-inclusive-loops 
[ABNF] Add inclusive loop bound.
 2022-07-22 09:24:18 -07:00
Alessandro Coglio
ba6c239964 [ABNF] Add inclusive loop bound. 
This is now part of the Leo compiler, so we need to update the grammar
accordingly.
 2022-07-21 13:35:39 -07:00
Collin Chin
70dab80358
Merge pull request #1957 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.15 
Bump tracing-subscriber from 0.3.14 to 0.3.15
 2022-07-21 11:17:27 -07:00
Collin Chin
77b447bda9
Merge pull request #1956 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.140 
Bump serde from 1.0.139 to 1.0.140
 2022-07-21 11:17:14 -07:00
Collin Chin
8082f9c5dc
Merge pull request #1955 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.14 
Bump clap from 3.2.12 to 3.2.14
 2022-07-21 10:48:54 -07:00
Collin Chin
188186f3c2
Merge pull request #1959 from AleoHQ/cleanup 
Minor cleanup
 2022-07-21 10:48:36 -07:00
Pranav Gaddamadugu
17efb7e9f3 Minor cleanup 2022-07-21 09:37:45 -07:00
dependabot[bot]
5423898495
Bump tracing-subscriber from 0.3.14 to 0.3.15 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.14 to 0.3.15.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.14...tracing-subscriber-0.3.15)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 10:14:30 +00:00
dependabot[bot]
e40735675f
Bump serde from 1.0.139 to 1.0.140 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.139 to 1.0.140.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.139...v1.0.140)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 10:14:23 +00:00
dependabot[bot]
108637cd8b
Bump clap from 3.2.12 to 3.2.14 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.12 to 3.2.14.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.12...v3.2.14)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 07:47:38 +00:00
Collin Chin
40c63fab7e
Merge pull request #1954 from AleoHQ/example/token 
add token example comments
 2022-07-21 00:46:14 -07:00
collin
eed9e215c8 Update dep 2022-07-21 00:28:14 -07:00
collin
97594cac4d add token example comments 2022-07-21 00:15:06 -07:00
Collin Chin
38d0108379
Merge pull request #1953 from AleoHQ/example/token 
fix groups example, add comments
 2022-07-20 23:33:09 -07:00
Collin Chin
adede74a2e
Merge pull request #1952 from AleoHQ/abnf-circuit-fix 
[ABNF] Fix rule for circuit declarations.
 2022-07-20 23:26:01 -07:00
collin
73fd21f198 fix groups example, add comments 2022-07-20 23:25:13 -07:00
Alessandro Coglio
f93ed1b15f [ABNF] Fix rule for circuit declarations. 
The identifier had been neglected.
 2022-07-20 18:36:23 -07:00
Collin Chin
b940ad01fc
Merge pull request #1951 from AleoHQ/example/token 
Example/token
 2022-07-20 16:13:03 -07:00
collin
a3e2944d55 add other examples 2022-07-20 16:07:37 -07:00
collin
f8582c398d fix manifest run bug 2022-07-20 15:56:48 -07:00
collin
92f97a4428 update deps 2022-07-20 15:29:59 -07:00
Pranav Gaddamadugu
a6feb314a7 Produce a valid record as input 2022-07-20 15:02:33 -07:00
Pranav Gaddamadugu
0570a421f0 Mint function executes 2022-07-20 13:09:43 -07:00
Pranav Gaddamadugu
3e780dd42b Fix bug in codegen for CircuitExpression 2022-07-20 12:59:23 -07:00
Pranav Gaddamadugu
eb1f9a561f Update token example with mint and transfer 2022-07-20 12:31:04 -07:00
Mazdak Farrokhzad
db42194d49 remove unused errors 2022-07-20 20:19:00 +02:00
Collin Chin
afd3fa3dc5
Merge pull request #1945 from AleoHQ/update-ci 
prepare for testnet3 as repo branch
 2022-07-18 18:32:42 -07:00
collin
1e5142a8a2 prepare for testnet3 as repo branch 2022-07-18 18:28:23 -07:00
Collin Chin
8b15fffc1a
Merge pull request #1932 from AleoHQ/tuple-fixes 
Improvements to tuples
 2022-07-18 16:02:33 -07:00
collin
07a199537d clippy 2022-07-18 15:47:30 -07:00
collin
66b0fcc885 merge testnet3 regen tests 2022-07-18 15:33:40 -07:00
Collin Chin
6ba790762d
Merge pull request #1930 from AleoHQ/feat/loop-unrolling 
Loop Unrolling
 2022-07-18 15:17:35 -07:00
collin
5aa53cd897 remove empty directory 2022-07-18 14:31:28 -07:00
collin
4dc0df0084 merge testnet3 2022-07-18 14:13:31 -07:00
Collin Chin
ffdb022bdc
Merge pull request #1924 from AleoHQ/record-gates 
Rename balance -> gates
 2022-07-18 13:59:48 -07:00
collin
d165c6088d update examples 2022-07-18 12:50:59 -07:00
Pranav Gaddamadugu
63c910e892 Fix incomplete Display impl for Literal 2022-07-18 12:38:15 -07:00
collin
5316d900f4 merge testnet3, regen tests 2022-07-18 12:32:15 -07:00
Collin Chin
f2a00dfeec
Merge pull request #1944 from AleoHQ/ci/bump-rust-version-to-1.62 
Bump Rust version for CI
 2022-07-18 12:23:35 -07:00
Collin Chin
bb861b5bc2
Merge pull request #1941 from AleoHQ/code-gen 
Leo run {program_name}
 2022-07-18 12:23:12 -07:00
Pranav Gaddamadugu
8199a1e9d3 More feedback/cleanup 2022-07-18 11:54:33 -07:00
Pranav Gaddamadugu
e24e876d70 Clippy 2022-07-18 11:30:13 -07:00
Pranav Gaddamadugu
c67e816a6c Bump rust version 2022-07-18 11:25:20 -07:00
d0cd
3d65fc6263
Merge pull request #1942 from AleoHQ/doc-span 
[span] Update and clarify some comments.
 2022-07-18 11:19:02 -07:00