ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 03:33:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
4,313 Commits 54 Branches 46 Tags 340 MiB
354974726c
Commit Graph

4313 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alessandro Coglio
354974726c [ABNF] Add string type. 2022-06-01 20:39:27 -07:00
Collin Chin
5d85b26838
Merge pull request #1842 from AleoHQ/string-type 
String type
 2022-06-01 22:50:46 -04:00
gluax
9638a695aa fix more bugs, add type checking 2022-06-01 11:16:00 -07:00
collin
3b62e3cc97 fix bugs 2022-06-01 13:49:55 -04:00
Collin Chin
c76dd47dd6
Merge pull request #1849 from AleoHQ/dependabot/cargo/testnet3/indexmap-1.8.2 
Bump indexmap from 1.8.1 to 1.8.2
 2022-05-31 12:17:35 -04:00
Collin Chin
e3eceef513
Merge pull request #1848 from AleoHQ/abnf-remove-unused-rule 
[ABNF] Remove unused rule
 2022-05-31 12:17:22 -04:00
dependabot[bot]
0604d462ed
Bump indexmap from 1.8.1 to 1.8.2 
Bumps [indexmap](https://github.com/bluss/indexmap) from 1.8.1 to 1.8.2.
- [Release notes](https://github.com/bluss/indexmap/releases)
- [Changelog](https://github.com/bluss/indexmap/blob/1.8.2/RELEASES.rst)
- [Commits](https://github.com/bluss/indexmap/compare/1.8.1...1.8.2)

---
updated-dependencies:
- dependency-name: indexmap
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
 2022-05-30 10:21:34 +00:00
Alessandro Coglio
66e84ba689 [ABNF] Minor README fixes and improvements. 2022-05-28 18:47:27 -07:00
Alessandro Coglio
2cdcdb479d [ABNF] Simplify .gitattribute file. 
No need to reference a file that's no longer here.
 2022-05-28 18:35:03 -07:00
Alessandro Coglio
b16f9ae31e [ABNF] Remove unused rule. 
Since character literals were removed, the rule `not-single-quote-or-backslash`
is no longer needed.
 2022-05-28 18:31:02 -07:00
collin
a230bd1477 remove char 2022-05-26 16:53:57 -04:00
collin
3de06095ed cargo fmt 2022-05-26 16:48:34 -04:00
collin
2327bca617 implement static string type 2022-05-26 16:43:18 -04:00
collin
4d7540501f add string type to tokenizer + lexer 2022-05-26 16:13:03 -04:00
collin
84c0a82008 add string type to tokenizer + lexer 2022-05-26 15:55:37 -04:00
Collin Chin
d43605538d
Merge pull request #1837 from AleoHQ/type-checking-bug-fixes 
[Fix] Type checking bug fixes
 2022-05-26 14:28:39 -04:00
gluax
94d96f156f fix span for group scalar errors, use suggested doc comment 2022-05-26 10:09:34 -07:00
gluax
2117ee3ae8 resolve readme conflict 2022-05-25 11:55:23 -07:00
Collin Chin
c4b15ec17b
Merge pull request #1836 from AleoHQ/abnf-output-grammar 
[ABNF] Add initial output grammar.
 2022-05-25 14:49:36 -04:00
collin
dc08403899 remove readme 2022-05-25 14:40:06 -04:00
Collin Chin
ecb7e968d9
Merge pull request #1835 from AleoHQ/parser-tweaks 
Misc parser tweaks
 2022-05-25 14:38:19 -04:00
collin
e34c35f1b0 merge testnet3 2022-05-25 14:28:03 -04:00
Collin Chin
a6dd490a98
Merge pull request #1827 from AleoHQ/issue-1824 
Remove 'char' type + literals
 2022-05-25 14:24:21 -04:00
collin
65408acbb5 fix lexer test 2022-05-25 14:10:15 -04:00
collin
8d79193474 merge testnet3 2022-05-25 14:02:10 -04:00
gluax
936360793c slight clean up & handle grammar readme 2022-05-25 10:45:25 -07:00
gluax
c9612625d1 regenerate readme after pulling upstream 2022-05-25 09:24:02 -07:00
gluax
a0abb01abd regenerate readme 2022-05-25 09:22:32 -07:00
gluax
8cb4b19e66 merge upstream changes 2022-05-25 09:21:47 -07:00
Collin Chin
0bf4a923a2
Merge pull request #1834 from AleoHQ/docs/test-framework-doc-updates 
[Docs] update test framework docs
 2022-05-25 11:55:21 -04:00
Collin Chin
708c869d61
Merge pull request #1801 from AleoHQ/scalar-type 
Scalar type
 2022-05-25 11:54:05 -04:00
Alessandro Coglio
b26ed8e2ef [ABNF] Add initial output grammar. 
This is for the current simplified version of Leo. When the main function is
executed, it returns a value. According to this grammar, the output (i.e.
`.out`) file contains a single literal, which describes the output value,
preceded by an `[output]` title. This may be extended in the future.
 2022-05-24 23:05:14 -07:00
collin
4bc2fb10f4 cargo fmt 2022-05-24 13:39:08 -04:00
Collin Chin
c10e305366
Update type_.rs 2022-05-24 13:24:36 -04:00
collin
3979061632 merge testnet3 2022-05-24 12:52:19 -04:00
collin
38d701851d clean up match 2022-05-24 12:49:38 -04:00
collin
637ab9c0b6 update test readme 2022-05-24 12:45:11 -04:00
collin
c62f876765 type checker clean up and add docs 2022-05-24 12:11:55 -04:00
Collin Chin
944c5dcdd8
Update value.rs 2022-05-24 11:27:28 -04:00
Mazdak Farrokhzad
620b3525d4 misc parser tweaks 2022-05-24 16:48:58 +02:00
Mazdak Farrokhzad
0883126fef char removal: update ABNF + adjust examples 2022-05-24 15:51:58 +02:00
gluax
ca3fb11bc3 fmt fix 2022-05-23 19:01:07 -07:00
gluax
019598c84e #1805 was fixed by a previous commit 2022-05-23 18:57:14 -07:00
gluax
1cd7aad6ad fix #1819 2022-05-23 18:55:42 -07:00
gluax
65d237e25f fix last error double printing for error collection 2022-05-23 18:14:36 -07:00
gluax
ba4f1666d1 fix #1821 2022-05-23 18:00:33 -07:00
gluax
eee58883a6 clean up and fix type set checking 2022-05-23 11:07:43 -07:00
Collin Chin
bafb4b85e8
Merge pull request #1833 from AleoHQ/dependabot/cargo/testnet3/regex-1.5.6 
Bump regex from 1.5.5 to 1.5.6
 2022-05-23 13:47:33 -04:00
Collin Chin
082f6e1c48
Merge pull request #1832 from AleoHQ/abnf-input-titles 
[ABNF] Refine the rule for input titles.
 2022-05-23 12:57:01 -04:00
gluax
848868a05a make suggested changes fix tests 2022-05-23 09:37:04 -07:00