ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 20:24:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,289 Commits 54 Branches 46 Tags 340 MiB
f1ca580e5a
Commit Graph

5289 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Eric McCarthy
f7d1b5c0ab [examples] a few rewordings 2022-09-13 17:22:01 +02:00
Eric McCarthy
d38e33e5a0 [examples] add descriptions of ntz* algorithms in their README.md files 2022-09-13 17:22:01 +02:00
Eric McCarthy
556799971d [examples] update ntz examples with @program and calling helper functions in places 2022-09-13 17:22:01 +02:00
Eric McCarthy
3b1895f8df [examples] eight 32-bit versions of trailing zeros from Hacker's Delight 2022-09-13 17:22:01 +02:00
Collin Chin
d642da0441
Merge pull request #2060 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.21 
Bump clap from 3.2.20 to 3.2.21
 2022-09-13 16:18:21 +02:00
Collin Chin
bad06869e9
Merge pull request #2037 from AleoHQ/fix/missed-typechecking 
[Fix] Fixes missed typechecking for mul expressions.
 2022-09-13 16:03:13 +02:00
collin
c1d21e699c merge testnet3 2022-09-13 15:39:20 +02:00
dependabot[bot]
666054431f
Bump clap from 3.2.20 to 3.2.21 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.20 to 3.2.21.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/v3.2.21/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.20...v3.2.21)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-13 10:20:08 +00:00
d0cd
048be34524
Merge pull request #2059 from AleoHQ/dependabot/cargo/testnet3/criterion-0.4.0 
Bump criterion from 0.3.6 to 0.4.0
 2022-09-13 11:47:55 +02:00
d0cd
c44e67263c
Merge pull request #2058 from AleoHQ/dependabot/cargo/testnet3/self_update-0.31.0 
Bump self_update from 0.30.0 to 0.31.0
 2022-09-13 11:46:34 +02:00
Collin Chin
beb0684168
Merge pull request #2052 from AleoHQ/feat/mapping-and-finalize 
Mapping and finalize
 2022-09-13 11:45:22 +02:00
Pranav Gaddamadugu
a6fe8bf80c Update docs 2022-09-13 11:10:22 +02:00
Pranav Gaddamadugu
c2bed2bb54 Add name to finalize block 2022-09-13 11:06:24 +02:00
dependabot[bot]
1b086ac519
Bump criterion from 0.3.6 to 0.4.0 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.3.6 to 0.4.0.
- [Release notes](https://github.com/bheisler/criterion.rs/releases)
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md)
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.3.6...0.4.0)

---
updated-dependencies:
- dependency-name: criterion
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-12 10:19:58 +00:00
Pranav Gaddamadugu
6d35560528 More tests 2022-09-07 23:09:11 -07:00
Pranav Gaddamadugu
48ce885860 Add more tyc checks 2022-09-07 10:39:00 -07:00
dependabot[bot]
3afdd6a03a
Bump self_update from 0.30.0 to 0.31.0 
Bumps [self_update](https://github.com/jaemk/self_update) from 0.30.0 to 0.31.0.
- [Release notes](https://github.com/jaemk/self_update/releases)
- [Changelog](https://github.com/jaemk/self_update/blob/master/CHANGELOG.md)
- [Commits](https://github.com/jaemk/self_update/commits)

---
updated-dependencies:
- dependency-name: self_update
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-07 10:17:56 +00:00
Collin Chin
6be7ff0cfa
Merge pull request #2056 from AleoHQ/dependabot/cargo/testnet3/sha2-0.10.5 2022-09-07 02:33:34 +02:00
Collin Chin
e54273f286
Merge pull request #2054 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.64 2022-09-07 02:32:23 +02:00
dependabot[bot]
fa80a42a47
Bump sha2 from 0.10.3 to 0.10.5 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.10.3 to 0.10.5.
- [Release notes](https://github.com/RustCrypto/hashes/releases)
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.3...sha2-v0.10.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-06 22:30:09 +00:00
dependabot[bot]
08eca611b7
Bump anyhow from 1.0.63 to 1.0.64 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.63 to 1.0.64.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.63...1.0.64)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-06 22:29:19 +00:00
Collin Chin
c80c93e84b
Merge pull request #2051 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.20 
Bump clap from 3.2.17 to 3.2.20
 2022-09-07 00:27:35 +02:00
Collin Chin
9d4472daff
Merge pull request #2053 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.34 
Bump thiserror from 1.0.33 to 1.0.34
 2022-09-07 00:27:08 +02:00
dependabot[bot]
405d177fd8
Bump thiserror from 1.0.33 to 1.0.34 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.33 to 1.0.34.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.33...1.0.34)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-06 22:11:34 +00:00
dependabot[bot]
8cf0f4c508
Bump clap from 3.2.17 to 3.2.20 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.17 to 3.2.20.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/v3.2.20/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.17...v3.2.20)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-06 21:35:32 +00:00
Collin Chin
eaf837e0a5
Merge pull request #2044 from AleoHQ/abnf-bidi-fix 
[ABNF] Fix typo in rule that excludes bidi chars.
 2022-09-06 23:32:59 +02:00
Pranav Gaddamadugu
dea8b987c7 Parser tests for finalize 2022-09-06 12:58:24 -07:00
Pranav Gaddamadugu
9032df19cb Parser tests for mapping 2022-09-06 12:36:27 -07:00
Pranav Gaddamadugu
bb705da769 Improve documentation for SSA and flattening 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
267fc99978 Add new tests; regen expectations 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
3d5ddb9e1a Clippy 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
524066c91d Regen expectations 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
618117be89 Fix visibilities in codegen 2022-09-06 12:14:37 -07:00
Pranav Gaddamadugu
a4c0eb186e Add test case 2022-09-06 12:14:36 -07:00
Pranav Gaddamadugu
0fa8082656 Update token example 2022-09-06 12:14:36 -07:00
Pranav Gaddamadugu
0e1768ac59 Hook flattening pass into compiler; regen expectations 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
9d5aa9d08d Implement flattening phase 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
f74bfb034c wip flattening phase 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
18274bf4f9 More tyc 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
f4f77cdf55 Enable modes for return types in parser and AST 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
5d6c402c04 Fix buggy case 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
4266ba28c1 more wip 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
9f56b34677 wip 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
881ee569d1 Add test with buggy variant 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
3efb4c5108 More tyc and ssa for finalize 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
791463c82f WIP tyc for finalize 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
77effd4613 Implement parsing for finalize, increment, and decrement 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
044e41d80e Add new statements to passes 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
bd232127dc Clean up statments; add increment, decrement, and finalize 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
5521e7f30b Add finalize block to AST 2022-09-06 12:13:32 -07:00