collin
89d76688d7
add leo-state module
2020-08-11 23:51:56 -07:00
dependabot-preview[bot]
78cf8bbe1e
Bump snarkos-dpc from 90d41a9 to 8d84d89
...
Bumps [snarkos-dpc](https://github.com/AleoHQ/snarkOS ) from `90d41a9` to `8d84d89`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases )
- [Commits](90d41a91b6...8d84d89f6b
2020-08-08 21:32:03 +00:00
dependabot-preview[bot]
d39d50a7a2
Bump snarkos-dpc from c1bab10 to 90d41a9
...
Bumps [snarkos-dpc](https://github.com/AleoHQ/snarkOS ) from `c1bab10` to `90d41a9`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases )
- [Commits](c1bab10325...90d41a91b6
2020-08-05 10:40:20 +00:00
Howard Wu
392fa2ea79
Merge pull request #140 from AleoHQ/dependabot/cargo/snarkos-models-c1bab10
...
Bump snarkos-models from `d80ce42` to `c1bab10`
2020-08-03 22:13:25 -07:00
dependabot-preview[bot]
ea32e7b766
Bump snarkos-models from d80ce42 to c1bab10
...
Bumps [snarkos-models](https://github.com/AleoHQ/snarkOS ) from `d80ce42` to `c1bab10`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases )
- [Commits](d80ce42f37...c1bab10325
2020-08-03 11:46:37 +00:00
howardwu
8b435130d2
Adds leo-package module
2020-08-02 21:52:55 -07:00
howardwu
f40ba91784
Rename types -> typed
2020-08-02 20:56:22 -07:00
howardwu
b81129db67
Adds benchmarks for serialization
2020-08-02 20:33:05 -07:00
howardwu
3ccfd2c764
Adds ci_skip
2020-08-02 19:57:28 -07:00
howardwu
5375d97b40
Resolve merge conflict
2020-08-02 18:51:44 -07:00
howardwu
77f443b672
Add linter stub
2020-08-02 18:06:21 -07:00
howardwu
2d1b93e5f8
Merge with master
2020-08-02 17:24:31 -07:00
howardwu
2caa34be67
Revert to leo-types
2020-08-02 16:59:56 -07:00
collin
e22e962588
rename leo-inputs -> leo-input
2020-07-31 18:49:01 -07:00
howardwu
1ea5f7de4a
Add leo_typed_ast program, has one serialization error
2020-07-31 00:24:21 -07:00
collin
ae8fb1f714
merge master fix conflicts
2020-07-30 22:41:07 -07:00
howardwu
61d92ecc91
Remove revision peg for snarkOS dependency, change Leo to groth16, update to proper calling convention for snarks
2020-07-30 19:09:27 -07:00
collin
a858b37fe0
merge master fix conflicts
2020-07-30 18:30:56 -07:00
collin
a4448cdd12
add manual main input method for testing. fix field tests
2020-07-29 23:32:21 -07:00
collin
61f7c54858
refactor testing compiler to handle .in .out .state files. fix boolean tests
2020-07-29 20:52:37 -07:00
collin
1b99d62de8
adds compiler output file and output bytes data structures
2020-07-29 18:32:35 -07:00
howardwu
47bfd2e096
Adds serialization of Leo AST for unit testing and rformal verification
2020-07-28 21:18:43 -07:00
dependabot-preview[bot]
e4c4684702
Bump serde_json from 1.0.56 to 1.0.57
...
Bumps [serde_json](https://github.com/serde-rs/json ) from 1.0.56 to 1.0.57.
- [Release notes](https://github.com/serde-rs/json/releases )
- [Commits](https://github.com/serde-rs/json/compare/v1.0.56...v1.0.57 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-07-27 10:44:10 +00:00
dependabot-preview[bot]
73806e4526
Bump log from 0.4.8 to 0.4.11
...
Bumps [log](https://github.com/rust-lang/log ) from 0.4.8 to 0.4.11.
- [Release notes](https://github.com/rust-lang/log/releases )
- [Changelog](https://github.com/rust-lang/log/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-lang/log/compare/0.4.8...0.4.11 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-07-17 23:31:28 +00:00
collin
cc33c68bea
fix field tests, use num_bigint
2020-07-17 12:44:08 -07:00
collin
929ea95fe2
Merge branch 'master' of github.com:AleoHQ/leo into feature/signed-integer-syntax
2020-07-16 20:37:41 -07:00
collin
eb5ab1fbe1
move comparator into leo-gadgets. impl cmp for i types
2020-07-14 18:32:54 -07:00
dependabot-preview[bot]
818ad03317
Bump colored from 1.9.3 to 2.0.0
...
Bumps [colored](https://github.com/mackwic/colored ) from 1.9.3 to 2.0.0.
- [Release notes](https://github.com/mackwic/colored/releases )
- [Changelog](https://github.com/mackwic/colored/blob/master/CHANGELOG.md )
- [Commits](https://github.com/mackwic/colored/compare/v1.9.3...v2.0.0 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-07-14 10:39:50 +00:00
collin
5717d1f1ad
impl addition for i types
2020-07-10 02:07:00 -07:00
collin
192e6ba2dd
add testing framework
2020-07-09 23:48:11 -07:00
collin
b032c2ce45
add signed-integers gadget member to workspace
2020-07-09 22:39:11 -07:00
collin
8ca5f5ce66
use account public key in snarkos dpc
2020-07-06 03:18:20 -07:00
collin
cf4a8772bb
merge lib and imports
2020-07-02 15:53:41 -07:00
Howard Wu
b53c1bb4dc
Merge pull request #95 from AleoHQ/dependabot/cargo/serde_json-1.0.56
...
Bump serde_json from 1.0.55 to 1.0.56
2020-06-30 20:45:42 -07:00
dependabot-preview[bot]
1726cdf77d
Bump serde_json from 1.0.55 to 1.0.56
...
Bumps [serde_json](https://github.com/serde-rs/json ) from 1.0.55 to 1.0.56.
- [Release notes](https://github.com/serde-rs/json/releases )
- [Commits](https://github.com/serde-rs/json/compare/v1.0.55...v1.0.56 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-06-30 10:40:15 +00:00
dependabot-preview[bot]
f9ef5cfb4c
Bump sha2 from 0.9.0 to 0.9.1
...
Bumps [sha2](https://github.com/RustCrypto/hashes ) from 0.9.0 to 0.9.1.
- [Release notes](https://github.com/RustCrypto/hashes/releases )
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.9.0...sha2-v0.9.1 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-06-30 10:39:48 +00:00
collin
45a2664fd9
Merge branch 'feature/lib-and-imports' of github.com:AleoHQ/leo into feature/comparator
2020-06-29 19:52:47 -07:00
Collin Chin
800ad3278e
Merge pull request #81 from AleoHQ/dependabot/cargo/rusty-hook-0.11.2
...
Bump rusty-hook from 0.11.1 to 0.11.2
2020-06-29 14:00:23 -07:00
Collin Chin
84002cf3e7
Merge pull request #82 from AleoHQ/dependabot/cargo/sha2-0.9.0
...
Bump sha2 from 0.8.2 to 0.9.0
2020-06-29 13:56:39 -07:00
dependabot-preview[bot]
18b965583a
Bump rusty-hook from 0.11.1 to 0.11.2
...
Bumps [rusty-hook](https://github.com/swellaby/rusty-hook ) from 0.11.1 to 0.11.2.
- [Release notes](https://github.com/swellaby/rusty-hook/releases )
- [Commits](https://github.com/swellaby/rusty-hook/commits )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-06-29 20:12:50 +00:00
collin
4e4e21a53e
merge master
2020-06-29 12:46:38 -07:00
dependabot-preview[bot]
f061c8ea82
Bump sha2 from 0.8.2 to 0.9.0
...
Bumps [sha2](https://github.com/RustCrypto/hashes ) from 0.8.2 to 0.9.0.
- [Release notes](https://github.com/RustCrypto/hashes/releases )
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.8.2...sha2-v0.9.0 )
Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
2020-06-29 11:09:36 +00:00
Howard Wu
b4cfa64167
Adds ci.yml ( #77 )
...
* Adds ci.yml
* Update ci script
* Update Cargo.toml
* Update to ubuntu-latest
* Update dependencies
* Update git deps with rev
* Update ci script
* Update ci script
* Update ci script
* Update code coverage
* Update code coverage
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI
* Update CI script
* Update CI script
2020-06-27 20:16:38 -07:00
collin
3cf0a5da93
Merge branch 'master' of https://github.com/AleoHQ/language into feature/serialize
2020-06-26 18:44:42 -07:00
howardwu
1781bce5fd
Adds ci.yml
2020-06-26 18:43:29 -07:00
collin
6662b6261f
impl leo publish to zip file
2020-06-26 00:19:40 -07:00
collin
cc8a3d9878
move integer enum and errors into compiler
2020-06-25 14:27:19 -07:00
collin
504480b3d7
serialize program into bytes file
2020-06-24 21:05:11 -07:00
collin
1fafbab5ee
parse integer later in program. derive serde for basic program types
2020-06-24 16:02:20 -07:00
collin
0159b1c0cc
remove print
2020-06-24 12:08:10 -07:00
