ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-13 06:43:01 +03:00
Code Issues Packages Projects Releases Wiki Activity
1,591 Commits 49 Branches 43 Tags 377 MiB
74f7f24b19
Commit Graph

39 Commits

Author SHA1 Message Date
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
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