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 |
|
collin
|
1fd3e946f8
|
use compound atomic rules in pest, update tests
|
2020-08-05 18:13:50 -07:00 |
|
collin
|
06a25a2d67
|
add updated values to typed
|
2020-08-05 16:26:25 -07:00 |
|
collin
|
648acb7fe3
|
add updated values to inputs
|
2020-08-05 14:36:37 -07:00 |
|
howardwu
|
c8b82f12a8
|
Rename directory leo-input -> input
|
2020-08-02 21:00:23 -07:00 |
|