Commit Graph

4723 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
a4a912f677 Bug fix for SSA pass 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
3d63b5c400 Cleanup 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
e82c372eac Support code gen for assign statements 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
1a62a2ba8c SSA shouldn't reconstruct function ids 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
12e356c030 Integrate SSA pass with compiler 2022-07-23 10:29:13 -07:00
Pranav Gaddamadugu
cb32f82352 Pull passes/src/static_single_assignemnt from feat/ssa-and-dce 2022-07-23 10:29:13 -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