ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 01:01:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,327 Commits 53 Branches 44 Tags 331 MiB
fbc3dfb4c9
Commit Graph

3327 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gluaxspeed
fbc3dfb4c9 merge master, regen tests 2021-08-18 16:14:14 -07:00
Alessandro Coglio
235daa9ee4
Merge pull request #1242 from AleoHQ/feature/better-errors 
[WIP Implementation] Better Errors
 2021-08-18 16:08:24 -07:00
gluaxspeed
0feccf6353 m1 test was infinitely looping 2021-08-18 15:37:42 -07:00
gluaxspeed
4e32efb9e3 Merge branch 'master' of github.com:AleoHQ/leo into feature/better-errors 2021-08-18 14:42:19 -07:00
gluaxspeed
484ebd3467 clean up todos 2021-08-18 14:40:51 -07:00
Alessandro Coglio
0732ea15b6
Merge pull request #1248 from AleoHQ/rfc/primitive-types-as-circuits 
[RFC] Add an RFC for Scalar Methods
 2021-08-18 10:53:08 -07:00
Alessandro Coglio
9c3c57c9cd
Merge pull request #1252 from AleoHQ/rfc-native-functions 
[RFC] Initial proposal for better native functions.
 2021-08-18 10:18:09 -07:00
Alessandro Coglio
2dc02bc559
Merge pull request #1262 from AleoHQ/abnf-fix 
ABNF grammar fix
 2021-08-18 10:15:55 -07:00
Alessandro Coglio
fdde4e0158
Merge pull request #1268 from AleoHQ/dependabot/cargo/serde_yaml-0.8.18 
Bump serde_yaml from 0.8.17 to 0.8.18
 2021-08-18 09:04:22 -07:00
dependabot[bot]
f258c5bde5
Bump serde_yaml from 0.8.17 to 0.8.18 
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml) from 0.8.17 to 0.8.18.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases)
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.17...0.8.18)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-18 10:17:46 +00:00
gluaxspeed
56996f989e fix ternary bug 2021-08-18 01:09:45 -07:00
Alessandro Coglio
8ac669f71d
Merge pull request #1266 from AleoHQ/fix-recursive-imports 
[Fix] Recursive imports
 2021-08-17 10:26:46 -07:00
Alessandro Coglio
a15aba3c2d
Merge pull request #1231 from AleoHQ/rfc-bit-byte-conv 
[RFC] Add an RFC for bit and byte conversions.
 2021-08-17 10:07:17 -07:00
Alessandro Coglio
eb74e85e60
Merge pull request #1264 from AleoHQ/dependabot/cargo/snarkvm-dpc-0.7.9 
Bump snarkvm-dpc from 0.7.8 to 0.7.9
 2021-08-17 09:33:28 -07:00
yangvenli
b6d9db20be fixes recursive imports issue 2021-08-17 15:47:16 +03:00
dependabot[bot]
d2a4a14cf4
Bump snarkvm-dpc from 0.7.8 to 0.7.9 
Bumps [snarkvm-dpc](https://github.com/AleoHQ/snarkVM) from 0.7.8 to 0.7.9.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.8...v0.7.9)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-17 10:18:37 +00:00
gluaxspeed
9382cdbb34 update error_index 2021-08-17 00:10:24 -07:00
gluaxspeed
8a73acaa33 skip leo-lang update test on macos for now 2021-08-16 23:51:25 -07:00
Alessandro Coglio
30da9d6e1c [ABNF] Re-generate the markdown file. 2021-08-16 18:07:26 -07:00
Alessandro Coglio
80e2b14c8c [ABNF] Fix rule for conditional expressions. 
The test of the expression should have been a disjunctive expression. This was
an oversight when the rules were written.
 2021-08-16 18:06:27 -07:00
gluaxspeed
c3aa1ce773 fix error message formatting in some instances 2021-08-16 17:46:50 -07:00
gluaxspeed
20b0f4f2f8 fix canonicalization function type return bugs 2021-08-16 15:12:36 -07:00
gluaxspeed
c140e666a5 make suggested changes, also renumber as it would conflict with 009 bits/bytes 2021-08-16 11:38:01 -07:00
Alessandro Coglio
6047886446 [RFC] Extend bit/byte conversion RFC. 
Add a paragraph clarifying what an adequate implementation strategy could be.
In any case, we are likely to go with methods on scalar types directly.
 2021-08-16 10:48:24 -07:00
Alessandro Coglio
6e264b86ef [RFC] Extend bit/byte conversion RFC. 
Add an alternative in which we go to methods directly. This seems more likely at
this point, given that we seem to have a fairly simple and quick way to support
methods on scalar types that does not involve turning scalar types into circuit
types.
 2021-08-16 10:44:10 -07:00
Alessandro Coglio
8f7485977a
Merge pull request #1256 from AleoHQ/dependabot/cargo/snarkvm-curves-0.7.9 
Bump snarkvm-curves from 0.7.8 to 0.7.9
 2021-08-16 10:35:49 -07:00
Alessandro Coglio
1bc19d8b1c [RFC] Extend the native functions RFC a bit more. 
Explicate how the initially proposed design is consistent with Java, and how the
native implementations live in separate files in that design. This better paves
the way to the more recent variant of this proposal, currently discussed under
alternatives but that may be eventually "swapped" if that's also the rest of the
team's consensus.
 2021-08-16 10:22:04 -07:00
Alessandro Coglio
16daa63dea [RFC] Extend native functions RFC based on discussion with Jon. 2021-08-16 10:19:16 -07:00
Alessandro Coglio
110b05bfc2 [RFC] Improve title as suggested by Jon. 2021-08-16 10:11:52 -07:00
Alessandro Coglio
3fd9e90fce
Merge pull request #1257 from AleoHQ/dependabot/cargo/anyhow-1.0.43 
Bump anyhow from 1.0.42 to 1.0.43
 2021-08-16 10:08:53 -07:00
dependabot[bot]
957d2ef62d
Bump anyhow from 1.0.42 to 1.0.43 
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.42 to 1.0.43.
- [Release notes](https://github.com/dtolnay/anyhow/releases)
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.42...1.0.43)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:19:17 +00:00
dependabot[bot]
1b34fa0538
Bump snarkvm-curves from 0.7.8 to 0.7.9 
Bumps [snarkvm-curves](https://github.com/AleoHQ/snarkVM) from 0.7.8 to 0.7.9.
- [Release notes](https://github.com/AleoHQ/snarkVM/releases)
- [Commits](https://github.com/AleoHQ/snarkVM/compare/v0.7.8...v0.7.9)

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

Signed-off-by: dependabot[bot] <support@github.com>
 2021-08-16 10:18:57 +00:00
gluaxspeed
12fe626485 update readme, fix compiler error range 2021-08-13 20:02:43 -07:00
gluaxspeed
54eb95c62d Change RFC based on discussion 2021-08-13 18:21:39 -07:00
gluaxspeed
0702be2a18 regen error tests 2021-08-13 16:12:54 -07:00
gluaxspeed
a3ef6a0342 more error message cleanup, and remove debug statement 2021-08-13 15:57:17 -07:00
gluaxspeed
04e8ccc9e6 error code fixes 2021-08-13 15:06:04 -07:00
Alessandro Coglio
f1384787ee [RFC] Initial proposal for native functions. 2021-08-13 12:00:19 -07:00
gluaxspeed
f65fff602f clippy fix, tyring to debug cli upadte on osx 2021-08-13 11:35:48 -07:00
gluaxspeed
8ca3ab465e circleci updated rust version 2021-08-13 10:48:38 -07:00
gluaxspeed
eaa4151f16 now its just mac release list failing 2021-08-12 09:51:00 -07:00
gluaxspeed
e9ffacda41 difference is CRLF vs LF somehow 2021-08-12 09:11:54 -07:00
gluaxspeed
e69e81110e debug windows ci this time 2021-08-12 04:44:45 -07:00
gluaxspeed
d0d1203381 use test all features again just pass --all 2021-08-12 04:11:16 -07:00
gluaxspeed
a09f6f0c83 serilization for span that's test dependent 2021-08-12 03:27:18 -07:00
gluaxspeed
ab5fcecae2 more debugging 2021-08-12 02:42:42 -07:00
gluaxspeed
bd0032e98b realized not all tests were being run with cargo test-all-features 2021-08-12 02:25:43 -07:00
gluaxspeed
f0de65835c regen tests, debug out a import test 2021-08-12 02:15:12 -07:00
gluaxspeed
fe3de3900e add rfc for primtive types as circuits 2021-08-12 01:30:24 -07:00
gluaxspeed
faa9054e88 add Error: word to start of formatted 2021-08-12 00:34:21 -07:00