ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,599 Commits 53 Branches 44 Tags 331 MiB
6d731891d0
Commit Graph

480 Commits

Author SHA1 Message Date
collin
6d731891d0 move /leo/span -> /compiler/span 2022-07-12 16:37:10 -07:00
collin
163f94d7c1 regen tests 2022-07-12 15:41:11 -07:00
collin
e013b88811 stabilize leo build 2022-07-11 21:09:27 -07:00
collin
ed79f5c957 merge return-tuple branch 2022-07-09 20:55:30 -07:00
collin
a15fce710c merge testnet3 2022-07-09 16:51:20 -07:00
collin
01a1953021 regen tests 2022-07-09 16:19:48 -07:00
collin
aff2db67da check that returned tuple types are valid 2022-07-09 15:13:42 -07:00
collin
2a61f26ccc impl tuple tests 2022-07-09 15:02:45 -07:00
collin
642ad32e99 parse tuple access 2022-07-09 14:11:18 -07:00
collin
a7fc19a69f impl tuple ast access 2022-07-09 13:22:10 -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
8af0f6268f Regenerate expectations 2022-07-08 13:43:28 -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
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
b461539ae3 use refactored methods in type checking, regen tests 2022-07-07 13:22:59 -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
collin
dc9063de5a update snarkvm rev 2022-07-06 14:47:52 -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
de178522d8 impl Display for BinaryOperation, improve error message 2022-07-05 16:42:36 -07:00
collin
c16a93ab44 removes <, <=, >, >= for address type 2022-07-02 18:15:18 -07:00
Collin Chin
034ed8cbeb
Merge pull request #1907 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.8 
Bump clap from 3.2.6 to 3.2.8
 2022-07-02 17:15:58 -07:00
collin
0a4069fe39 merge testnet3 2022-07-02 14:08:02 -07:00
collin
07288e4662 update licenses 2022-07-02 13:47:53 -07:00
dependabot[bot]
4d53804e79
Bump clap from 3.2.6 to 3.2.8 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.6 to 3.2.8.
- [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/v3.2.6...v3.2.8)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-01 10:26:21 +00:00
Mazdak Farrokhzad
952d7f4e36 records: base them atop circuits instead 2022-06-30 15:37:18 +02:00
collin
1cb4afe5f9 impl record type tests 2022-06-27 16:59:06 -10:00
collin
90aae40138 regen tests 2022-06-27 12:51:24 -10:00
collin
5ee2858b0a add tests and remove dead code 2022-06-22 22:38:33 -10:00
collin
7417496eee merge testnet3 2022-06-22 21:42:00 -10:00
collin
4a80445bd8 test hashing u128 with ped64 fails 2022-06-22 21:29:04 -10:00
collin
4400545543 add all core circuit tests 2022-06-22 21:19:26 -10:00
collin
df908345bc add circuit variable access and type check 2022-06-22 15:49:50 -10:00
dependabot[bot]
c2d81ca6e0
Bump clap from 3.2.5 to 3.2.6 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.5 to 3.2.6.
- [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/v3.2.5...v3.2.6)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-06-22 10:15:16 +00:00
Mazdak Farrokhzad
01e4b292cf cleanup unused expecations 2022-06-21 17:23:30 +02:00
Mazdak Farrokhzad
7226659bf6 Value -> Literal 2022-06-21 17:12:34 +02:00
Mazdak Farrokhzad
ddbf2ae849 1. Speed up string literal lexing. 
2. Move address check to parser.
3. Move assignment place WF check to type checker.
 2022-06-21 17:07:44 +02:00
collin
bfd3a37a42 merge testnet3 2022-06-20 12:34:33 -07:00
0rphon
34a408ea41 sqrt tests 2022-06-16 16:56:00 -07:00
0rphon
b03c890dd2 syntactical operator tests 2022-06-16 16:45:37 -07:00
gluax
c9ab4bd3d7 add bitwise op parsing, fix tests 2022-06-16 15:40:48 -07:00
0rphon
94b506cf3f fixed tests 2022-06-16 13:22:32 -07:00
0rphon
66286ca88e more tests 2022-06-16 13:07:40 -07:00
0rphon
1cc47e9d08 more tests 2022-06-16 12:53:53 -07:00
gluax
b656fd5347 fix type checking on certain bitwise operations 2022-06-16 12:49:41 -07:00
0rphon
ed9ca4d6d8 added some tests 2022-06-16 12:06:46 -07:00