gluaxspeed
88bd065d8a
merge master, regen tests
2021-08-18 16:25:23 -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
gluaxspeed
56c66fa4ba
testing and clean up
2021-08-18 14:31:06 -07:00
gluaxspeed
a91c8b9e6a
Revert "type on call expression"
...
This reverts commit cf5a23b38f
.
2021-08-18 13:38:50 -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
cf5a23b38f
type on call expression
2021-08-18 02:04:41 -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