ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-02 10:14:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
5,355 Commits 53 Branches 44 Tags 331 MiB
34fa2cb2c6
Commit Graph

5355 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
collin
8be9c1fdb3 fix battleship readme - does not change any code 2022-09-21 15:05:21 -07:00
Collin Chin
9b9c494932
Merge pull request #2088 from AleoHQ/feat/async-on-finalize-statement 
Requires async keyword before finalize statement.
 2022-09-21 14:41:56 -07:00
Alessandro Coglio
4002ad8215 Merge with testnet3. 2022-09-21 13:33:56 -07:00
Pranav Gaddamadugu
bf50384dd5 Update examples to use async before finalize 2022-09-21 13:23:24 -07:00
Pranav Gaddamadugu
7a859e7b63 Regen test expectations 2022-09-21 13:18:50 -07:00
Pranav Gaddamadugu
0a481e543e Parse async, require it to precede finalize 2022-09-21 13:18:36 -07:00
Collin Chin
dac17f3768
Merge pull request #2087 from AleoHQ/fix/cli-output 
fix newline
 2022-09-21 13:11:16 -07:00
collin
75fd93ebf0 fix newline 2022-09-21 13:08:55 -07:00
Pranav Gaddamadugu
0782c03bf9 Lex async token 2022-09-21 12:20:05 -07:00
Pranav Gaddamadugu
2abfe06c9d Add async token 2022-09-21 12:19:44 -07:00
Pranav Gaddamadugu
72c012f4c2 Add async symbol 2022-09-21 12:19:06 -07:00
Howard Wu
a689cc1bac
Merge pull request #2084 from AleoHQ/fix/cli-output 
refactor cli output
 2022-09-21 14:15:31 +02:00
dependabot[bot]
35c7f37ded
Bump itertools from 0.10.4 to 0.10.5 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.10.4 to 0.10.5.
- [Release notes](https://github.com/rust-itertools/itertools/releases)
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/commits)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-21 10:19:41 +00:00
dependabot[bot]
b2b459825b
Bump reqwest from 0.11.11 to 0.11.12 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.11 to 0.11.12.
- [Release notes](https://github.com/seanmonstar/reqwest/releases)
- [Changelog](https://github.com/seanmonstar/reqwest/blob/master/CHANGELOG.md)
- [Commits](https://github.com/seanmonstar/reqwest/compare/v0.11.11...v0.11.12)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-09-21 10:19:35 +00:00
collin
0137f4caa7 add newlines 2022-09-21 03:16:47 -07:00
collin
4c0e99a73d refactor cli output 2022-09-21 02:56:45 -07:00
Collin Chin
b3aad45164
Merge pull request #2081 from AleoHQ/feat/battleship 
Commit battleship example
 2022-09-21 00:36:21 -07:00
collin
0ce3fcd966 commit bash script 2022-09-21 00:09:40 -07:00
Alessandro Coglio
2419408444 [examples] Some doc fixes. 2022-09-21 00:07:10 -07:00
collin
75e90c4eaa fully working with correct readme 2022-09-20 23:50:27 -07:00
Pranav Gaddamadugu
ad93709036 Update 2022-09-20 23:45:44 -07:00
Pranav Gaddamadugu
67aeaa3412 Update docs 2022-09-20 23:32:12 -07:00
collin
bdaf486604 fix bug and regen tests 2022-09-20 22:05:49 -07:00
collin
2cd1ec82ba remove unused code 2022-09-20 21:59:53 -07:00
Pranav Gaddamadugu
f7b5e213e6 Battleship example compiles 2022-09-20 21:45:16 -07:00
Pranav Gaddamadugu
8f5e779a6a Compiler builds 2022-09-20 20:29:59 -07:00