ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,243 Commits 54 Branches 46 Tags 340 MiB
8e18a9f3f8
Commit Graph

3243 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluax
068958a2f4 array type inference bugs 2021-06-23 07:08:32 -07:00
damirka
77301e98bd add tests 2021-06-23 14:16:44 +03:00
damirka
9cd90da5fc fixes tuple accesses 2021-06-23 14:10:33 +03:00
damirka
1083fc80c2 grammar fixes 2021-06-23 13:07:44 +03:00
Alessandro Coglio
214c5b21c9
Merge pull request #1054 from AleoHQ/bugs/1040-1041-input-bugs 
input bugs fixes
 2021-06-22 15:07:28 -07:00
Alessandro Coglio
ffd2a81b60 [RFC] Add initial RFC for type casts. 2021-06-22 14:56:17 -07:00
gluax
957d73f33f more tests 2021-06-22 14:31:45 -07:00
damirka
7b150f3a19 draft for imports RFC 2021-06-22 19:45:19 +03:00
Alessandro Coglio
ba0c931fcc
Merge pull request #1052 from AleoHQ/dependabot/cargo/reqwest-0.11.4 
Bump reqwest from 0.11.3 to 0.11.4
 2021-06-22 09:43:43 -07:00
Alessandro Coglio
470e2dc99d
Merge pull request #1051 from AleoHQ/fix-typo 
Fix a typo in comment.
 2021-06-22 09:09:05 -07:00
dependabot[bot]
378201ec63
Bump reqwest from 0.11.3 to 0.11.4 
Bumps [reqwest](https://github.com/seanmonstar/reqwest) from 0.11.3 to 0.11.4.
- [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.3...v0.11.4)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-06-22 10:21:31 +00:00
gluax
af1aca3d9f parse returns leo error not rust error 2021-06-21 23:10:55 -07:00
Alessandro Coglio
bc18521699 Fix a typo in comment. 2021-06-21 22:42:53 -07:00
gluax
b969774b85 check input integer types at all stages 2021-06-21 19:53:01 -07:00
Howard Wu
72b25a7f22
Merge pull request #902 from AleoHQ/dependabot/add-v2-config-file 
Upgrade to GitHub-native Dependabot
 2021-06-21 14:31:18 -07:00
howardwu
750c48ed3b chore(leo): bump version for new release 2021-06-21 14:28:28 -07:00
Alessandro Coglio
5cc0cca7e4
Merge pull request #1048 from AleoHQ/resolve-master-conflicts 
quick pr to fix merge conflicts
 2021-06-18 09:38:11 -07:00
gluax
b27cffed19 quick branch to fix merge conflicts 2021-06-18 09:14:38 -07:00
Alessandro Coglio
b414cde00d
Merge pull request #1043 from AleoHQ/bug/canonicalization-fixes 
canonicalization fixes
 2021-06-18 09:01:39 -07:00
Alessandro Coglio
23e9622212
Merge pull request #1036 from AleoHQ/bug/1012-scalar-values 
Scalar, Non-Scalar, and Char Output file
 2021-06-18 09:01:07 -07:00
gluax
a2850bbd02 Self bug fix, and string canonicalization fix 2021-06-17 12:47:19 -07:00
gluax
5cf5437281 char spans from string, proper col_start and stop 2021-06-16 13:35:40 -07:00
Alessandro Coglio
7e24b38620
Merge pull request #1039 from AleoHQ/add-m1-build 
[Feature] Add M1 build, keep target-cpu=native only for MacOS builds
 2021-06-16 11:27:19 -07:00
Alessandro Coglio
63d9e341a2
Merge pull request #1038 from AleoHQ/dependabot/cargo/rand_core-0.6.3 
Bump rand_core from 0.6.2 to 0.6.3
 2021-06-16 11:26:32 -07:00
dependabot-preview[bot]
0fa4907273
Bump rand_core from 0.6.2 to 0.6.3 
Bumps [rand_core](https://github.com/rust-random/rand) from 0.6.2 to 0.6.3.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/rand_core-0.6.2...rand_core-0.6.3)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-16 17:13:33 +00:00
Alessandro Coglio
f8aff7e176
Merge pull request #1037 from AleoHQ/dependabot/cargo/rand-0.8.4 
Bump rand from 0.8.3 to 0.8.4
 2021-06-16 10:11:58 -07:00
damirka
b9431fb4ac cleanup 2021-06-16 15:21:11 +03:00
damirka
0b49f0c9ad one more fix for cargo config 2021-06-16 15:05:29 +03:00
damirka
796d687b22 fix cargo config 2021-06-16 14:52:23 +03:00
damirka
505aac2dc2 fixes cargo config 2021-06-16 14:48:29 +03:00
damirka
d0b05778fc adds build for apple silicon 2021-06-16 14:23:22 +03:00
dependabot-preview[bot]
5d04ae9da5
Bump rand from 0.8.3 to 0.8.4 
Bumps [rand](https://github.com/rust-random/rand) from 0.8.3 to 0.8.4.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/0.8.3...0.8.4)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-16 10:54:41 +00:00
Alessandro Coglio
20befbdd93
Merge pull request #1034 from AleoHQ/bug/more-tests-and-hex-fixes 
Bug/more tests and hex fixes
 2021-06-15 21:02:32 -07:00
gluax
1f35308f47 depend on improved tests branch 2021-06-15 11:44:20 -07:00
gluax
076aafa097 resolve merge conflicts 2021-06-15 11:32:46 -07:00
gluax
a6f4052dde type inference char reducer fixed, outputs fixed 2021-06-15 11:23:08 -07:00
gluax
7d29ef0d5e custom serializer/deserializer 2021-06-14 15:56:39 -07:00
gluax
d1ca1108fb scalar chars refactor, some stuff got fixed, some stuff broke 2021-06-11 16:16:21 -07:00
Alessandro Coglio
c0a4f288c0
Merge pull request #1031 from AleoHQ/rfc-recursion 
[RFC] Add concrete proposal for compiler option.
 2021-06-11 11:38:53 -07:00
Alessandro Coglio
04c809c0dc
Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string 
fix slice assignment for strings
 2021-06-11 11:36:08 -07:00
gluax
debaf9cd61 more byte failing tests 2021-06-11 10:05:08 -07:00
Alessandro Coglio
0dbbf7496a
Merge pull request #1033 from AleoHQ/dependabot/cargo/anyhow-1.0.41 
Bump anyhow from 1.0.40 to 1.0.41
 2021-06-11 09:08:19 -07:00
dependabot-preview[bot]
b8412ecbda
Bump anyhow from 1.0.40 to 1.0.41 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.40 to 1.0.41.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.40...1.0.41)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2021-06-11 10:51:35 +00:00
gluax
2be23c4946 fmt fix 2021-06-10 11:25:15 -07:00
gluax
5b4cc494c1 fix parser bug allowing illegal unicode escape 2021-06-10 10:59:35 -07:00
Alessandro Coglio
414cddb96d [RFC] Add concrete proposal for compiler option. 
This is based on today's discussion at the compiler sync. The rationale for the
proposed name is explained in the added text. Open to change, as always.
 2021-06-09 22:12:33 -07:00
gluax
d6266102c3 more tests, hex fix 2021-06-09 15:54:05 -07:00
howardwu
6f5c02ae6d chore(leo): bump version for new release 2021-06-08 22:51:25 -07:00
Alessandro Coglio
8242cf4eb5
Merge pull request #1011 from AleoHQ/rfc-recursion 
Add RFC for bounded recursion.
 2021-06-08 21:55:05 -07:00
Alessandro Coglio
6dd93fc5bf
Merge pull request #1028 from AleoHQ/bendyarm-rfc2-minor-fixups 
Update 002-bounded-recursion.md
 2021-06-08 19:58:10 -07:00