ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 18:52:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,870 Commits 54 Branches 46 Tags 340 MiB
1ea21716cf
Commit Graph

103 Commits

Author SHA1 Message Date
collin
d397c750d2 merge testnet3 2022-08-05 13:59:08 -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
2b3bda7da7 Add Annotation to AST; enable parser support 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
dependabot[bot]
32daba7f8b
Bump thiserror from 1.0.31 to 1.0.32 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.31 to 1.0.32.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.31...1.0.32)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-03 10:15:40 +00: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
Pranav Gaddamadugu
9dd45c3620 Type checking errors on multiple returns 2022-07-24 21:32:36 -07:00
d0cd
2a9cc42493
Merge pull request #1950 from AleoHQ/remove-unused-errors 
Remove unused errors
 2022-07-23 10:28:04 -07:00
dependabot[bot]
e40735675f
Bump serde from 1.0.139 to 1.0.140 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.139 to 1.0.140.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.139...v1.0.140)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-07-21 10:14:23 +00:00
Mazdak Farrokhzad
db42194d49 remove unused errors 2022-07-20 20:19:00 +02:00
collin
66b0fcc885 merge testnet3 regen tests 2022-07-18 15:33:40 -07:00
Pranav Gaddamadugu
1b872576b2 Merge branch 'testnet3' into feat/loop-unrolling 2022-07-18 07:54:48 -07:00
collin
a110a8ea90 leo new, build, run working in succession 2022-07-16 00:44:11 -07:00
collin
7f14e02055 import codegen working 2022-07-15 23:36:36 -07:00
collin
914a9c385e code gen for imports 2022-07-15 20:59:47 -07:00
collin
f505eb57ab leo run working 2022-07-15 14:16:56 -07:00
collin
0e3fc48757 all the right files in all the right places 2022-07-15 14:00:52 -07:00
collin
6d884a3aaf impl build and imports directory 2022-07-15 12:26:59 -07:00
collin
a6b93cf00d impl leo build for multiple aleo files 2022-07-14 18:08:06 -07:00
Pranav Gaddamadugu
86b5c9faa1 Fix errors from merge 2022-07-14 17:52:36 -07:00
Pranav Gaddamadugu
b6224d6d89 Merge branch 'testnet3' into feat/loop-unrolling 2022-07-14 17:51:34 -07:00
collin
16d2cadc61 impl leo clean 2022-07-14 13:23:12 -07:00
Mazdak Farrokhzad
dab6629ac0 1. move tuple logic to typeck, 2. disallow multi vars in var decls 2022-07-14 06:07:05 +02:00
collin
0bd0aed089 update error logging 2022-07-12 22:13:54 -07:00
collin
6b561fc38f store aleo instructions before parsing 2022-07-12 18:51:37 -07:00
collin
c0e968206b fix examples 2022-07-12 18:30:55 -07:00
collin
0b81f03f3a move /leo/errors -> /errors 2022-07-12 16:41:42 -07:00
collin
e263e64279 restructure compiler and delete unused code 2022-02-22 15:12:52 -08:00
Collin Chin
b3ae194ef7
Merge pull request #1624 from AleoHQ/bug/1405-reject-one-element-tuples 
[Fix] Disallow 1 element tuple types and variables
 2022-02-18 18:16:42 -08:00
gluax
8fd55656ee fix other parens cases 2022-02-18 15:04:38 -08:00
gluax
5a72a8e6bf disallow 1 element tuple types 2022-02-18 14:42:01 -08:00
Alessandro Coglio
fd4dc15011 [doc] Fix some typos and move a misplaced doc comment. 2022-02-17 21:49:11 -08:00
collin
815bddce94 cargo clippy 2022-02-07 11:58:41 -05:00
collin
b31071777b stabilize leo-package 2022-02-07 11:37:57 -05:00
collin
eca7a4ea53 reorder dependencies 2022-01-27 12:57:52 -08:00
gluax
a0aa4cb8ef have to temproarily disable pre commit checks while migrating 2022-01-21 12:24:38 -08:00
gluax
ea419a7891 migrate spans crate, which involves rust 2021 ed, and dep updates 2022-01-21 12:04:37 -08:00
collin
0425a92c2b feature: update to latest snarkvm rev 2022-01-11 16:22:34 -08:00
dependabot[bot]
f23b3cd021
Bump backtrace from 0.3.62 to 0.3.63 (#1451) 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.62 to 0.3.63.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.62...0.3.63)

---
updated-dependencies:
- dependency-name: backtrace
  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>
 2021-11-11 12:16:48 +03:00
dependabot[bot]
6238b367dd
Bump backtrace from 0.3.61 to 0.3.62 
Bumps [backtrace](https://github.com/rust-lang/backtrace-rs) from 0.3.61 to 0.3.62.
- [Release notes](https://github.com/rust-lang/backtrace-rs/releases)
- [Commits](https://github.com/rust-lang/backtrace-rs/compare/0.3.61...0.3.62)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-10-26 10:15:27 +00:00
dependabot[bot]
6fecba8352
Bump thiserror from 1.0.29 to 1.0.30 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.29 to 1.0.30.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.29...1.0.30)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-10-11 10:16:11 +00:00
Eric McCarthy
e2ba64b79d
Merge pull request #1362 from AleoHQ/feature/remove-span-snapshot 
Feature/remove span snapshot
 2021-09-30 15:33:18 -07:00
damirka
4e45b1b327 adds error docs 2021-09-28 19:14:29 +03:00
damirka
e42a3186a0 Merge branch 'master' into leo-wasm 2021-09-28 19:13:01 +03:00
damirka
a1aa5326ad fixes eq for arrays with unspecified size 2021-09-28 11:09:56 +03:00
damirka
85059a682d Merge branch 'master' into leo-wasm 2021-09-25 12:14:46 +03:00
damirka
0aa6eabb0c adds README, extends error object 2021-09-25 12:13:59 +03:00
Pranav Gaddamadugu
73ff1d85e0 Added custom serialization for spans in tuple-like enum variants; changed expected output in serialization test 2021-09-21 18:28:50 -07:00
Pranav Gaddamadugu
3236351d72 New error for converting AST to JSON value 2021-09-20 17:54:27 -07:00