ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 12:17:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,501 Commits 53 Branches 44 Tags 331 MiB
80eeacb3c5
Commit Graph

249 Commits

Author SHA1 Message Date
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
Sergey Isaev
3e01f0c5a6 Implement the watch command 2020-08-12 15:44:56 +03: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
Sergey Isaev
5f059eae4b Add dependencies 2020-08-08 21:12:52 +03:00
howardwu
8b435130d2 Adds leo-package module 2020-08-02 21:52:55 -07:00
howardwu
f4f9b30dd2 Rename directory types -> typed 2020-08-02 21:02:25 -07:00
howardwu
c8b82f12a8 Rename directory leo-input -> input 2020-08-02 21:00:23 -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
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
0d5a15cd41 Merge branch 'master' of https://github.com/AleoHQ/leo into feature/typed_ast 2020-07-30 23:51:40 -07:00
howardwu
af37c3bc9e Rename leo-types to leo-typed 2020-07-30 23:33:16 -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
929ea95fe2 Merge branch 'master' of github.com:AleoHQ/leo into feature/signed-integer-syntax 2020-07-16 20:37:41 -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
b032c2ce45 add signed-integers gadget member to workspace 2020-07-09 22:39:11 -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
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
6662b6261f impl leo publish to zip file 2020-06-26 00:19:40 -07:00
howardwu
7a8aaf8166 Improves compilation time by turning off unused features in snarkOS 2020-06-15 21:27:25 -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
e10a1e1be0 merge master 2020-06-08 10:49:31 -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
b9baafd57f Migrates integer, identifier, and input_value 2020-06-07 18:22:59 -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
01cc8e3066 delete benchmark 2020-06-01 17:54:39 -07:00
collin
abb50628a0 deprecate crate failure in favor of thiserror 2020-05-09 15:34:54 -07:00
collin
6919f62d44 impl leo-inputs 2020-05-06 12:57:24 -07:00
howardwu
853faf54f6 Adds verification key output support 2020-05-02 17:38:14 -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
51c52c8676 Updates 2020-04-20 22:12:09 -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
collin
c798635e29 basic program compilation from ast 2020-03-23 15:19:47 -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