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 |
|