ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 03:04:13 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,807 Commits 54 Branches 46 Tags 340 MiB
0138b270a8
Commit Graph

4807 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
collin
0a34115ef7 stabilize scalar tests 2022-07-28 16:46:30 -07:00
collin
86219c0044 stabilize record tests 2022-07-28 16:40:48 -07:00
collin
5a26eed8ca integer min tests fixed 2022-07-28 16:23:16 -07:00
Collin Chin
41b985f923
Merge pull request #1964 from AleoHQ/clean-symbols 
Remove unused symbols and logic
 2022-07-28 15:55:48 -07:00
collin
eaa04a5f7e core algorithm tests working 2022-07-28 15:27:43 -07:00
Alessandro Coglio
f5b62e913b [ABNF] Add the remainder operator. 2022-07-28 14:25:01 -07:00
collin
66c5deb7e3 merge testnet3 do not regen tests 2022-07-28 14:23:47 -07:00
collin
8a0e9bc5cc merge testnet3 regen tests 2022-07-28 14:19:57 -07:00
Collin Chin
eb63f13cf7
Merge pull request #1946 from AleoHQ/feat/ssa 
Static Single Assignment
 2022-07-28 14:15:37 -07:00
collin
10c9bb1c28 fix directory bug for test expectations 2022-07-28 14:14:25 -07:00
Collin Chin
77b5a55788
Update compiler/ast/src/statements/conditional.rs 2022-07-28 14:01:54 -07:00
collin
fa0fd5b8c0 integer tests passing. strings wip 2022-07-28 13:34:44 -07:00
Pranav Gaddamadugu
3dc234325c Address feedback 2022-07-28 11:51:16 -07:00
Pranav Gaddamadugu
4d978dc41c Regenerate test expectations after AST changes 2022-07-28 09:25:26 -07:00
Pranav Gaddamadugu
d11ed35c77 Addressing feedback 2022-07-28 09:24:33 -07:00
d0cd
09f7af1a42
Merge pull request #1965 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.15 
Bump clap from 3.2.14 to 3.2.15
 2022-07-28 06:53:07 -07:00
d0cd
f348dd7156
Merge pull request #1966 from AleoHQ/dependabot/cargo/testnet3/console-0.15.1 
Bump console from 0.15.0 to 0.15.1
 2022-07-28 06:52:54 -07:00
dependabot[bot]
f12cdea25d
Bump console from 0.15.0 to 0.15.1 
Bumps [console](https://github.com/mitsuhiko/console) from 0.15.0 to 0.15.1.
- [Release notes](https://github.com/mitsuhiko/console/releases)
- [Changelog](https://github.com/console-rs/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/mitsuhiko/console/compare/0.15.0...0.15.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-28 10:14:12 +00:00
collin
184af219ee build and check aleo files during cargo test 2022-07-27 15:49:49 -07:00
Mazdak Farrokhzad
37f51014c9 minor cleanup 2022-07-27 21:48:10 +02:00
Mazdak Farrokhzad
86ae9e1727 refactor benchmarks code 2022-07-27 19:40:19 +02:00
dependabot[bot]
31e7532521
Bump clap from 3.2.14 to 3.2.15 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.14 to 3.2.15.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/v3.2.15/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.14...v3.2.15)

---
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-26 10:17:27 +00:00
collin
77a16585fe remove unused tests 2022-07-25 18:48:16 -07:00
collin
6724d2abe9 remove unused code 1 2022-07-25 14:17:36 -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
Pranav Gaddamadugu
9dd45c3620 Type checking errors on multiple returns 2022-07-24 21:32:36 -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
Pranav Gaddamadugu
0194e09b41 Regen test expectations 2022-07-23 10:33:57 -07:00
Pranav Gaddamadugu
65e13a77c0 SSA folds all ReturnStatements into a single statement at the end of the block 2022-07-23 10:29:14 -07:00
Pranav Gaddamadugu
ff816c59d3 Cleanup 2022-07-23 10:29:14 -07:00
Pranav Gaddamadugu
e3a36089e0 Fmt 2022-07-23 10:29:14 -07:00
Pranav Gaddamadugu
7059fb5ffa Cleanup 2022-07-23 10:29:14 -07:00
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