ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-10 21:29:08 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,797 Commits 45 Branches 43 Tags 368 MiB
doc/operators
Commit Graph

4797 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
d0cd
140c2b31ad
Create operators.md 2022-08-03 12:04:39 -07:00
Collin Chin
d8511d34c1
Merge pull request #1982 from AleoHQ/fix/early-return-with-tuple 
[Fix] SSA Reconstruction for Tuple Returns
 2022-08-03 09:28:19 -07:00
d0cd
c12d4af7e2
Merge pull request #1985 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.60 
Bump anyhow from 1.0.59 to 1.0.60
 2022-08-03 07:01:14 -07:00
d0cd
30ae50243b
Merge pull request #1984 from AleoHQ/dependabot/cargo/testnet3/thiserror-1.0.32 
Bump thiserror from 1.0.31 to 1.0.32
 2022-08-03 07:00:56 -07:00
dependabot[bot]
b3bc8787e4
Bump anyhow from 1.0.59 to 1.0.60 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.59 to 1.0.60.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.59...1.0.60)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-03 10:15:47 +00: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
d0cd
a2e9e4f3de
Merge pull request #1976 from AleoHQ/dependabot/cargo/testnet3/serde-1.0.141 
Bump serde from 1.0.140 to 1.0.141
 2022-08-03 00:16:45 -07:00
Pranav Gaddamadugu
c364c581ec Documentation 2022-08-03 00:03:53 -07:00
Pranav Gaddamadugu
6f3c635f75 Add test case for this bug 2022-08-02 23:57:28 -07:00
Pranav Gaddamadugu
915b77bba4 SSA replaces ReturnStatement with empty BlockStatement; regen test expectations 2022-08-02 23:56:57 -07:00
Pranav Gaddamadugu
5be72596db Implement bug fix 2022-08-02 23:50:08 -07: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
Collin Chin
3a9b7c276b
Merge pull request #1968 from AleoHQ/integration-tests 
Run snarkVM package build on all Leo tests
 2022-08-02 12:58:18 -07:00
d0cd
a2326cbbf9
Merge pull request #1967 from AleoHQ/abnf-rem-op 
[ABNF] Add the remainder operator.
 2022-08-01 23:14:09 -07:00
d0cd
aeed0a682e
Merge pull request #1972 from AleoHQ/dependabot/cargo/testnet3/anyhow-1.0.59 
Bump anyhow from 1.0.58 to 1.0.59
 2022-08-01 23:13:24 -07:00
dependabot[bot]
6c2d680ce7
Bump anyhow from 1.0.58 to 1.0.59 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.58 to 1.0.59.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.58...1.0.59)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-02 05:27:00 +00:00
d0cd
592f030ecd
Merge pull request #1973 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.16 
Bump clap from 3.2.15 to 3.2.16
 2022-08-01 22:25:53 -07:00
d0cd
633fbe8907
Merge pull request #1975 from AleoHQ/dependabot/cargo/testnet3/tracing-0.1.36 
Bump tracing from 0.1.35 to 0.1.36
 2022-08-01 22:25:25 -07:00
collin
5777c76d04 refactor more iteration tests 2022-08-01 17:01:58 -07:00
collin
f0a6e9421b fix import example and logging output 2022-08-01 16:23:20 -07:00
collin
bef473b656 add import example, remove directory nesting, improve examples readme 2022-08-01 16:04:00 -07:00
Collin Chin
0cd6a10d6f
Merge pull request #1971 from AleoHQ/doc-span-add 
[span] Add doc comment to explain span addition.
 2022-08-01 15:39:39 -07:00
collin
1d734ffa3f group tests passing 2022-08-01 15:33:26 -07:00
collin
2cb40cebf0 patch group coordinate codegen 2022-08-01 14:30:05 -07:00
collin
1a7a67e4c3 commit rest of tests 2022-08-01 14:17:55 -07:00
collin
3826293f31 fix op assign bugs 2022-08-01 14:14:39 -07:00
dependabot[bot]
1ec491c9a2
Bump tracing from 0.1.35 to 0.1.36 
Bumps [tracing](https://github.com/tokio-rs/tracing) from 0.1.35 to 0.1.36.
- [Release notes](https://github.com/tokio-rs/tracing/releases)
- [Commits](https://github.com/tokio-rs/tracing/compare/tracing-0.1.35...tracing-0.1.36)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-01 10:27:53 +00:00
dependabot[bot]
27f2220940
Bump clap from 3.2.15 to 3.2.16 
Bumps [clap](https://github.com/clap-rs/clap) from 3.2.15 to 3.2.16.
- [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.15...v3.2.16)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2022-08-01 10:27:30 +00:00
Alessandro Coglio
9d36988946 [span] Add doc comment to explain span addition. 2022-07-30 21:54:29 -07:00
collin
60e4279934 merge testnet3 2022-07-29 14:16:34 -07:00
Collin Chin
b967c3a39f
Merge pull request #1970 from AleoHQ/fix/ssa-assign-bug 
Fix bug in SSA; regen test expectations
 2022-07-29 14:14:27 -07:00
collin
4dda9ab0fd regen tests 2022-07-29 14:09:09 -07:00
Pranav Gaddamadugu
bf1421280e Fix bug in SSA; regen test expectations 2022-07-29 12:52:18 -07:00
collin
dd8e1c1a4e impl and, or, bitand, bitor, bitxor, shl, shr assign parsing 2022-07-29 12:47:23 -07:00
collin
c73671bb7b impl sub, mul, div, pow assign parsing 2022-07-29 11:57:34 -07:00
d0cd
de2ac825a5
Merge pull request #1943 from AleoHQ/example/sorting 
Example: Bubblesort with Tuples
 2022-07-29 09:28:00 -07:00
Pranav Gaddamadugu
3a5c0abbef Introduce bubblesort_tuple example 2022-07-29 08:51:09 -07:00
collin
d71788e8a4 impl add assign operator 2022-07-28 18:00:46 -07:00
collin
a2862f8894 stabilize all tests working with snarkVM package build 2022-07-28 17:07:51 -07:00
collin
166c159867 stabilize tuple tests 2022-07-28 16:50:18 -07:00
collin
0a34115ef7 stabilize scalar tests 2022-07-28 16:46:30 -07:00
collin
86219c0044 stabilize record tests 2022-07-28 16:40:48 -07:00
collin
5a26eed8ca integer min tests fixed 2022-07-28 16:23:16 -07:00
Collin Chin
41b985f923
Merge pull request #1964 from AleoHQ/clean-symbols 
Remove unused symbols and logic
 2022-07-28 15:55:48 -07:00
collin
eaa04a5f7e core algorithm tests working 2022-07-28 15:27:43 -07:00
Alessandro Coglio
f5b62e913b [ABNF] Add the remainder operator. 2022-07-28 14:25:01 -07:00
collin
66c5deb7e3 merge testnet3 do not regen tests 2022-07-28 14:23:47 -07:00
collin
8a0e9bc5cc merge testnet3 regen tests 2022-07-28 14:19:57 -07:00
Collin Chin
eb63f13cf7
Merge pull request #1946 from AleoHQ/feat/ssa 
Static Single Assignment
 2022-07-28 14:15:37 -07:00
collin
10c9bb1c28 fix directory bug for test expectations 2022-07-28 14:14:25 -07:00