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
damirka
e78975ba21
Merge branch 'master' into leo-manifest-dependencies
2021-08-16 18:32:30 +03: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
gluaxspeed
ad5591d6fe
disable including readmes in crates documetnation while circleci doesn't support 1.54
2021-08-11 00:18:27 -07:00
gluaxspeed
93d2871332
wasn't a caching issue, I'm not sure
2021-08-11 00:09:22 -07:00
gluaxspeed
a17b0ee888
typo fix
2021-08-10 23:57:19 -07:00
gluaxspeed
5ab562386a
my only guess is caching is messing up code coverage
2021-08-10 23:54:24 -07:00
gluaxspeed
7d7671f126
fix clippy warning on not windows
2021-08-10 23:44:18 -07:00
gluaxspeed
62b26ad705
fix clippy warning on not windows
2021-08-10 23:37:00 -07:00
gluaxspeed
478bb83f70
regen tests after removing dead errors, docs
2021-08-10 22:56:46 -07:00
gluaxspeed
51e8ea49de
no circle ci image for rustc 1.54.0 yet
2021-08-10 20:05:15 -07:00
gluaxspeed
622ff5a9c3
finish docs, setup ci to publish docs pages, test docs generation
2021-08-10 19:59:27 -07:00
gluaxspeed
2f045e13cc
create docs job, update ciricle ci rust version
2021-08-10 14:35:30 -07:00
gluaxspeed
402ad7aabb
finish in code documentation, deny no doc comments
2021-08-10 14:10:27 -07:00
damirka
4f13716e5b
removed dbg
2021-08-09 21:57:15 -07:00
damirka
97645eb443
remove comments, update circleci to rust 1.54
2021-08-09 21:57:15 -07:00
damirka
1792ef4993
attmpt to fix 1217 (rebased)
2021-08-09 21:56:45 -07:00
damirka
cb5a5eb0f4
Adds structopt
2021-08-09 21:55:03 -07:00
damirka
98ee5af387
collect failures
2021-08-09 21:55:03 -07:00
damirka
d329829908
remove gitignore
2021-08-09 21:55:03 -07:00
damirka
3278474899
adds bin target
2021-08-09 21:55:03 -07:00
damirka
64e3432985
change to stable toolchain
2021-08-09 21:55:03 -07:00
damirka
595ae607f9
draft CI for acl2 -- without binaries
2021-08-09 21:51:54 -07:00
gluaxspeed
d9769b4c37
remove canonicalization from asg, merge master
2021-08-09 14:10:36 -07:00
gluaxspeed
c9345bbcc7
cleaning up duplicate errors by removing canonicalization from asg
2021-08-09 12:18:51 -07:00
