collin
dc9063de5a
update snarkvm rev
2022-07-06 14:47:52 -07:00
dependabot[bot]
c272180a9e
Bump regex from 1.5.6 to 1.6.0
...
Bumps [regex](https://github.com/rust-lang/regex ) from 1.5.6 to 1.6.0.
- [Release notes](https://github.com/rust-lang/regex/releases )
- [Changelog](https://github.com/rust-lang/regex/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-lang/regex/compare/1.5.6...1.6.0 )
---
updated-dependencies:
- dependency-name: regex
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-06 10:21:03 +00:00
collin
de178522d8
impl Display for BinaryOperation, improve error message
2022-07-05 16:42:36 -07:00
collin
c16a93ab44
removes <, <=, >, >= for address type
2022-07-02 18:15:18 -07:00
Collin Chin
034ed8cbeb
Merge pull request #1907 from AleoHQ/dependabot/cargo/testnet3/clap-3.2.8
...
Bump clap from 3.2.6 to 3.2.8
2022-07-02 17:15:58 -07:00
collin
0a4069fe39
merge testnet3
2022-07-02 14:08:02 -07:00
collin
07288e4662
update licenses
2022-07-02 13:47:53 -07:00
dependabot[bot]
4d53804e79
Bump clap from 3.2.6 to 3.2.8
...
Bumps [clap](https://github.com/clap-rs/clap ) from 3.2.6 to 3.2.8.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.6...v3.2.8 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-07-01 10:26:21 +00:00
Mazdak Farrokhzad
952d7f4e36
records: base them atop circuits instead
2022-06-30 15:37:18 +02:00
collin
1cb4afe5f9
impl record type tests
2022-06-27 16:59:06 -10:00
collin
90aae40138
regen tests
2022-06-27 12:51:24 -10:00
collin
5ee2858b0a
add tests and remove dead code
2022-06-22 22:38:33 -10:00
collin
7417496eee
merge testnet3
2022-06-22 21:42:00 -10:00
collin
4a80445bd8
test hashing u128 with ped64 fails
2022-06-22 21:29:04 -10:00
collin
4400545543
add all core circuit tests
2022-06-22 21:19:26 -10:00
collin
df908345bc
add circuit variable access and type check
2022-06-22 15:49:50 -10:00
dependabot[bot]
c2d81ca6e0
Bump clap from 3.2.5 to 3.2.6
...
Bumps [clap](https://github.com/clap-rs/clap ) from 3.2.5 to 3.2.6.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.2.5...v3.2.6 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-06-22 10:15:16 +00:00
Mazdak Farrokhzad
01e4b292cf
cleanup unused expecations
2022-06-21 17:23:30 +02:00
Mazdak Farrokhzad
7226659bf6
Value -> Literal
2022-06-21 17:12:34 +02:00
Mazdak Farrokhzad
ddbf2ae849
1. Speed up string literal lexing.
...
2. Move address check to parser.
3. Move assignment place WF check to type checker.
2022-06-21 17:07:44 +02:00
collin
bfd3a37a42
merge testnet3
2022-06-20 12:34:33 -07:00
0rphon
34a408ea41
sqrt tests
2022-06-16 16:56:00 -07:00
0rphon
b03c890dd2
syntactical operator tests
2022-06-16 16:45:37 -07:00
gluax
c9ab4bd3d7
add bitwise op parsing, fix tests
2022-06-16 15:40:48 -07:00
0rphon
94b506cf3f
fixed tests
2022-06-16 13:22:32 -07:00
0rphon
66286ca88e
more tests
2022-06-16 13:07:40 -07:00
0rphon
1cc47e9d08
more tests
2022-06-16 12:53:53 -07:00
gluax
b656fd5347
fix type checking on certain bitwise operations
2022-06-16 12:49:41 -07:00
0rphon
ed9ca4d6d8
added some tests
2022-06-16 12:06:46 -07:00
collin
b9f8bafc91
pull latest testnet3
2022-06-15 16:52:49 -07:00
0rphon
c54cf17ce1
resolve conflicts
2022-06-15 16:34:57 -07:00
0rphon
0daffb267b
reverted filename path
2022-06-15 16:19:20 -07:00
0rphon
4d07cd4722
clippy
2022-06-15 16:10:49 -07:00
0rphon
d0cfa983b5
fixed bug
2022-06-15 16:06:26 -07:00
collin
b2890f393a
merge testnet3
2022-06-15 10:23:01 -07:00
collin
007d1d0265
merge testnet3
2022-06-15 10:19:33 -07:00
Mazdak Farrokhzad
eee838abba
fixes in special methods parsing
2022-06-15 14:51:44 +02:00
collin
0e59e9bcf9
fix cmp type checking
2022-06-14 10:55:59 -07:00
dependabot[bot]
6cb1f0b940
Bump clap from 3.1.18 to 3.2.1
...
Bumps [clap](https://github.com/clap-rs/clap ) from 3.1.18 to 3.2.1.
- [Release notes](https://github.com/clap-rs/clap/releases )
- [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md )
- [Commits](https://github.com/clap-rs/clap/compare/v3.1.18...clap_complete-v3.2.1 )
---
updated-dependencies:
- dependency-name: clap
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
2022-06-14 10:33:33 +00:00
collin
831e011f42
use more clear type checking methods
2022-06-13 14:53:01 -07:00
0rphon
a738ae67a0
fixed expectation pathing
2022-06-13 11:32:35 -07:00
gluax
274dd461cd
some more suggested changes
2022-06-13 09:55:42 -07:00
gluax
2c9a91552c
Merge branch 'testnet3' of github.com:AleoHQ/leo into feature/compiler-benchmarking
2022-06-12 09:26:30 -07:00
gluax
3a056220ff
doing some recommended changes
2022-06-12 09:26:14 -07:00
collin
4e3ed8d4dc
regen tests
2022-06-10 13:02:16 -07:00
gluax
36440719fb
resolve merge conflicts
2022-06-09 12:46:59 -07:00
gluax
ba7aef7f1e
merge conflicts fix
2022-06-09 12:35:26 -07:00
gluax
4607f2955a
add some more checks and namespaces for benchmarks, docs
2022-06-09 12:23:57 -07:00
gluax
267ab16810
fix benchmark symbol table, some more clean up
2022-06-09 11:43:10 -07:00
0rphon
32d07583c5
integrated benches to test-framework
2022-06-08 15:33:12 -07:00
gluax
5ce5102a37
the rest of the test-framework rework and clean up start
2022-06-08 14:06:25 -07:00
gluax
8972674dec
test-framework rework and clean up start
2022-06-08 13:44:40 -07:00
gluax
5129276a4b
some compiler lib cleanup
2022-06-08 10:50:23 -07:00
gluax
f6990e75fc
fixed some bugs
2022-06-08 06:46:54 -07:00
0rphon
0af9622cd9
replaced structopt with clap
2022-06-06 11:00:08 -07:00
gluax
8ad69944c0
bug fixes
2022-06-02 09:39:49 -07:00
gluax
af0e0da6b7
add tests for known bugs
2022-06-02 09:37:55 -07: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
59ffe66363
Merge branch 'testnet3' into issue-1841
2022-06-01 22:51:44 -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
220cb3e730
rename stdlib -> corelib
2022-06-01 09:09:38 -07:00
gluax
f34f63cea4
update abnf
2022-06-01 08:48:36 -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
Mazdak Farrokhzad
6399f873f5
improve error for '&' not followed by '&'
2022-05-31 16:28:01 +02:00
gluax
2db204b81e
further changes to the visitor pattern to clean up code
2022-05-30 10:53:06 -07: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
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
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
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
637ab9c0b6
update test readme
2022-05-24 12:45:11 -04: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
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
gluax
848868a05a
make suggested changes fix tests
2022-05-23 09:37:04 -07:00
gluax
ff46c98b9e
update test framework docs
2022-05-23 08:22:11 -07:00
collin
b8780e888d
merge testnet3
2022-05-20 10:39:21 -04:00
Alessandro Coglio
560ea590a9
[tests] Change category of the 0x tests
2022-05-19 20:31:05 -07:00
collin
119c191836
merge testnet3
2022-05-18 14:29:54 -04:00
Collin Chin
4ce11080b5
Merge pull request #1825 from AleoHQ/fix-loop-end-inclusive
...
[parser] Fix to disallow inclusive loop ending bound.
2022-05-18 14:17:32 -04:00
Mazdak Farrokhzad
882f2e5454
remove char type + literals
2022-05-18 14:33:04 +02:00
Collin Chin
416d8d5ad9
fix nit
2022-05-17 11:36:04 -04:00
Mazdak Farrokhzad
7f435eba48
remove expression statements
2022-05-17 14:41:30 +02:00
Alessandro Coglio
1761b80578
[parser] Fix to disallow including loop ending bound.
...
This is not part of the current version of Leo (cf. ABNF grammar and Leo
Reference).
Adapt tests.
2022-05-16 21:24:42 -07:00
Alessandro Coglio
dcf029e645
[tests] Remove unused parser errors.
...
Also revise expectations. The changes look extensive in the diff, but only the
error codes have changed (at least, that's the expectation, and this has been
visually checked in some places of the diff).
2022-05-16 10:34:27 -07:00
0rphon
38fa7a9608
added more tests/generated expectations for the ones that pass
2022-05-15 21:53:28 -07:00
0rphon
92cac97a84
added scalar tests
2022-05-14 20:27:08 -07:00
Alessandro Coglio
21616fe167
[parser] Remove the input keyword.
...
This is also not in the current grammar, and it does not look like it is going
to be re-added.
2022-05-13 23:50:33 -07:00
Alessandro Coglio
2fbaf759db
[parser] Remove mut and type keywords.
...
As discussed, these are no longer in the grammar. If and when we need them, we
will re-add them.
This also removes some extra code that gives a specific error when mut is
used. However, that is in fact another bug, because `mut` is a valid identifier
in the current grammar, and thus this extra code unjustly rejects code that uses
`mut` as an identifier.
Adjust some tests and expectations.
2022-05-13 23:36:08 -07:00
collin
f6aa7a578a
merge testnet3
2022-05-13 12:33:35 -07:00
Collin Chin
0e24e670bb
Merge pull request #1816 from AleoHQ/test-comment-into-yaml
...
[tests] move comment from body to yaml header
2022-05-13 09:48:50 -07:00
Collin Chin
f4e241efad
Merge pull request #1815 from AleoHQ/int-pow-tests
...
[tests] make integer pow tests consistent
2022-05-13 09:44:52 -07:00
Collin Chin
98cd7e91aa
Merge pull request #1813 from AleoHQ/move-field-test
...
[tests] Move failing test to new fail.
2022-05-13 09:41:59 -07:00
Collin Chin
21b295fafe
Merge pull request #1810 from AleoHQ/group-x_and_y
...
[tests] fix (x,y)group test
2022-05-13 09:41:45 -07:00
Collin Chin
baddfcc076
Merge pull request #1808 from AleoHQ/fix-implicit-literal-tests
...
[tests] Fix format and expectation of a test.
2022-05-13 09:41:30 -07:00
Eric McCarthy
c3f59bbb66
[tests] move comment from body to yaml header
2022-05-13 00:10:39 -07:00
Eric McCarthy
e3c3b6d79a
[tests] make integer pow tests consistent
2022-05-12 23:20:35 -07:00
Alessandro Coglio
f502b9c5e9
[tests] Move failing test to new fail.
...
Instead of commenting out this failing test, it seem better to add to a new file
for failing tests. If and when we change Leo to accept field literals in hex, we
can move the test from the Fail file to the Pass fail.
This also helps the ACL2 tester, which is currently not handling comment-out
tests of this form.
2022-05-12 14:04:22 -07:00
collin
bacc0d7510
merge testnet3
2022-05-12 13:18:43 -07:00
Eric McCarthy
27991a6423
[tests] add expectation for group/x_and_y.leo
2022-05-12 10:57:52 -07:00
Eric McCarthy
b08ab82cbc
[tests] fix (x,y)group test
2022-05-12 10:41:57 -07:00
Mazdak Farrokhzad
a5ad874ffb
spans: use source map backing
2022-05-12 16:09:18 +02:00
Alessandro Coglio
20a081da37
[tests] Fix format and expectation of a test.
...
This was apparently disabled, but it did not start with a block comment.
This commit fixes it to start with a block comment as required.
This commit also makes it a failing test, which is appropriate because in the
current version of Leo we do not allow untyped literals (i.e. lone numerals as
expressions), and it is thus a good negative test for the current version of
Leo. When we extend Leo to allow untyped literals, we can simply flip the
expectation of this test from Fail to Pass.
2022-05-11 21:16:41 -07:00
collin
8f17d6294a
rename scalar -> primitive
2022-05-11 14:09:12 -07:00
Alessandro Coglio
62f2267c2b
[parser] Fix parsing of ordering expressions.
...
Follow the grammar rule. The ordering operators are not associative.
Split previous tests into succeeding and failing ones.
Refresh expectations of old test files.
Add expectations of new test files.
2022-05-10 23:32:46 -07:00
Eric McCarthy
06cb450593
[tests] add block comment annotation to field/sub.leo and field/ternary.leo and add expectations files
2022-05-10 13:38:41 -07:00
collin
1a569eb655
regen tests
2022-05-10 11:59:34 -07:00
collin
c1d36ee62e
remove const function code
2022-05-10 11:57:23 -07:00
collin
1bf39e76a9
commit expectations
2022-05-10 11:38:29 -07:00
collin
cca3c84ef4
remove unused imports code and tests
2022-05-10 11:22:30 -07:00
Collin Chin
be9fa96d9e
Merge pull request #1786 from AleoHQ/feature/type-checking
...
[Impl] type-checking
2022-05-10 11:17:44 -07:00
gluax
23f19fc4f7
missed regening a test
2022-05-05 15:58:41 -07:00
gluax
b79b961610
make new tests
2022-05-05 15:44:33 -07:00
gluax
d33e69bac8
re-introduce some disabled tests, fix some
2022-05-05 15:38:55 -07:00
Collin Chin
527c55f841
Merge pull request #1666 from AleoHQ/feature/1654-require-types
...
[Impl] Require Types
2022-05-04 15:53:55 -07:00
gluax
e03af95ff6
change output format, st doesn't change bc of input file
2022-05-04 15:43:07 -07:00
gluax
b97bf4c9bc
started going through deprecated tests, noticed parts of testframework were broken
2022-05-04 15:37:59 -07:00
gluax
2c252f7878
all current compiler tests pass, need to add more
2022-05-04 13:37:53 -07:00
Collin Chin
4a1cd29b53
Merge pull request #1781 from AleoHQ/doc-test-update
...
[Testing] Update doc of test framework.
2022-05-04 13:02:22 -07:00
gluax
4fb95d1195
initial commit for tc, adds get_type to Node
2022-05-03 11:26:56 -07:00
Alessandro Coglio
ce7dfedea6
[testing] Remove obsolete section from README.
2022-05-02 21:51:54 -07:00
gluax
18bd03318f
use input_file for each, as now inline input content is ignored
2022-05-02 20:34:37 -07:00
gluax
a7c3696e90
merge testnet3 into required types, also remove identifier type
2022-05-02 19:43:46 -07:00
Alessandro Coglio
9dcc0a5ec5
[tests] Consistently use block comments.
...
There were four test files, found by @bendyarm, that use end-of-line comments
instead of block comments as prescribed by the README.md.
This commit changes them to block comments, for consistency with the README.md,
and uniformity across the files.
There is clearly nothing wrong with supporting block comments (which apparently
the Rust implementation of the Leo test framework already does). However, just
supporting block comments slightly simplifies the processing of the Leo test
files on the ACL2 side, as we are building that processing right now.
We could support end-of-line comments on the ACL2 side as well if desired. But
it seems unnecessary and unimportant at least for now. This is a quick PR, so
it's okay if it gets rejected and instead we want to support end-of-line
comments right away.
2022-05-02 14:28:43 -07:00
Alessandro Coglio
0c2aed8c9d
[Testing] Update doc of test framework.
2022-05-02 12:40:14 -07:00
gluax
7e6cc65d54
change back to parse_input to reflect what we do for parse_program
2022-04-28 12:44:54 -07:00
gluax
7524a325bf
fix grabbing last error
2022-04-27 12:31:24 -07:00
gluax
5108cab460
most compiler tests passing
2022-04-27 12:04:45 -07:00
gluax
8c7fe53ff6
fix leo input parser bug
2022-04-27 11:52:06 -07:00
gluax
8c86407b91
cleaning up tests, fixed compiler bug, found input parse bug
2022-04-27 11:44:05 -07:00
Eric McCarthy
344cc61d0c
[lexer] add "_fail" suffix on test file names for tests that are supposed to fail ( #1770 )
2022-04-25 08:58:41 -07:00
collin
f89966fe32
merge testnet3
2022-04-21 14:37:33 -07:00
Collin Chin
23fca6af47
Merge pull request #1751 from AleoHQ/abnf-bidi-overrides
...
[ABNF] disallow bidi override codepoints
2022-04-20 09:34:00 -07:00
Eric McCarthy
8eecca1af7
[tests] fix missing file extension on test file and remove vestigial dollar sign
2022-04-19 14:19:55 -07:00
Eric McCarthy
3227930df9
[lexer] add fail tests for bidi overrides
2022-04-19 13:16:09 -07:00
gluax
98c7ced6fe
merge upstream testnet3
2022-04-19 12:58:28 -07:00
Collin Chin
645b5a2be7
Merge pull request #1750 from AleoHQ/address-check
...
Address check
2022-04-19 12:56:27 -07:00
gluax
54c936cc61
leo warnings, disable unused errors for now
2022-04-18 14:06:28 -07:00
collin
f53817c5f5
implement real address literal check
2022-04-13 15:21:08 -07:00
Mazdak Farrokhzad
b955b77ac2
parser: minor cleanup + span fix
2022-04-13 22:52:53 +02:00
Mazdak Farrokhzad
31fcc2f216
parser: store (prev_)token
2022-04-13 22:20:48 +02:00
gluax
9f79ca7169
allow const but throw a recoverable error
2022-04-12 11:46:35 -07:00
gluax
cfc5b00bad
add constant keyword, only used for params
2022-04-10 23:10:55 -07:00
