ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-22 17:51:39 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,560 Commits 54 Branches 46 Tags 340 MiB
9a3fa41f9e
Commit Graph

4560 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
9a3fa41f9e Add loop unrolling pass to compiler 2022-07-11 21:57:48 -07:00
Pranav Gaddamadugu
639a719e4d WIP loop unrolling 2022-07-11 21:46:34 -07:00
Pranav Gaddamadugu
1a9941022c Rename type_checker to type_checking 2022-07-11 21:46:15 -07:00
Pranav Gaddamadugu
6a032e7499 WIP value 2022-07-11 21:45:05 -07:00
Pranav Gaddamadugu
7537fb1af2 Pull passes/src/flattening from improved-flattening 2022-07-11 14:53:41 -07:00
Pranav Gaddamadugu
ae13db1d4c Type checking fills in start/stop values for IterationStatement 2022-07-11 14:48:53 -07:00
Pranav Gaddamadugu
3b76574a78 Add start, stop values for IterationStatement 2022-07-11 11:20:54 -07:00
Pranav Gaddamadugu
3d13e8b400 WIP value 2022-07-11 11:18:25 -07:00
Pranav Gaddamadugu
987496da91 Pull errors/flattener from improved-flattening 2022-07-11 11:17:30 -07:00
Pranav Gaddamadugu
dbfd9a7451 Better error for address comparison; regen test expectations 2022-07-11 07:49:52 -07:00
Pranav Gaddamadugu
641c98b69e Use refactored types in parsing and tyc 2022-07-11 07:19:00 -07:00
Pranav Gaddamadugu
8bdf199ab1 Remove IntegerTypes and declare them explicitly in Type 2022-07-11 07:17:57 -07:00
Pranav Gaddamadugu
15959614d0 Refactor value into its own module 2022-07-10 17:54:12 -07:00
Pranav Gaddamadugu
6fbf96e12d Pull symbol_table/value.rs from improved-flattening 2022-07-10 09:45:53 -07:00
d0cd
1c88ea938b
Merge pull request #1925 from AleoHQ/fix/tyc-member-access-and-cleanup 
Type-checking fixes and cleanup
 2022-07-09 16:03:53 -07:00
Pranav Gaddamadugu
8ab98c9434 Refactor emitter to reduce the number of into invocations; more cleanup 2022-07-08 14:10:54 -07:00
Pranav Gaddamadugu
e7f4a41410 Better error for missing member on circuit init 2022-07-08 13:45:00 -07:00
Pranav Gaddamadugu
014959aa24 Regenerate expectations 2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
990b5a75da Rename LiteralExpression to Literal; more cleanup 2022-07-08 13:44:21 -07:00
Pranav Gaddamadugu
cf7bde5fab Clean up error 2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
8af0f6268f Regenerate expectations 2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
0358a5f4da Fmt 2022-07-08 13:43:28 -07:00
Pranav Gaddamadugu
f31accb04e Cleanup; type checking for Circuit Member Access 2022-07-08 12:56:58 -07:00
Pranav Gaddamadugu
ccd50fb7de Add more detailed error messages 2022-07-08 12:50:26 -07:00
d0cd
9b9db978ef
Merge pull request #1911 from AleoHQ/feat/redesign-symbol-table 
Redesign SymbolTable
 2022-07-08 12:10:48 -07:00
Pranav Gaddamadugu
00b90c4a33 Merge branch 'testnet3' into feat/redesign-symbol-table 2022-07-08 11:57:40 -07:00
Collin Chin
249d50538b
Merge pull request #1921 from AleoHQ/type-checker-bugs 
Refactor type checker functions
 2022-07-08 11:23:22 -07:00
d0cd
67cc6ab629
Merge pull request #1918 from AleoHQ/dependabot/cargo/testnet3/regex-1.6.0 
Bump regex from 1.5.6 to 1.6.0
 2022-07-08 10:34:27 -07:00
d0cd
08fbb1992d
Merge pull request #1923 from AleoHQ/dependabot/cargo/testnet3/backtrace-0.3.66 
Bump backtrace from 0.3.65 to 0.3.66
 2022-07-08 10:33:55 -07:00
d0cd
12f51ee612
Merge pull request #1920 from AleoHQ/dependabot/cargo/testnet3/criterion-0.3.6 
Bump criterion from 0.3.5 to 0.3.6
 2022-07-08 10:32:14 -07:00
dependabot[bot]
418270838b
Bump backtrace from 0.3.65 to 0.3.66 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.65 to 0.3.66.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.65...0.3.66)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-08 10:30:43 +00:00
collin
906015a01d revert hello-world changes 2022-07-07 15:22:52 -07:00
collin
4d809e82a6 cargo fmt 2022-07-07 15:18:13 -07:00
collin
b461539ae3 use refactored methods in type checking, regen tests 2022-07-07 13:22:59 -07:00
collin
f892fe1a57 refactor type checker for removal of Copy trait 2022-07-07 12:20:34 -07:00
dependabot[bot]
16fab683e0
Bump criterion from 0.3.5 to 0.3.6 
Bumps [criterion](https://github.com/bheisler/criterion.rs) from 0.3.5 to 0.3.6.
- [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.5...0.3.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-07 10:17:30 +00:00
Pranav Gaddamadugu
3136a6ccca Remove TODO 2022-07-06 17:29:57 -07:00
Pranav Gaddamadugu
52671c9328 Documentation for SymbolTable pass 2022-07-06 17:10:18 -07:00
Pranav Gaddamadugu
9b7d9a96b7 Fmt, clippy 2022-07-06 16:16:19 -07:00
Pranav Gaddamadugu
12eafa4174 Regenerate test expectations without symbol_table 2022-07-06 16:10:59 -07:00
Pranav Gaddamadugu
e4744f2978 Change duplicate_name_context from Pass to Fail 2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
80ff280df7 Remove symbol table from OutputItem; clippy 2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
027bd24cd5 Integrate passes into compiler 2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
2a2a65b416 Make type checking pass compatible with current implementation of SymbolTable 2022-07-06 16:08:29 -07:00
Pranav Gaddamadugu
bd1b8251c2 Remove SymbolTable functionality associated with flattening 2022-07-06 16:08:03 -07:00
Pranav Gaddamadugu
24f38721d6 Pull changes to compiler/passes/symbol_table from improved-flattening; remove unused files 2022-07-06 16:08:03 -07:00
dependabot[bot]
c272180a9e
Bump regex from 1.5.6 to 1.6.0 
Bumps [regex](https://github.com/rust-lang/regex) from 1.5.6 to 1.6.0.
- [Release notes](https://github.com/rust-lang/regex/releases)
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/regex/compare/1.5.6...1.6.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-06 10:21:03 +00:00
Collin Chin
6b5f9a3926
Merge pull request #1913 from AleoHQ/no-cmp-address 
Removes <, <=, >, >= for address type
 2022-07-05 21:46:31 -07:00
collin
de178522d8 impl Display for BinaryOperation, improve error message 2022-07-05 16:42:36 -07:00
Collin Chin
7c009813d2
Merge pull request #1917 from AleoHQ/abnf-logical-ops 2022-07-05 10:33:43 -07:00