ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-27 04:01:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,427 Commits 54 Branches 46 Tags 340 MiB
6413f3ecac
Commit Graph

1996 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
e15e8f05d6 Additional validation for program scope and imported files 2022-10-05 14:59:06 -07:00
Pranav Gaddamadugu
8f2a6fdb27 Support AST changes in compile passes 2022-10-05 10:38:35 -07:00
Pranav Gaddamadugu
224cf18544 Add program_scope into AST 2022-10-05 10:00:15 -07:00
Pranav Gaddamadugu
9da6d7735f Enable parser support for program scope 2022-10-05 09:57:16 -07:00
Pranav Gaddamadugu
bd4b7be8cf WIP ast changes for program scope 2022-10-05 09:56:36 -07:00
Pranav Gaddamadugu
8872c3d53f Remove use of default network domain 2022-10-04 19:11:36 -07:00
Pranav Gaddamadugu
c0c5e58011 Add checks for function calls 2022-10-03 16:18:58 -07:00
Pranav Gaddamadugu
e7e01b23a9 Clean up code gen 2022-10-03 10:45:26 -07:00
Pranav Gaddamadugu
fef22d6d5a Clean up tyc pass 2022-10-03 10:40:59 -07:00
Pranav Gaddamadugu
80d8880292 Parser support for transition keyword 2022-10-03 08:53:44 -07:00
Pranav Gaddamadugu
62b16cfa51 Tokenize transition keyword 2022-10-03 08:16:55 -07:00
dependabot[bot]
28ed3dc320
Bump smallvec from 1.9.0 to 1.10.0 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.9.0 to 1.10.0.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.9.0...v1.10.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-03 10:15:01 +00:00
Pranav Gaddamadugu
eb8366badc Some cleanup 2022-09-30 12:19:40 -07:00
Pranav Gaddamadugu
c551179b42 Fmt 2022-09-30 11:55:42 -07:00
Pranav Gaddamadugu
f51a36aeaf Rename in compiler 2022-09-30 11:52:06 -07:00
Pranav Gaddamadugu
508c54dd92 Rename errors 2022-09-30 10:16:05 -07:00
dependabot[bot]
4b6b1f804b
Bump serde from 1.0.144 to 1.0.145 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.144 to 1.0.145.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.144...v1.0.145)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-23 10:13:44 +00:00
Collin Chin
e8b086bc81
Merge pull request #2086 from AleoHQ/dependabot/cargo/testnet3/itertools-0.10.5 
Bump itertools from 0.10.4 to 0.10.5
 2022-09-21 15:20:19 -07:00
Pranav Gaddamadugu
0a481e543e Parse async, require it to precede finalize 2022-09-21 13:18:36 -07:00
Pranav Gaddamadugu
0782c03bf9 Lex async token 2022-09-21 12:20:05 -07:00
Pranav Gaddamadugu
2abfe06c9d Add async token 2022-09-21 12:19:44 -07:00
Pranav Gaddamadugu
72c012f4c2 Add async symbol 2022-09-21 12:19:06 -07:00
dependabot[bot]
35c7f37ded
Bump itertools from 0.10.4 to 0.10.5 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.4 to 0.10.5.
- [Release notes](https://github.com/rust-itertools/itertools/releases)
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-21 10:19:41 +00:00
collin
bdaf486604 fix bug and regen tests 2022-09-20 22:05:49 -07:00
collin
2cd1ec82ba remove unused code 2022-09-20 21:59:53 -07:00
Pranav Gaddamadugu
f7b5e213e6 Battleship example compiles 2022-09-20 21:45:16 -07:00
Pranav Gaddamadugu
8f5e779a6a Compiler builds 2022-09-20 20:29:59 -07:00
collin
48530523d9 wip need to finish external inputs 2022-09-20 18:26:22 -07:00
collin
368d4c530c push code to parse returning external records + battleship example 2022-09-20 17:17:43 -07:00
collin
0a86a05d20 push code to parse external calls 2022-09-20 13:58:52 -07:00
Collin Chin
bbd41f81b6
Merge pull request #2073 from AleoHQ/fix/core-function-composite-data-types 
Enable core function calls on composite data types.
 2022-09-20 00:14:22 +02:00
Collin Chin
2cb3f570c9
Merge pull request #2072 from AleoHQ/fix/tic-tac-toe 
Fix tictactoe example.
 2022-09-20 00:14:11 +02:00
Pranav Gaddamadugu
792867406b Allow records and circuits for core functions 2022-09-18 02:32:35 +02:00
Pranav Gaddamadugu
8aa968ab1d Note 2022-09-17 19:22:24 +02:00
Pranav Gaddamadugu
611e65554d Cleanup 2022-09-17 19:17:01 +02:00
Pranav Gaddamadugu
7a29c76805 Regen expectations 2022-09-17 19:02:25 +02:00
Pranav Gaddamadugu
c202878013 Fix for nested flattening 2022-09-17 18:58:40 +02:00
collin
ab43581d84 use crates.io snarkvm dep 2022-09-16 18:31:56 +02:00
collin
4e05840bf5 bump ci rust version to 1.63 2022-09-16 18:19:20 +02:00
collin
834ea300aa bump ci rust version to 1.65 2022-09-16 18:17:10 +02:00
collin
6c18565700 too new of rust version for actions 2022-09-16 17:51:15 +02:00
collin
62659507c5 clippy 2022-09-16 17:48:26 +02:00
collin
2e24f82f21 Update rust versions 2022-09-16 17:32:20 +02:00
collin
ed712ccf32 Update deps 2022-09-16 17:28:24 +02:00
collin
c1d21e699c merge testnet3 2022-09-13 15:39:20 +02: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
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
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
618117be89 Fix visibilities in codegen 2022-09-06 12:14:37 -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
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
Pranav Gaddamadugu
75307d1d4e More tests 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
195fc4da31 Implement codegen for mappings 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
8a8e198f59 Tyc for mappings 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
1b6dea395f Add parser tests; regen expectations 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
09e9aeb537 Add support for mappings in the parsers 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
dffb788913 Add Mapping to Program and passes 2022-09-06 12:13:32 -07:00
Pranav Gaddamadugu
0e00c5dac3 Add Mapping to AST 2022-09-06 12:13:32 -07:00
collin
d0a2b8c3ce cargo clippy 2022-09-06 15:00:42 +02:00
collin
0d039bfa3f Update deps 2022-08-29 09:57:56 +02:00
Pranav Gaddamadugu
6e238eee42 Add check for type equality 2022-08-24 09:09:41 -07:00
Pranav Gaddamadugu
78604f61da Fix missed tyc in mul expressions 2022-08-23 19:40:01 -07:00
Collin Chin
a852fa3c2e
Merge pull request #2036 from AleoHQ/fix/newline-in-generated-code 
[Fix] Newline in generated code
 2022-08-23 21:41:18 +02:00
Collin Chin
b632a93ba7
Merge pull request #2035 from AleoHQ/feat/leo-node-cmd 
leo node cli command
 2022-08-23 21:40:45 +02:00
d0cd
cf40f3fc0e
Merge pull request #2027 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.144 
Bump serde from 1.0.143 to 1.0.144
 2022-08-23 09:58:08 -07:00
Pranav Gaddamadugu
d4470fc3bf Fix newline 2022-08-23 09:54:45 -07:00
collin
aa90b208bf Update deps and fix node command 2022-08-23 17:43:20 +02:00
mx
a539be5231 fix: Missing line break 2022-08-23 18:11:12 +08:00
dependabot[bot]
d0a4eadb25
Bump serde from 1.0.143 to 1.0.144 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.143 to 1.0.144.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.143...v1.0.144)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-22 10:15:45 +00:00
d0cd
4c0aed8718
Merge pull request #2020 from AleoHQ/feat/ssa-simplify-expressions 
[Improvement] SSA simplifies expressions in assignment statements
 2022-08-18 16:29:04 -07:00
Pranav Gaddamadugu
eb4ee1428c Cleanup out dated docs 2022-08-18 15:45:30 -07:00
Pranav Gaddamadugu
0936771fb4 Fmt 2022-08-18 11:20:36 -07:00
Pranav Gaddamadugu
8af67e5242 Fix early record return in SSA 2022-08-18 11:15:27 -07:00
Pranav Gaddamadugu
934df150e3 Fmt 2022-08-18 09:22:20 -07:00
Pranav Gaddamadugu
094c54a20d Fix SSA for console statements 2022-08-18 09:17:09 -07:00
Pranav Gaddamadugu
a39ab9f77f Cleanup 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
a2795baed8 Fmt & clippy 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
5b732a33be Regen tests 2022-08-17 17:03:30 -07:00
Pranav Gaddamadugu
8c8aacfbd8 Cleanup 2022-08-17 17:01:29 -07:00
Pranav Gaddamadugu
f109241ee4 Redesign SSA pass to use Consumer trait 2022-08-17 17:01:29 -07:00
Pranav Gaddamadugu
1e39f36ddf Introduces Consumer trait 2022-08-17 17:01:29 -07:00
Pranav Gaddamadugu
1d2cddbc7c Fmt 2022-08-17 16:22:13 -07:00
Pranav Gaddamadugu
4095173e7c Cleanup 2022-08-17 15:48:54 -07:00
Pranav Gaddamadugu
374b8f35f9 Fix comment 2022-08-17 15:36:07 -07:00
Pranav Gaddamadugu
615cc61e9e Add console.assert 2022-08-17 15:27:11 -07:00
Pranav Gaddamadugu
1d55322276 Update parser and typechecker 2022-08-17 14:42:42 -07:00
Pranav Gaddamadugu
545a77b09b Remove unnecesary console functions; add assert_eq and assert_neq 2022-08-17 14:42:06 -07:00
collin
0c3342f151 Merge branch 'testnet3' of github.com:AleoHQ/leo into feat/ped-commit 2022-08-15 22:11:21 -07:00
collin
fbf0a0aea9 merge testnet3 2022-08-15 21:45:25 -07:00
collin
6b7c38cc4d merge testnet3 2022-08-15 16:10:51 -07:00
Collin Chin
4d18031228
Merge pull request #2014 from AleoHQ/fix/error-on-unrecognized-type 
Check for Unrecognized Type
 2022-08-15 15:16:23 -07:00
collin
99c4676593 update rev and update tests 2022-08-15 12:05:52 -07:00
collin
a5b6557460 add ped64 ped128 tests 2022-08-15 11:56:17 -07:00
collin
71b7d10efe uncomment ped64 ped128 code 2022-08-15 11:47:23 -07:00
Pranav Gaddamadugu
f6ba7067e1 Fix tyc for member records 2022-08-11 08:55:28 -07:00
Pranav Gaddamadugu
67f9890653 Address feedback 2022-08-11 07:50:10 -07:00
Pranav Gaddamadugu
8caafb78d5 Fmt 2022-08-11 00:55:46 -07:00
Pranav Gaddamadugu
da7ff48b11 Add check for nested records; fix codegen for circuit nested in record 2022-08-11 00:53:01 -07:00
Pranav Gaddamadugu
974e93cadf Tyc checks that types are defined 2022-08-11 00:37:04 -07:00
Pranav Gaddamadugu
dcbdb1bd85 Reintroduce IntegerType 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7ff7170c45 Fix unary negation parser; add test 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
7d2f306f15 Simplify type checking logic 2022-08-09 19:53:17 -07:00
Pranav Gaddamadugu
a1d79da501 Parser produces negative integer literals 2022-08-09 19:53:17 -07:00
collin
47d4613627 Update deps 2022-08-09 16:38:12 -07:00
dependabot[bot]
7ec9c92cbd
Bump serde from 1.0.142 to 1.0.143 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.142 to 1.0.143.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.142...v1.0.143)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-09 10:14:03 +00:00
Pranav Gaddamadugu
6897628800 Cleanup 2022-08-06 07:50:18 -07:00
Pranav Gaddamadugu
84369793ac Update passes to account for change in AST 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
965102152a Parser produces simplified assignment statements directly 2022-08-06 07:49:36 -07:00
Pranav Gaddamadugu
a531b9642f Remove complex assignments from the AST 2022-08-06 07:49:36 -07:00
Collin Chin
1ea1145295
Naming nit 2022-08-05 18:25:52 -07:00
Pranav Gaddamadugu
a47eb32eaf Cleanup; add test 2022-08-05 14:58:29 -07:00
collin
d397c750d2 merge testnet3 2022-08-05 13:59:08 -07:00
Collin Chin
46f21c68a2
Merge pull request #1994 from AleoHQ/remove-unsafe 
Remove all uses of unsafe
 2022-08-05 13:50:53 -07:00
d0cd
e4db5511d6
Update compiler/ast/src/expressions/ternary.rs 
Co-authored-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2022-08-05 12:22:23 -07:00
Pranav Gaddamadugu
d56bd3084d Fix order of folded ternary expressions when handling early return statements 2022-08-05 08:30:50 -07:00
Pranav Gaddamadugu
1e4f2b1cca Add compiler test for function calls; fix bugs; regen test expectations 2022-08-04 21:21:56 -07:00
Pranav Gaddamadugu
34be1fc39d Codegen for function call; emits closures before functions 2022-08-04 21:03:42 -07:00
Pranav Gaddamadugu
4e9b382c55 Typecheck helper functions; add codegen support 2022-08-04 19:34:46 -07:00
Pranav Gaddamadugu
fa8d03cbd6 Validate annotations; refactor FunctionInput in passes 2022-08-04 17:59:03 -07:00
Pranav Gaddamadugu
112cc64290 Refactor FunctionInput; removes unecessary code 2022-08-04 17:55:26 -07:00
Pranav Gaddamadugu
ac4cd71800 Reorganize ast/functions folder 2022-08-04 17:55:26 -07:00
Pranav Gaddamadugu
a73ddfb815 Add parser tests for annotations 2022-08-04 17:55:26 -07:00
Pranav Gaddamadugu
2b3bda7da7 Add Annotation to AST; enable parser support 2022-08-04 17:55:26 -07:00
Pranav Gaddamadugu
a269e0f764 Add @ token to the parser 2022-08-04 17:55:26 -07:00
Mazdak Farrokhzad
a77d3b4092 forbid unsafe_code in all crates 2022-08-05 00:36:41 +02:00
Mazdak Farrokhzad
e5819d790b cargo clippy 2022-08-05 00:28:54 +02:00
Mazdak Farrokhzad
6dbc21484f delete all unsafe instead of commenting out 2022-08-05 00:26:35 +02:00
Mazdak Farrokhzad
6cc70015d8 remove all uses of unsafe 2022-08-05 00:21:11 +02:00
Collin Chin
754a3ce685
Merge pull request #1987 from AleoHQ/record-nonce 
Record nonce
 2022-08-04 09:56:40 -07:00
Collin Chin
81de7d25d8
Update compiler/compiler/src/test.rs 2022-08-04 09:38:14 -07:00