howardwu
|
777a67fb40
|
Adds README.md
|
2021-02-10 22:27:37 -08:00 |
|
howardwu
|
55db999a9e
|
Adds LICENSE.md
|
2021-02-10 22:23:45 -08:00 |
|
howardwu
|
1898cc6840
|
chore(leo): bump version for new release
|
2021-02-07 08:14:56 -08:00 |
|
howardwu
|
90fc6a9c12
|
chore(leo): bump version for new release
|
2021-02-03 13:34:03 -08:00 |
|
howardwu
|
0d907bbb26
|
chore(leo): bump version for new release
|
2021-02-03 12:36:17 -08:00 |
|
howardwu
|
c935d6a486
|
Update license to 2021
|
2021-02-01 20:26:56 -08:00 |
|
collin
|
7767bb049c
|
cargo +nightly clippy
|
2021-01-19 12:43:09 -05:00 |
|
howardwu
|
1a36a262b8
|
chore(leo): bump version for new release
|
2021-01-12 17:03:16 -04:00 |
|
howardwu
|
b65c6f7ba5
|
Removes snarkos-gadgets from leo-input
|
2020-12-20 10:32:07 -04:00 |
|
howardwu
|
2ac7426e02
|
Removes snarkos-curves from leo-input
|
2020-12-20 10:30:52 -04:00 |
|
howardwu
|
72839e8f98
|
Removes snarkos-models from leo-input
|
2020-12-20 10:29:03 -04:00 |
|
howardwu
|
88564caf4e
|
Removes snarkos-errors from leo-input
|
2020-12-20 10:27:16 -04:00 |
|
howardwu
|
d65d8dbd57
|
Remove snarkos-algorithms from leo-input
|
2020-12-20 10:26:04 -04:00 |
|
howardwu
|
9038c5a17a
|
chore(leo): bump version for new release
|
2020-12-14 13:57:01 -04:00 |
|
howardwu
|
dbae691e49
|
chore(leo): bump version for new release
|
2020-12-03 16:16:42 -04:00 |
|
howardwu
|
74f7f24b19
|
chore(leo): bump version for new release
|
2020-12-01 22:57:11 -04:00 |
|
collin
|
37944ed571
|
fix input tuple grammar rule
|
2020-11-16 15:42:13 -08:00 |
|
collin
|
05a83950e5
|
bump versions fix conflicts
|
2020-11-11 12:04:48 -08:00 |
|
howardwu
|
0d966d1d5c
|
chore(leo): bump version for new release
|
2020-11-06 19:56:12 -08:00 |
|
collin
|
6f3a235c76
|
Refactor symbol table array type comparison
|
2020-11-02 13:28:56 -08:00 |
|
ljedrz
|
64774cdab6
|
refactor: accept &Path instead of PathBuf where sufficient
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2020-10-16 17:09:44 +02:00 |
|
ljedrz
|
f59416be1b
|
refactor: pass &Path instead of &PathBuf as arguments
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2020-10-16 16:18:46 +02:00 |
|
ljedrz
|
69d35063f2
|
perf: use .to_string() instead of single-param format!
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2020-10-16 15:52:45 +02:00 |
|
ljedrz
|
529d87bc88
|
perf: remove some generic unnecessary allocations
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2020-10-16 15:52:45 +02:00 |
|
ljedrz
|
919c1dcada
|
clippy: fix single_match
Signed-off-by: ljedrz <ljedrz@gmail.com>
|
2020-10-06 12:50:43 +02:00 |
|
collin
|
4932eb688e
|
support all combinations of nested and tuple array syntax. Test small and large arrays
|
2020-09-03 13:22:05 -07:00 |
|
collin
|
b6dc77e112
|
support nested array type in leo inputs
|
2020-09-03 11:24:23 -07:00 |
|
howardwu
|
2620ae7bc2
|
chore(leo): bump version for new release
|
2020-09-03 03:08:33 -07:00 |
|
collin
|
60db15596d
|
fix parser syntax errors. fix tests
|
2020-09-02 23:23:50 -07:00 |
|
collin
|
0bb8c42731
|
fix input file errors
|
2020-09-02 22:59:54 -07:00 |
|
collin
|
91350a2ffe
|
impl parenthesis syntax for input array initializer
|
2020-09-02 15:47:05 -07:00 |
|
collin
|
77e2d55765
|
fix input array type parsing bug
|
2020-09-02 10:58:10 -07:00 |
|
collin
|
a4b0fb1a49
|
impl array-type for inputs in typed
|
2020-09-02 10:24:53 -07:00 |
|
collin
|
024618da9b
|
impl array-type in input
|
2020-09-02 09:55:32 -07:00 |
|
howardwu
|
bf82bf4d1b
|
chore(leo): bump version for new release
|
2020-08-28 23:26:19 -07:00 |
|
howardwu
|
12971b9cbb
|
Update Cargo.toml
|
2020-08-27 01:33:00 -07:00 |
|
howardwu
|
cc183475ee
|
Update logging with custom formatter
|
2020-08-27 00:55:29 -07:00 |
|
howardwu
|
c07958e292
|
Clean up Cargo.toml
|
2020-08-21 05:09:48 -07:00 |
|
howardwu
|
b6238470cc
|
Update Cargo.toml
|
2020-08-21 03:07:15 -07:00 |
|
howardwu
|
4da4fc4344
|
Update cargo.toml
|
2020-08-21 02:54:04 -07:00 |
|
howardwu
|
0405ff4f89
|
Bump version and repair Leo update description
|
2020-08-19 03:00:30 -07:00 |
|
collin
|
6df9a58d00
|
add group number syntax to input ast
|
2020-08-18 12:54:11 -07:00 |
|
raychu86
|
ae10a78eb5
|
Add license header
|
2020-08-18 03:50:26 -07:00 |
|
collin
|
172431c222
|
impl new group notation for inputs ast + typed
|
2020-08-15 16:45:43 -07:00 |
|
collin
|
79b13138ff
|
add restriction
|
2020-08-15 01:58:33 -07:00 |
|
collin
|
24df4ae57a
|
allow integers. do not allow field or group equality or comparison
|
2020-08-13 12:11:56 -07:00 |
|
collin
|
bea47246a6
|
Merge branch 'fix/group-type' of github.com:AleoHQ/leo into feature/tuple
|
2020-08-13 11:46:19 -07:00 |
|
collin
|
d1eddcf4db
|
fix input group value and add test
|
2020-08-13 11:37:48 -07:00 |
|
collin
|
0b9bc8001d
|
fix tuple edge cases
|
2020-08-11 11:17:39 -07:00 |
|
collin
|
74248f936b
|
impl tuples for inputs
|
2020-08-10 22:02:03 -07:00 |
|