ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 12:17:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,802 Commits 53 Branches 44 Tags 331 MiB
58fccb7bb5
Commit Graph

4802 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Pranav Gaddamadugu
58fccb7bb5 Added compiler tests for rem and mod 2022-08-03 14:40:12 -07:00
Pranav Gaddamadugu
b97cafbbfc Add support for Rem, RemWrapped, and Mod to passes 2022-08-03 12:55:24 -07:00
Pranav Gaddamadugu
7ff84af785 Add Rem, RemWrapped, and Mod to parser 2022-08-03 12:54:57 -07:00
Pranav Gaddamadugu
b20aed7d34 Add Rem, RemWrapped, and Mod to AST 2022-08-03 12:54:39 -07:00
d0cd
abdb8c7162
Merge pull request #1986 from AleoHQ/doc/operators 
Create operators.md
 2022-08-03 12:05:37 -07:00
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