ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-20 02:07:38 +03:00
Code Issues Packages Projects Releases Wiki Activity
6,089 Commits 45 Branches 43 Tags 363 MiB
3d0be6b04d
Commit Graph

2307 Commits

Author SHA1 Message Date
evan-schott
3d0be6b04d Update compiler/passes/src/function_inlining/function_inliner.rs 
Co-authored-by: d0cd <pranavsaig@gmail.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
 2023-10-04 13:05:34 -07:00
evan-schott
0348e613c6 change AST 2023-10-04 13:05:32 -07:00
evan-schott
52bb785ff4 fixes 2023-10-04 13:00:58 -07:00
evan-schott
0d1ed9671e clippy 2023-10-04 13:00:58 -07:00
evan-schott
0a2ea03701 rebase 2023-10-04 13:00:52 -07:00
evan-schott
a70a3ffb7a create error for tuple length mismatch 2023-10-04 12:57:09 -07:00
evan-schott
dcf03dd393 simplify 2023-10-04 12:54:36 -07:00
evan-schott
24c88795fe fixes 2023-10-04 12:54:36 -07:00
evan-schott
c5464db066 formatting & test expectation 2023-10-04 12:54:36 -07:00
evan-schott
ae86532e96 Construct CPT during pass without messing up loop unrolling 2023-10-04 12:54:36 -07:00
evan-schott
22c592b9bf moved bounds checking form TC to LU 2023-10-04 12:54:36 -07:00
evan-schott
a7ee073f07 add constants to CPT and remove constant definitions from ST and AST 2023-10-04 12:54:36 -07:00
evan-schott
c249786f7c tweak loop unrolling so that build constant propagation table simultaneously 2023-10-04 12:54:36 -07:00
evan-schott
be1866f582 propagate constants by substituting constants for there values 2023-10-04 12:54:36 -07:00
evan-schott
9aa2553b29 move bounds checking to loop unrolling pass 2023-10-04 12:54:36 -07:00
evan-schott
ef04d31099 beautify 2023-10-04 12:54:36 -07:00
evan-schott
54b880d66e in response to AST passes change 2023-10-04 12:54:36 -07:00
evan-schott
3540699474 Add function to remove variables from ST (so can clear const vars) 2023-10-04 12:54:36 -07:00
evan-schott
18186314f8 constant propagation table to store values of constants (both local and global) 2023-10-04 12:54:36 -07:00
evan-schott
09df202905 updated AST pass templates to account for addition of const in programscope 2023-10-04 12:54:36 -07:00
evan-schott
40f7ce2649 parse constant definition statements 2023-10-04 12:54:36 -07:00
evan-schott
422ba16877 add "const" to AST programscope 2023-10-04 12:54:36 -07:00
evan-schott
38fdb43bd3 recognize "const" as token 2023-10-04 12:54:35 -07:00
dependabot[bot]
95f035196c
Bump regex from 1.9.5 to 1.9.6 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.5 to 1.9.6.
- [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.9.5...1.9.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-10-02 10:25:10 +00:00
Pranav Gaddamadugu
67cdc56a41 Add support to specify private key in tests; regen expectations 2023-09-28 23:37:17 -04:00
Pranav Gaddamadugu
95b540c253 Fix 2023-09-28 23:37:16 -04:00
Pranav Gaddamadugu
9d3fcc70f1 Connect compiler 2023-09-28 23:34:19 -04:00
Pranav Gaddamadugu
05481218bf Update codegen to be compatible with async 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
3d5495aefa Make program scopes indexable by symbol 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
a53c34388a Update codegen for mappings 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
44658ca917 Rename parent to signer 2023-09-28 23:34:18 -04:00
Pranav Gaddamadugu
4abec6b5fc Add support for self.parent 2023-09-28 23:34:18 -04:00
Collin Chin
9c20f42d1d
Feat/sha3 (#2604) 
* implement Keccak256 Keccak384 Keccak512 with tests

* implement SHA3_256 SHA3_384 SHA3_512 with tests
 2023-09-22 09:54:14 -07:00
Collin Chin
82b39a81e9
implement Keccak256 Keccak384 Keccak512 with tests (#2603) 2023-09-22 08:31:30 -07:00
dependabot[bot]
f15677c2f6
Bump smallvec from 1.11.0 to 1.11.1 
Bumps [smallvec](https://github.com/servo/rust-smallvec) from 1.11.0 to 1.11.1.
- [Release notes](https://github.com/servo/rust-smallvec/releases)
- [Commits](https://github.com/servo/rust-smallvec/compare/v1.11.0...v1.11.1)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-21 10:05:48 +00:00
d0cd
edcf90580e
Fix inlining issue (#2581) 2023-09-18 09:52:52 -07:00
evan-schott
c0aa78223c formatting: 2023-09-11 14:40:28 -07:00
evan-schott
c960d7195f add newline 2023-09-11 14:37:36 -07:00
collin
0f2f16877b chore(leo): bump version for new release 2023-09-08 10:18:21 -07:00
dependabot[bot]
347c9682cf
Bump clap from 4.4.1 to 4.4.2 (#2561) 
Bumps [clap](https://github.com/clap-rs/clap) from 4.4.1 to 4.4.2.
- [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.4.1...v4.4.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2023-09-08 10:09:25 -07:00
evan-schott
aceb20b8d5 Merge remote-tracking branch 'origin/testnet3' into feat/hash-symbol-table 2023-09-07 11:09:02 -07:00
evan-schott
083976052b Fix requested changes 2023-09-07 10:44:29 -07:00
evan-schott
960bb25976 remove print 2023-09-06 17:01:52 -07:00
evan-schott
e149f7d35f clippy changes 2023-09-06 16:02:54 -07:00
evan-schott
444a4214eb run all tests, add optionality for writing symbol tables to json 2023-09-06 16:02:21 -07:00
dependabot[bot]
88569ccd6f
Bump regex from 1.9.4 to 1.9.5 
Bumps [regex](https://github.com/rust-lang/regex) from 1.9.4 to 1.9.5.
- [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.9.4...1.9.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2023-09-06 22:26:47 +00:00
evan-schott
cc2d54ae2b changes to testing framework 2023-09-05 15:06:28 -07:00
evan-schott
a3e25ebc69 successfully add hashes to expectation file 2023-09-05 15:05:43 -07:00
Pranav Gaddamadugu
964c9617f9 Fix and regen expectations 2023-08-30 14:23:46 -04:00
Pranav Gaddamadugu
c80c782248 Add tests 2023-08-30 14:05:46 -04:00