Collin Chin
53e5dfbb02
Merge pull request #1853 from AleoHQ/abnf-in-out-exprs
...
[ABNF] Relax input and output expressions.
2022-06-02 11:45:50 -04:00
Collin Chin
6227419653
Merge pull request #1851 from AleoHQ/feature/core-lib
...
[Feature] core lib
2022-06-02 11:45:25 -04:00
collin
27c858a0fc
merge testnet3
2022-06-02 11:33:11 -04:00
collin
85eb1adcce
rename corelib -> core, update readme
2022-06-02 11:22:08 -04:00
Collin Chin
354610169f
Merge pull request #1850 from AleoHQ/issue-1841
...
Lexer: Improve error on `&` not followed by another `&`
2022-06-02 10:01:54 -04:00
Collin Chin
59ffe66363
Merge branch 'testnet3' into issue-1841
2022-06-01 22:51:44 -04: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
gluax
ace7005ea7
fmt
2022-06-01 09:26:18 -07:00
gluax
220cb3e730
rename stdlib -> corelib
2022-06-01 09:09:38 -07:00
gluax
f34f63cea4
update abnf
2022-06-01 08:48:36 -07:00
Alessandro Coglio
9e1dad2b2a
[ABNF] Relax input and output expressions.
...
In input and output files, literals are actually insufficient to represent the
most negative values of the signed integer types.
Given that we are likely to need richer forms of input and output expressions
anyways, at this point it seems best to allow any expression at the grammatical
level, and add static semantic requirements on the allowed expressions. As done
with all the other requirements, these will be stated in the Leo Reference,
formalized in ACL2, and enforced in the Leo compiler.
2022-05-31 19:20:11 -07:00
gluax
c10eb63575
add failing expectation for an invalid input type
2022-05-31 10:36:35 -07:00
gluax
0ce4639a1b
merge upstream, test builtin ident types
2022-05-31 10:34:57 -07: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
Mazdak Farrokhzad
6399f873f5
improve error for '&' not followed by '&'
2022-05-31 16:28:01 +02:00
Mazdak Farrokhzad
c623165742
simplify Token::eat
2022-05-31 16:16:15 +02:00
gluax
1da03e728b
add checks for ident types being allowed built in types
2022-05-30 11:29:00 -07:00
gluax
2db204b81e
further changes to the visitor pattern to clean up code
2022-05-30 10:53:06 -07: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
gluax
044b2a10a4
refa:ctored visitor pattern to better on an the AST
2022-05-26 13:29:51 -07: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
97ef64aa66
trying to modify visitor pattern to better fit type checking
2022-05-26 10:05:04 -07:00
gluax
bc174419f7
start adding the new core types
2022-05-25 16:19:56 -07:00
gluax
4f30e6e896
add ident type back in
2022-05-25 15:56:44 -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
