ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,809 Commits 53 Branches 46 Tags 339 MiB
f5867a4fe4
Commit Graph

2169 Commits

Author SHA1 Message Date
d0cd
ef4ae89b92 Add more test cases 2022-11-08 15:52:31 -08:00
d0cd
ca89010e59 Fix failing case 2022-11-08 15:49:47 -08:00
d0cd
f606a8b74a Restrict tuples in parser; cleanup 2022-11-08 15:49:47 -08:00
d0cd
5bf16064ab WIP Impl codegen for tuples 2022-11-08 15:49:47 -08:00
d0cd
2287e86b56 WIP flattening 2022-11-08 15:49:47 -08:00
d0cd
910d373afd WIP support tuples on lhs of definitions 2022-11-08 15:49:47 -08:00
d0cd
40ff47882f Add support for expression statements in compiler passes 2022-11-08 15:49:47 -08:00
d0cd
a7795b72db Add parser support for expression statements 2022-11-08 15:49:47 -08:00
d0cd
30391c8bd4 Add ExpressionStatement to AST 2022-11-08 15:49:47 -08:00
d0cd
af08c4f2e5 Some cleanup 2022-11-08 15:49:47 -08:00
d0cd
678f8b02a1 Fix unit expression 2022-11-08 15:49:47 -08:00
d0cd
34fa2cb2c6 Parse empty return statement as a unit expression 2022-11-08 15:49:47 -08:00
d0cd
6789bc8aae Add unit expressions to the AST 2022-11-08 15:49:47 -08:00
d0cd
3ab83f45f3 Fix bug, regen tests 2022-11-08 15:49:47 -08:00
d0cd
0439981d01 Add TODO 2022-11-08 15:49:47 -08:00
d0cd
134fc1860c Remove debug prints 2022-11-08 15:49:47 -08:00
d0cd
b60cd7e4b0 Remove redundant check 2022-11-08 15:49:47 -08:00
d0cd
c07e07d9d1 Fix tuple flattening 2022-11-08 15:49:47 -08:00
d0cd
c651da0581 wip tuples 2022-11-08 15:49:47 -08:00
d0cd
4963a11ee7 More tyc restricting nested tuples 2022-11-08 15:49:47 -08:00
d0cd
2839de13c6 Forbid tuples in input and output types 2022-11-08 15:49:47 -08:00
d0cd
29369b2a42 Better tyc for tuples in composite data types 2022-11-08 15:49:47 -08:00
d0cd
fdddb8054a Remove flattening circuits and nested tuples 2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
6ae2d9727b Cleanup 2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
605f675ff6 More tyc 2022-11-08 15:49:47 -08:00
Pranav Gaddamadugu
6d82f83c37 WIP 2022-11-08 15:49:46 -08:00
Pranav Gaddamadugu
b622d35d8f Implement logic for flattening circuit definitions 2022-11-08 15:49:46 -08:00
Pranav Gaddamadugu
9994a0451f wip: basic tyc for empty and singleton tuples 2022-11-08 15:49:46 -08:00
Pranav Gaddamadugu
8d204a898b Add tests for tuples 2022-11-08 15:49:46 -08:00
collin
12267cd99d merge snarkvm v0.9.3 2022-11-07 19:14:51 -08:00
collin
dee937c040 update snarkvm v0.9.3 2022-11-07 19:01:06 -08:00
d0cd
2341f293f6 Update snarkVM dependencies 2022-11-07 16:22:58 -08:00
d0cd
a05b7e6b70 Codegen uses struct instead of interface 2022-11-05 18:18:48 -07:00
collin
6f311e7602 bump snarkvm to 0.9.1 bump aleo rev 2022-11-04 18:31:59 -07:00
Collin Chin
f68b117907
Merge pull request #2153 from AleoHQ/dependabot/cargo/testnet3/scoped-tls-1.0.1 
Bump scoped-tls from 1.0.0 to 1.0.1
 2022-11-04 13:00:22 -07:00
collin
e6c3700945 merge testnet3 2022-11-04 12:46:32 -07:00
Collin Chin
d329181999
Merge pull request #2151 from AleoHQ/fix/span-for-function-call-tyc 
Better error messages for mistyped function calls.
 2022-11-04 12:34:08 -07:00
Collin Chin
1c7fefac53
Merge pull request #2150 from AleoHQ/fix/tyc-for-member-access 
Fix type checking for member access.
 2022-11-04 12:33:37 -07:00
collin
3226120503 fix clippy lints 2022-11-04 12:28:59 -07:00
dependabot[bot]
33643f5be0
Bump scoped-tls from 1.0.0 to 1.0.1 
Bumps [scoped-tls](https://github.com/alexcrichton/scoped-tls) from 1.0.0 to 1.0.1.
- [Release notes](https://github.com/alexcrichton/scoped-tls/releases)
- [Commits](https://github.com/alexcrichton/scoped-tls/compare/1.0.0...1.0.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-11-01 10:25:07 +00:00
Pranav Gaddamadugu
7e70da2326 Implement check for nested import 2022-10-31 18:05:46 -07:00
Pranav Gaddamadugu
41a8bc5a73 Add span associated with the import statement to ast 2022-10-31 18:05:14 -07:00
d0cd
43919a9644 Disable string type in type checker 2022-10-31 18:01:04 -07:00
d0cd
3c2da076ff
Merge pull request #2144 from AleoHQ/fix/conditional-assert 
Fixes flattening for `console` statements.
 2022-10-31 17:11:43 -07:00
d0cd
c4279e2a83
Merge pull request #2146 from AleoHQ/fix/tyc-for-loop-bounds 
Fix/tyc for loop bounds
 2022-10-31 17:11:19 -07:00
d0cd
160a89494f
Merge pull request #2142 from AleoHQ/fix/finalize-output 
Fix output type for finalize block.
 2022-10-31 17:02:27 -07:00
d0cd
0b7d5c4892 Implement fix 2022-10-31 13:53:40 -07:00
d0cd
b32bfba376 Fmt; clippy 2022-10-31 13:16:32 -07:00
d0cd
76d302dbad Implement fix; fix span produced by parser 2022-10-31 13:14:15 -07:00
d0cd
9907d89886 Implement fix 2022-10-27 20:21:18 -07:00
d0cd
462d3105a0 Update doc 2022-10-25 18:29:27 -07:00
d0cd
9c44c38dc2 Fix logical formula 2022-10-25 16:21:57 -07:00
d0cd
fe28cabb72 Impl flattening for console statements 2022-10-25 15:54:45 -07:00
d0cd
52ff7b82c5 Refactor guard construction 2022-10-25 15:21:43 -07:00
d0cd
fe0266c1da Prepend program name to AST outfile 2022-10-25 10:40:23 -07:00
d0cd
8ae7c0da99 Fmt 2022-10-24 22:59:18 -07:00
d0cd
e07887e9c7 Cleanup 2022-10-24 22:44:43 -07:00
d0cd
df01360010 Clippy 2022-10-24 22:41:10 -07:00
d0cd
28eb05f56d Implement fix 2022-10-24 22:18:05 -07:00
dependabot[bot]
3af57cbfc5
Bump serde from 1.0.146 to 1.0.147 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.146 to 1.0.147.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.146...v1.0.147)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-24 10:17:51 +00:00
d0cd
44722d1fbf
Merge pull request #2136 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.146 
Bump serde from 1.0.145 to 1.0.146
 2022-10-21 12:40:28 -07:00
Haruka
aab179c676 Preserve struct member order when reordering owner and gates 2022-10-22 02:46:22 +09:00
dependabot[bot]
22722ddde0
Bump serde from 1.0.145 to 1.0.146 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.145 to 1.0.146.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.145...v1.0.146)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-21 10:56:37 +00:00
d0cd
1f9f1750fe Clippy; add compiler check 2022-10-12 00:22:55 -05:00
d0cd
264e60c6ee Update doc 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
047575f9bf Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
8e3cd83bb8 Fix failing case 2022-10-12 00:15:06 -05:00
Collin Chin
8b9ad3811d
Merge pull request #2114 from AleoHQ/update/aleo-snarkvm 
Update revs.
 2022-10-06 14:21:02 -07:00
Collin Chin
4256167bfe
Merge pull request #2112 from AleoHQ/feat/program-scope 
Introduces `program` scope.
 2022-10-06 14:19:35 -07:00
Pranav Gaddamadugu
97b299ac8a Update revs 2022-10-06 11:31:58 -07:00
Pranav Gaddamadugu
d7813923d2 More examples 2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu
028a01efde More fixes 2022-10-05 23:51:56 -07:00
Pranav Gaddamadugu
8283c922f6 Some bug fixes; update some examples 2022-10-05 15:27:54 -07:00
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
collin
a090d85f10 Update deps 2022-08-04 09:29:04 -07:00
collin
13350da303 merge testnet3 2022-08-03 17:20:40 -07:00
Pranav Gaddamadugu
338515fd66 Regen test expectations 2022-08-03 16:07:18 -07:00
collin
24c152be6e update test infra 2022-08-03 16:06:38 -07:00
collin
0f731a41f0 update deps 2022-08-03 15:34:23 -07:00
collin
8fb2e60cb4 cargo fmt + clippy 2022-08-03 14:52:05 -07:00
collin
7f636ca06d regen tests 2022-08-03 13:47:17 -07:00
collin
e5da76abaf impl nonce 2022-08-03 13:35:58 -07:00
Pranav Gaddamadugu
b97cafbbfc Add support for Rem, RemWrapped, and Mod to passes 2022-08-03 12:55:24 -07:00
Pranav Gaddamadugu
7ff84af785 Add Rem, RemWrapped, and Mod to parser 2022-08-03 12:54:57 -07:00
Pranav Gaddamadugu
b20aed7d34 Add Rem, RemWrapped, and Mod to AST 2022-08-03 12:54:39 -07:00
Collin Chin
d8511d34c1
Merge pull request #1982 from AleoHQ/fix/early-return-with-tuple 
[Fix] SSA Reconstruction for Tuple Returns
 2022-08-03 09:28:19 -07:00
Pranav Gaddamadugu
c364c581ec Documentation 2022-08-03 00:03:53 -07:00
Pranav Gaddamadugu
5be72596db Implement bug fix 2022-08-02 23:50:08 -07:00
dependabot[bot]
d9c285ebda
Bump serde from 1.0.140 to 1.0.141 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.140 to 1.0.141.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.140...v1.0.141)

---
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-02 19:59:54 +00:00
Collin Chin
3a9b7c276b
Merge pull request #1968 from AleoHQ/integration-tests 
Run snarkVM package build on all Leo tests
 2022-08-02 12:58:18 -07:00
collin
5777c76d04 refactor more iteration tests 2022-08-01 17:01:58 -07:00
collin
2cb40cebf0 patch group coordinate codegen 2022-08-01 14:30:05 -07:00
collin
3826293f31 fix op assign bugs 2022-08-01 14:14:39 -07:00
Alessandro Coglio
9d36988946 [span] Add doc comment to explain span addition. 2022-07-30 21:54:29 -07:00
collin
60e4279934 merge testnet3 2022-07-29 14:16:34 -07:00
Pranav Gaddamadugu
bf1421280e Fix bug in SSA; regen test expectations 2022-07-29 12:52:18 -07:00
collin
dd8e1c1a4e impl and, or, bitand, bitor, bitxor, shl, shr assign parsing 2022-07-29 12:47:23 -07:00
collin
c73671bb7b impl sub, mul, div, pow assign parsing 2022-07-29 11:57:34 -07:00
collin
d71788e8a4 impl add assign operator 2022-07-28 18:00:46 -07:00
collin
a2862f8894 stabilize all tests working with snarkVM package build 2022-07-28 17:07:51 -07:00
collin
0a34115ef7 stabilize scalar tests 2022-07-28 16:46:30 -07:00