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
5,292 Commits 53 Branches 44 Tags 331 MiB
a904a1441a
Commit Graph

5292 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
a904a1441a Add test; regen expectations 2022-10-25 16:22:47 -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
ebd06d292a
Merge pull request #2143 from AleoHQ/fix/ast-output 
Prepend program name to AST output file.
 2022-10-25 15:09:39 -07:00
d0cd
fe0266c1da Prepend program name to AST outfile 2022-10-25 10:40:23 -07:00
d0cd
9e728554a2
Merge pull request #2139 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.147 
Bump serde from 1.0.146 to 1.0.147
 2022-10-24 11:49:34 -07:00
d0cd
558097bba6
Merge pull request #2141 from AleoHQ/dependabot/cargo/testnet3/abnf-0.13.0 
Bump abnf from 0.12.0 to 0.13.0
 2022-10-24 11:48:51 -07:00
dependabot[bot]
c5dfd9278a
Bump abnf from 0.12.0 to 0.13.0 
Bumps [abnf](https://github.com/duesee/abnf) from 0.12.0 to 0.13.0.
- [Release notes](https://github.com/duesee/abnf/releases)
- [Changelog](https://github.com/duesee/abnf/blob/main/CHANGELOG.md)
- [Commits](https://github.com/duesee/abnf/commits/v0.13.0)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-24 10:18:05 +00: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
f362da420b
Merge pull request #2135 from AleoHQ/dependabot/cargo/testnet3/assert_cmd-2.0.5 
Bump assert_cmd from 2.0.4 to 2.0.5
 2022-10-21 12:42:25 -07: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
d0cd
d1bf76e4aa
Merge pull request #2137 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.66 
Bump anyhow from 1.0.65 to 1.0.66
 2022-10-21 12:39:32 -07:00
d0cd
e6bdf4436d
Merge pull request #2138 from HarukaMa/indexmap-ordering 
Preserve struct member order when reordering `owner` and `gates`
 2022-10-21 12:35:55 -07:00
Haruka
aab179c676 Preserve struct member order when reordering owner and gates 2022-10-22 02:46:22 +09:00
dependabot[bot]
a3e7b03066
Bump anyhow from 1.0.65 to 1.0.66 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.65 to 1.0.66.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.65...1.0.66)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-21 10:56:44 +00: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
dependabot[bot]
67655ae760
Bump assert_cmd from 2.0.4 to 2.0.5 
Bumps [assert_cmd](https://github.com/assert-rs/assert_cmd) from 2.0.4 to 2.0.5.
- [Release notes](https://github.com/assert-rs/assert_cmd/releases)
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v2.0.4...v2.0.5)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-21 10:56:29 +00:00
d0cd
3a8e11e278
Merge pull request #2120 from AleoHQ/feat/struct-init-order 
Supports initializing `struct`s and `record`s with its members out of order.
 2022-10-15 10:44:36 -07:00
d0cd
05ec1109db
Merge pull request #2128 from AleoHQ/fix/package-name-check 
Fix validation for package name.
 2022-10-15 10:38:23 -07:00
d0cd
977dcd37fd Update comments; clippy 2022-10-13 16:03:23 -05:00
d0cd
87252e4523 Fix validation check for package name 2022-10-13 14:21:13 -05: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
65f18fc7ea Regen expectations 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
047575f9bf Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
2354cc8b41 Add tests 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
70051888e8 Regen expectations 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
8e3cd83bb8 Fix failing case 2022-10-12 00:15:06 -05:00
Pranav Gaddamadugu
d7260aef62 Add test 2022-10-12 00:15:06 -05:00
d0cd
cc39ee2fb2
Merge pull request #2118 from AleoHQ/fix/leo-new-default 
Fixes comment in file produced by `leo new`
 2022-10-08 10:47:12 -07:00
d0cd
cb2a9d3290
Merge pull request #2115 from AleoHQ/fix-typo-debruijn 
fix typo in program name
 2022-10-07 16:18:47 -07:00
d0cd
3a29146d1e
Merge pull request #2116 from AleoHQ/dependabot/cargo/testnet3/tracing-subscriber-0.3.16 
Bump tracing-subscriber from 0.3.15 to 0.3.16
 2022-10-07 16:18:13 -07:00
d0cd
ec88110aa6
Merge pull request #2117 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.37 
Bump tracing from 0.1.36 to 0.1.37
 2022-10-07 16:16:45 -07:00
Pranav Gaddamadugu
59d3574284 Fix 2022-10-07 15:11:12 -07:00
dependabot[bot]
594a01f969
Bump tracing from 0.1.36 to 0.1.37 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.36 to 0.1.37.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.36...tracing-0.1.37)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-07 10:32:30 +00:00
dependabot[bot]
ee0eebf80d
Bump tracing-subscriber from 0.3.15 to 0.3.16 
Bumps [tracing-subscriber](https://github.com/tokio-rs/tracing) from 0.3.15 to 0.3.16.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-subscriber-0.3.15...tracing-subscriber-0.3.16)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-10-07 10:32:22 +00:00
Eric McCarthy
24540a5c67 fix typo in program name 2022-10-06 21:30:30 -07:00
Collin Chin
1749eec403
Merge pull request #2102 from AleoHQ/abnf-moved-grammar 
[ABNF] Mark the grammar as moved to the new repo.
 2022-10-06 15:57:49 -07: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
c42228713d Regen expectations 2022-10-06 11:32:11 -07:00
Pranav Gaddamadugu
97b299ac8a Update revs 2022-10-06 11:31:58 -07:00
d0cd
6fb4ed1a3d
Merge pull request #2109 from AleoHQ/dependabot/cargo/testnet3/smallvec-1.10.0 
Bump smallvec from 1.9.0 to 1.10.0
 2022-10-06 00:29:29 -07:00
Pranav Gaddamadugu
e94d43536a Fix leo new 2022-10-06 00:25:28 -07:00
Pranav Gaddamadugu
d7813923d2 More examples 2022-10-06 00:17:51 -07:00
Pranav Gaddamadugu
e1a148a93e Regen expectations 2022-10-05 23:52:37 -07:00
Pranav Gaddamadugu
35f77f2a12 More examples 2022-10-05 23:52:22 -07:00
Pranav Gaddamadugu
028a01efde More fixes 2022-10-05 23:51:56 -07:00
Pranav Gaddamadugu
047ed7a08b Update parser tests 2022-10-05 16:54:50 -07:00