howardwu
|
b9baafd57f
|
Migrates integer, identifier, and input_value
|
2020-06-07 18:22:59 -07:00 |
|
howardwu
|
a380d83c75
|
Migrate functions
|
2020-06-07 17:22:22 -07:00 |
|
howardwu
|
a72a333877
|
Migrates ast to leo-ast module
|
2020-06-06 23:17:40 -07:00 |
|
collin
|
accfff46e0
|
add test syntax and cli command
|
2020-06-04 17:39:57 -07:00 |
|
collin
|
bd54f367cf
|
impl syntax error handling
|
2020-06-04 15:44:38 -07:00 |
|
collin
|
4657f565f5
|
remove trait parameters from program types
|
2020-06-02 12:33:24 -07:00 |
|
collin
|
674f0dc83d
|
remove Field trait parameter from InputValue
|
2020-06-02 12:15:55 -07:00 |
|
collin
|
8852c17857
|
simplify GroupType trait parameters
|
2020-06-01 17:52:33 -07:00 |
|
collin
|
31ec24670c
|
add groupType to compiler
|
2020-05-29 16:43:39 -07:00 |
|
collin
|
19f6e64c48
|
remove snarkos group trait from compiler
|
2020-05-29 15:55:57 -07:00 |
|
collin
|
a9a8cb95c6
|
impl mutability tests. simplify mut expression evaluation
|
2020-05-19 12:01:19 -07:00 |
|
howardwu
|
33f518d1d4
|
Fixes 'leo build' to compile programs again. Updates tests to run on new model
|
2020-05-16 22:05:26 -07:00 |
|
collin
|
6efc834948
|
impl group element values
|
2020-05-12 20:01:47 -07:00 |
|
howardwu
|
7e36d2b5fa
|
Standardize generic F and G order convention
|
2020-05-12 19:24:57 -07:00 |
|
collin
|
97272fa9d7
|
wip groups
|
2020-05-12 19:07:15 -07:00 |
|
collin
|
36018853a7
|
impl compiler error handling
|
2020-05-08 16:35:00 -07:00 |
|
collin
|
73e431e9eb
|
refactor integer module, add uint8 type
|
2020-05-06 17:22:00 -07:00 |
|
collin
|
dcd484a62f
|
fix imports
|
2020-05-05 18:43:31 -07:00 |
|
collin
|
e720409ca3
|
refactor main function parameters
|
2020-05-05 17:36:03 -07:00 |
|
collin
|
98a7d0bdf6
|
impl 0, 1 or more return arg
|
2020-05-04 11:40:29 -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 |
|
collin
|
fa4f786f22
|
impl let statements
|
2020-05-02 19:03:50 -07:00 |
|
howardwu
|
5f5a3399ac
|
Adds command
|
2020-05-02 18:08:04 -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 |
|
collin
|
f69032c833
|
impl if else conditional statements
|
2020-04-27 14:36:05 -07:00 |
|
howardwu
|
d115870815
|
Moves compiler.rs to leo-compiler module
|
2020-04-26 22:37:08 -07:00 |
|