ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-18 07:11:53 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,881 Commits 53 Branches 46 Tags 339 MiB
f36d9b960f
Commit Graph

72 Commits

Author SHA1 Message Date
gluax
1c57eb4196 input string syntax 2021-05-22 17:57:05 -04:00
gluax
efc83205f2 string parsing leverages eat_char 2021-05-22 15:53:30 -04:00
gluax
329b330c15 merge remote 2021-05-22 10:47:08 -04:00
gluax
ddbdd485d2 Revert "change pest according to suggestion fixes it" 
This reverts commit c8e63a21d6.
 2021-05-22 10:41:54 -04:00
gluax
c8e63a21d6 change pest according to suggestion fixes it 2021-05-20 20:10:00 -04:00
gluax
0435b7ce83 remove octal, fix ascii hex 2021-05-14 13:07:54 -04:00
gluax
733bc90bbe chars done, should merge in compiler tests 2021-05-13 17:25:33 -04:00
gluax
29cd920075 input, output and compiler tests 2021-05-13 07:16:59 -04:00
gluax
0ef7ca3d8e just need to fix input file parsing for chars to work 2021-05-12 18:56:27 -04:00
gluax
819fc9087f char type added to ast and asg 2021-05-12 08:39:55 -04:00
howardwu
4eac040178 chore(leo): bump version for new release 2021-04-15 13:49:42 -07:00
howardwu
62ee4c3b8b chore(leo): bump version for new release 2021-04-09 14:08:52 -07:00
collin
1e69d1c68e allow clippy::upper_case_acroynms for imported pest structs 2021-03-25 14:03:22 -07:00
damirka
15906bd4d2 updates following @collinc97 review 2021-03-12 12:35:17 +03:00
damirka
1551a82e18 Adds [constants] section to input file: 
```
[constants]
x: bool = true; // will be constant in program
y: u32 = 100;
```
 2021-03-11 23:07:01 +03:00
damirka
47e4d23ab1 staging commit with const input syntax and constants processing 2021-03-11 19:05:08 +03:00
Protryon
d400764e00 parser rewrite 2021-03-03 09:59:24 -08:00
howardwu
77a0af18fe chore(leo): bump version for new release 2021-02-26 19:42:35 -08:00
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