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
