collin
|
b766f96d23
|
add circuit function types
|
2020-05-13 18:51:20 -07:00 |
|
collin
|
7640d27db4
|
pest static functions
|
2020-05-13 18:40:13 -07:00 |
|
collin
|
ad936d76c8
|
Merge branch 'master' into feature/mutability
|
2020-05-13 17:53:59 -07:00 |
|
collin
|
9f1803f6da
|
impl mutable circuit and arrays
|
2020-05-13 17:52:50 -07:00 |
|
collin
|
3b263d7cc9
|
impl mutable variable type
|
2020-05-13 15:19:25 -07:00 |
|
collin
|
87e8e67967
|
variable -> identifier, add pest mutable variable
|
2020-05-13 11:54:40 -07:00 |
|
Collin Chin
|
237f25af69
|
Merge pull request #8 from AleoHQ/feature/circuit-syntax
Feature/circuit syntax
|
2020-05-13 11:11:27 -07:00 |
|
collin
|
310f38e224
|
Merge branch 'master' into feature/circuit-syntax
|
2020-05-13 11:07:46 -07:00 |
|
Collin Chin
|
74b9a27735
|
Merge pull request #7 from AleoHQ/development
Development
|
2020-05-13 11:05:15 -07:00 |
|
collin
|
e41916e128
|
pest variable mutability
|
2020-05-12 21:33:08 -07:00 |
|
collin
|
91d241a5d8
|
change type struct -> circuit
|
2020-05-12 21:14:17 -07:00 |
|
collin
|
5046db8e2c
|
replace struct -> circuit in pest parsing
|
2020-05-12 20:54:32 -07:00 |
|
collin
|
d410dc6d9f
|
fix cli
|
2020-05-12 20:31:12 -07:00 |
|
collin
|
88f850164e
|
rm unused errors
|
2020-05-12 20:23:45 -07:00 |
|
collin
|
c1df2b00b2
|
impl group add, sub
|
2020-05-12 20:20:35 -07:00 |
|
collin
|
162c0064b2
|
add group element errors
|
2020-05-12 20:07:24 -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
|
ab4a9c6058
|
syntax for nested arrays. enforce_eq for nested arrays
|
2020-05-12 13:42:10 -07:00 |
|
collin
|
7422c66d95
|
full support for arrays as inputs
|
2020-05-11 21:31:06 -07:00 |
|
collin
|
75a47c55dd
|
fix struct field validation. make if conditional parenthesis optional
|
2020-05-11 13:18:40 -07:00 |
|
collin
|
daf68d7aee
|
Merge branch 'master' into development
|
2020-05-11 12:08:21 -07:00 |
|
collin
|
abb50628a0
|
deprecate crate failure in favor of thiserror
|
2020-05-09 15:34:54 -07:00 |
|
Howard Wu
|
bd553714e1
|
Merge pull request #6 from AleoHQ/development
Development
|
2020-05-08 19:02:05 -07:00 |
|
collin
|
6ab1ce6e71
|
update readme
|
2020-05-08 16:39:14 -07:00 |
|
collin
|
36018853a7
|
impl compiler error handling
|
2020-05-08 16:35:00 -07:00 |
|
collin
|
dee7b2782e
|
add u16, u64, u128
|
2020-05-06 18:49:12 -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
|
d7167f5b2b
|
fix syntax for _type, struct fields, protected names
|
2020-05-05 18:04:25 -07:00 |
|
collin
|
983cd6675a
|
Merge branch 'development' of https://github.com/AleoHQ/language into development
|
2020-05-05 17:36:21 -07:00 |
|
collin
|
e720409ca3
|
refactor main function parameters
|
2020-05-05 17:36:03 -07:00 |
|
howardwu
|
ebbc6ee014
|
Adds leo input pest grammar
|
2020-05-04 19:34:10 -07:00 |
|
collin
|
d3989c36fd
|
remove comments, update readme
|
2020-05-04 16:52:32 -07:00 |
|
collin
|
10ca30ac93
|
impl pass by value functions
|
2020-05-04 16:42:40 -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
|
7d5a5b71c3
|
Move proving and verification keys to outputs folder
|
2020-05-02 18:11:38 -07:00 |
|
howardwu
|
5f5a3399ac
|
Adds command
|
2020-05-02 18:08:04 -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 |
|
collin
|
b9afcff602
|
u32 assert equal
|
2020-04-30 20:46:59 -07:00 |
|
collin
|
b683e93762
|
impl assert_eq( , )
|
2020-04-30 14:00:30 -07:00 |
|
collin
|
1bfc31c4d5
|
impl field comparator functionality
|
2020-04-30 12:13:23 -07:00 |
|
collin
|
f071764548
|
fix field pow. fix eq vs enforce_eq
|
2020-04-30 11:36:35 -07:00 |
|
collin
|
e5513d7bcf
|
add exponentiation assignment
|
2020-04-30 10:34:49 -07:00 |
|