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
5,983 Commits 54 Branches 46 Tags 340 MiB
dfa1138c89
Commit Graph

5983 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
dfa1138c89 Update Cargo.toml 2023-08-30 14:05:47 -04:00
Pranav Gaddamadugu
57c3a15688 Regen expectations 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
c80c782248 Add tests 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
023d94d20f Code gen support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
daf003f728 Tyc support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
1049822979 Add parser support 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
e96475b3e2 Update AST 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
b1b947fef5 Support the signature type in the parser 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
25eac3c63b Introduce Token::Signature 2023-08-30 14:05:46 -04:00
Pranav Gaddamadugu
46e9313e55 Introduce Type::Signature to the AST 2023-08-30 14:05:46 -04:00
d0cd
e180118a30
Merge pull request #2545 from AleoHQ/feat/underscore 
Add support for underscores in numeric literals #2538
 2023-08-28 08:17:22 -04:00
evan-schott
47e881f55e removed inaccurate invalid-literal error 2023-08-25 14:11:22 -07:00
d0cd
de2b2a263b
Merge pull request #2539 from AleoHQ/fix/noop-method-calls 
Fixes a handful of clippy warnings
 2023-08-25 16:13:50 -04:00
evan-schott
035f763d40 clippy changes 2023-08-25 10:07:42 -07:00
evan-schott
550f43b039 Revisions (underscore to execute test, type checker error msg, spurious type error fix, revised tuple indexing test) 2023-08-25 09:49:53 -07:00
evan-schott
90bb897130 more clippy 2023-08-24 15:58:54 -07:00
evan-schott
f4fee23758 clippy fix 2023-08-24 15:40:00 -07:00
evan-schott
4308d598e2 running all tests and updating expectation files 2023-08-24 15:29:23 -07:00
evan-schott
439d2b29de loop unrolling compatible with underscores 2023-08-24 15:07:00 -07:00
evan-schott
7e6b1d9ddb remove println 2023-08-22 11:29:35 -07:00
evan-schott
c345dbb309 Add support for underscores in literals 2023-08-22 11:10:54 -07:00
collin
16473f26d2 Merge branch 'testnet3' of github.com:AleoHQ/leo into fix/noop-method-calls 2023-08-18 16:49:06 -07:00
collin
439312275a fix more warnings 2023-08-18 16:47:08 -07:00
d0cd
a2551132f5
Merge pull request #2533 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.75 
Bump anyhow from 1.0.74 to 1.0.75
 2023-08-18 19:41:58 -04:00
d0cd
a5ccece53f
Merge pull request #2534 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.47 
Bump thiserror from 1.0.46 to 1.0.47
 2023-08-18 19:41:35 -04:00
collin
cf9fbb319d fix noop method call warnings 2023-08-18 16:16:55 -07:00
dependabot[bot]
c9d23783ca
Bump thiserror from 1.0.46 to 1.0.47 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.46 to 1.0.47.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.46...1.0.47)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-18 23:00:57 +00:00
dependabot[bot]
7c8321e463
Bump anyhow from 1.0.74 to 1.0.75 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.74 to 1.0.75.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.74...1.0.75)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-18 23:00:16 +00:00
d0cd
0cccdda67e
Merge pull request #2536 from AleoHQ/design/unique-node-ids 
[Design] Parsing produces unique node IDs.
 2023-08-18 18:58:27 -04:00
d0cd
60e80c5e49
Merge pull request #2537 from AleoHQ/dependabot/cargo/testnet3/clap-4.3.22 
Bump clap from 4.3.21 to 4.3.22
 2023-08-18 10:13:50 -04:00
dependabot[bot]
b3154e8d77
Bump clap from 4.3.21 to 4.3.22 
Bumps [clap](https://github.com/clap-rs/clap) from 4.3.21 to 4.3.22.
- [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/v4.3.21...v4.3.22)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-08-18 10:05:54 +00:00
Pranav Gaddamadugu
a983ebd83d Regen expectations 2023-08-17 21:04:36 -04:00
Pranav Gaddamadugu
7d4a5d3b33 Clippy 2023-08-17 17:52:51 -04:00
Pranav Gaddamadugu
440cced9d8 Cleanup 2023-08-17 17:49:29 -04:00
Pranav Gaddamadugu
58774cd299 Regen expectations 2023-08-17 17:35:58 -04:00
Pranav Gaddamadugu
661a7cd508 Update compiler pipelines 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
2fe6892645 Use NodeBuilder in FunctionInliner 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
19ba799d21 Use NodeBuilder in LoopUnroller 2023-08-17 17:22:57 -04:00
Pranav Gaddamadugu
8f63fcdf80 Add NodeBuilder to StaticSingleAssigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
05d38f3777 Use NodeBuilder in Flattener 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
bf25bbae8b Use interior mutability pattern for Assigner 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
637e091abb Use NodeBuilder in DCE 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
26fffd6746 Add and use NodeBuilder in Parser 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
1af776db9d Add checks for unique node IDs up until type checking 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c3a72132bf Add utility to check that Node IDs are unique 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
a1b5cb1add Add NodeID to AST node constructors 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
c2d04bf444 Introduce NodeBuilder 2023-08-17 17:22:56 -04:00
Pranav Gaddamadugu
93efccc9a7 Add NodeID to Identifier::serialize 2023-08-17 17:22:56 -04:00
d0cd
34fe5d770c
Merge pull request #2535 from AleoHQ/fix/expectations 
[Test] Update expectations files.
 2023-08-17 12:38:11 -04:00
Pranav Gaddamadugu
500584701a Update expectations files 2023-08-17 09:00:45 -04:00