ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-28 09:02:58 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,843 Commits 53 Branches 44 Tags 331 MiB
3200a9cea1
Commit Graph

260 Commits

Author SHA1 Message Date
collin
c8682d2a07 update cargo.toml 2020-08-13 11:04:35 -07:00
collin
32c92d710d fix conflicts 2020-08-13 01:38:56 -07:00
dependabot-preview[bot]
813ee23592
Bump snarkos-dpc from 793ff39 to a0d7afb 
Bumps [snarkos-dpc](https://github.com/AleoHQ/snarkOS) from `793ff39` to `a0d7afb`.
- [Release notes](https://github.com/AleoHQ/snarkOS/releases)
- [Commits](793ff39c37...a0d7afb439)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-08-13 05:17:47 +00:00
Howard Wu
61579d5267
Merge branch 'master' into dependabot/cargo/serde-1.0.115 2020-08-12 22:16:06 -07:00
collin
3018262304 update cargo lock 2020-08-12 19:56:14 -07:00
collin
cc3136193e update cargo lock 2020-08-12 19:45:19 -07:00
dependabot-preview[bot]
c9d382dbeb
Bump clap from 2.33.1 to 2.33.2 
Bumps [clap](https://github.com/clap-rs/clap) from 2.33.1 to 2.33.2.
- [Release notes](https://github.com/clap-rs/clap/releases)
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md)
- [Commits](https://github.com/clap-rs/clap/commits)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-08-12 23:17:35 +00:00
dependabot-preview[bot]
73a5c9cdea
Bump serde from 1.0.114 to 1.0.115 
Bumps [serde](https://github.com/serde-rs/serde) from 1.0.114 to 1.0.115.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.114...v1.0.115)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 2020-08-12 23:17:28 +00:00
collin
89d76688d7 add leo-state module 2020-08-11 23:51:56 -07:00
Collin Chin
8546c67dff
Merge branch 'master' into feature/serialize-circuit 2020-08-11 11:36:03 -07:00
collin
a96eb5ad19 serialize circuit to json 2020-08-10 11:46:45 -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)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 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)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 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)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>
 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
collin
c2862c7a0c add formatting for cli errors 2020-06-22 23:20:55 -07:00
collin
1dc79ef604 add unique namespaces to function calls 2020-06-22 15:42:46 -07:00
collin
837a006e51 move error struct to types. fix integer namespaces 2020-06-20 15:24:46 -07:00
collin
4d1bf9071c add span to input values 2020-06-16 19:13:11 -07:00
collin
1e0903c32b merge master, update readme 2020-06-16 12:25:42 -07:00
Howard Wu
fa38fb0bd3
Merge branch 'master' into feature/default 2020-06-16 00:24:54 -07:00
howardwu
9474f76512 Resolve merge conflict 2020-06-15 22:13:43 -07:00
howardwu
7a8aaf8166 Improves compilation time by turning off unused features in snarkOS 2020-06-15 21:27:25 -07:00
collin
cc39e8241e Merge branch 'master' of https://github.com/AleoHQ/language 2020-06-15 11:11:56 -07:00
collin
8ff4ddafb2 remove CS trait from program struct 2020-06-15 11:11:35 -07:00
howardwu
5afe541b3e Adds .github 2020-06-13 17:59:35 -07:00
collin
643cd3026e initial private boolean input support 2020-06-09 16:36:15 -07:00
collin
eeb438ed19 Merge branch 'master' of https://github.com/AleoHQ/language into feature/leo-inputs 2020-06-09 12:14:43 -07:00
collin
834055abf5 use include_bytes for boolean test 2020-06-08 17:28:09 -07:00
collin
8846f62c8f add parser 2020-06-08 12:24:41 -07:00
collin
e10a1e1be0 merge master 2020-06-08 10:49:31 -07:00
howardwu
cdc4e9bdbb Update travis.yml 2020-06-07 23:59:37 -07:00
howardwu
79bea057b3 Remove unused dependencies, add profiles 2020-06-07 23:01:57 -07:00
howardwu
653f0de69f Update dependencies 2020-06-07 22:43:53 -07:00
howardwu
85ccf1b423 Introduces LeoParser, removes pest for leo-compiler 2020-06-07 22:21:31 -07:00
howardwu
b9baafd57f Migrates integer, identifier, and input_value 2020-06-07 18:22:59 -07:00
howardwu
3286eac221 Removes unused imports and reorders toml in leo-compiler 2020-06-06 23:26:48 -07:00
howardwu
7f566782e3 Refactors SyntaxError to leo-ast 2020-06-06 23:23:26 -07:00
howardwu
a72a333877 Migrates ast to leo-ast module 2020-06-06 23:17:40 -07:00
collin
3e21184631 use snarkos master 2020-06-04 22:53:52 -07:00
collin
ab6ed9cfe6 use new integers path 2020-06-04 13:35:12 -07:00
collin
887e374e28 remove extra dependency and rename error 2020-06-01 18:05:24 -07:00
collin
01cc8e3066 delete benchmark 2020-06-01 17:54:39 -07:00
collin
8852c17857 simplify GroupType trait parameters 2020-06-01 17:52:33 -07:00
collin
5c005c4b8f pest implicit number type 2020-05-15 12:51:08 -07:00
collin
abb50628a0 deprecate crate failure in favor of thiserror 2020-05-09 15:34:54 -07:00
collin
36018853a7 impl compiler error handling 2020-05-08 16:35:00 -07:00
collin
6919f62d44 impl leo-inputs 2020-05-06 12:57:24 -07:00
collin
10ca30ac93 impl pass by value functions 2020-05-04 16:42:40 -07:00
collin
b091d6c63b fix conflicts 2020-05-04 10:33:03 -07:00
howardwu
1350834bcd Implements caching of builds and setups for reusable work 2020-05-02 20:10:22 -07:00
howardwu
853faf54f6 Adds verification key output support 2020-05-02 17:38:14 -07:00
howardwu
f86c9d8076 Adds proving key file 2020-05-02 17:28:20 -07:00
howardwu
219f90cb17 Adds starter integration tests for u32 2020-05-01 22:10:40 -07:00
howardwu
d115870815 Moves compiler.rs to leo-compiler module 2020-04-26 22:37:08 -07:00
howardwu
026b59a67a Rename program to compiler 2020-04-26 22:34:15 -07:00
howardwu
18768bbec7 Adds command 2020-04-25 01:47:10 -07:00
howardwu
8c5be763ff Compiler wip 2020-04-23 23:57:05 -07:00
howardwu
0a49dd1ec3 Adds compiler module 2020-04-23 18:52:43 -07:00
howardwu
1ec03fdb09 Migrate to workspace 2020-04-23 18:33:43 -07:00
howardwu
a42d9eeb10 Updates Cargo.toml 2020-04-20 21:34:15 -07:00
collin
c4f233e142 add constraints and snark functions 2020-03-31 13:47:51 -07:00
howardwu
a143322f53 Working parser 2020-03-13 10:02:39 -07:00
howardwu
078db23fa6 AST WIP 2020-03-11 14:56:54 -07:00
howardwu
bc4c60712b Initial commit 2020-03-09 20:55:41 -07:00