ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,331 Commits 54 Branches 46 Tags 340 MiB
2341f293f6
Commit Graph

5331 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
dbb72ddbf8 Add tests showing program annotation fails 2022-10-03 15:02:28 -07:00
Pranav Gaddamadugu
ce3fd38cd4 Regen expectations 2022-10-03 14:57:14 -07:00
Pranav Gaddamadugu
e4bd8f8338 Update tests to use transition 2022-10-03 14:56:14 -07:00
Pranav Gaddamadugu
a886357585 Update examples to use transition keyword 2022-10-03 11:22:37 -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
b92fefddc4 Add test for deprecated circuit; rename tests 2022-09-30 13:20:23 -07:00
Pranav Gaddamadugu
898d831249 Regen expectations 2022-09-30 12:58:39 -07: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
8d12cd6651 Rename tests 2022-09-30 10:48:47 -07:00
Pranav Gaddamadugu
99ec270f8a Rename examples 2022-09-30 10:37:29 -07:00
Pranav Gaddamadugu
508c54dd92 Rename errors 2022-09-30 10:16:05 -07:00
d0cd
27494e8956
Merge pull request #2101 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.37 
Bump thiserror from 1.0.36 to 1.0.37
 2022-09-29 05:04:28 -07:00
d0cd
e63a9d4f4e
Merge pull request #2103 from AleoHQ/dependabot/cargo/testnet3/console-0.15.2 
Bump console from 0.15.1 to 0.15.2
 2022-09-29 05:03:48 -07:00
dependabot[bot]
58dfd11cf8
Bump console from 0.15.1 to 0.15.2 
Bumps [console](https://github.com/console-rs/console) from 0.15.1 to 0.15.2.
- [Release notes](https://github.com/console-rs/console/releases)
- [Changelog](https://github.com/console-rs/console/blob/master/CHANGELOG.md)
- [Commits](https://github.com/console-rs/console/compare/0.15.1...0.15.2)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-29 10:28:35 +00:00
Alessandro Coglio
42b4268152 [ABNF] Remove initial blank line (!). 2022-09-28 10:27:46 -07:00
Alessandro Coglio
8e9a16a183 [ABNF] Mark the grammar as moved to the new repo. 2022-09-28 10:24:01 -07:00
dependabot[bot]
bc3698b54c
Bump thiserror from 1.0.36 to 1.0.37 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.36 to 1.0.37.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.36...1.0.37)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-28 10:14:34 +00:00
d0cd
5c94064117
Merge pull request #2099 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.36 
Bump thiserror from 1.0.35 to 1.0.36
 2022-09-27 08:59:52 -07:00
Collin Chin
3ee4337573
Merge pull request #2097 from AleoHQ/battleship-diagram 
Battleship diagram
 2022-09-26 14:33:14 -07:00
Alessandro Coglio
cc40de6247 [examples] Add battleship diagram to TOC. 2022-09-26 09:37:58 -07:00
dependabot[bot]
b8428e7def
Bump thiserror from 1.0.35 to 1.0.36 
Bumps [thiserror](https://github.com/dtolnay/thiserror) from 1.0.35 to 1.0.36.
- [Release notes](https://github.com/dtolnay/thiserror/releases)
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.35...1.0.36)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-26 10:42:13 +00:00
Alessandro Coglio
ae42bac1c0 [examples] Fix typo. 2022-09-23 20:34:48 -07:00
Alessandro Coglio
ad5b15bda8 [examples] Add battleship diagram. 2022-09-23 20:30:37 -07:00
Collin Chin
1822a19e88
Merge pull request #2096 from AleoHQ/docs/readme-circleci-badge 
Update README.md
 2022-09-23 16:31:56 -07:00
Collin Chin
9636d2c52c
Update README.md 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2022-09-23 16:31:00 -07:00
Collin Chin
3e823bc810
Update README.md 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2022-09-23 16:29:54 -07:00
Collin Chin
db157f81e5
Update README.md 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2022-09-23 15:39:10 -07:00
Collin Chin
28e2a4ca2a
Merge pull request #2093 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.145 
Bump serde from 1.0.144 to 1.0.145
 2022-09-23 11:08:43 -07:00
Collin Chin
e889f31ad3
Merge pull request #2092 from AleoHQ/abnf-async 
[ABNF] Add `async` keyword.
 2022-09-23 11:08:07 -07:00
Collin Chin
c8a44beb9c
Merge pull request #2091 from AleoHQ/fix-and-improve 
Fix and improve battleship README
 2022-09-23 11:07:31 -07:00
Collin Chin
d07973c799
Merge pull request #2094 from AleoHQ/fix/leo-new 
Update leo-new CI
 2022-09-23 10:55:55 -07:00
collin
07357442a9 Steal pranav's clever bash script to pull universal parameters 2022-09-23 10:42:07 -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
Alessandro Coglio
ef83c6fde7 [ABNF] Add async keyword. 
Matches https://github.com/AleoHQ/leo/pull/2088.
 2022-09-22 23:56:48 -07:00
Alessandro Coglio
5456795771 Merge with testnet3. 2022-09-21 18:20:02 -07:00
Alessandro Coglio
06e8036081 [examples] Improve/fix battleship README. 2022-09-21 18:14:52 -07:00
Collin Chin
0526e94e7f
Merge pull request #2090 from AleoHQ/update-examples 
unify leo examples with workshop, run all examples in circleci
 2022-09-21 17:04:46 -07:00
collin
6e89652210 update check-examples circle ci script 2022-09-21 16:45:13 -07:00
collin
eafd265f75 unify leo examples with workshop, run all examples in circleci 2022-09-21 15:59:33 -07:00
Collin Chin
2374f386e9
Merge pull request #2089 from AleoHQ/fix-battleship-readme 
fix battleship readme - does not change any code
 2022-09-21 15:20:35 -07: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
Collin Chin
c1eb72d5e0
Merge pull request #2085 from AleoHQ/dependabot/cargo/testnet3/reqwest-0.11.12 
Bump reqwest from 0.11.11 to 0.11.12
 2022-09-21 15:19:56 -07:00
Collin Chin
716633a740
Merge pull request #2083 from AleoHQ/doc-fixes 
[examples] Some doc fixes.
 2022-09-21 15:19:16 -07:00
Collin Chin
efd4de44fa
Merge pull request #2082 from AleoHQ/example/update-readmes 
Update READMEs for example.
 2022-09-21 15:17:58 -07:00