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
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
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
collin
b8780e888d
merge testnet3
2022-05-20 10:39:21 -04: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
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
collin
f6aa7a578a
merge testnet3
2022-05-13 12:33:35 -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
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
Eric McCarthy
e3c3b6d79a
[tests] make integer pow tests consistent
2022-05-12 23:20:35 -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
Mazdak Farrokhzad
a5ad874ffb
spans: use source map backing
2022-05-12 16:09:18 +02:00
collin
8f17d6294a
rename scalar -> primitive
2022-05-11 14:09:12 -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
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
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
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
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
collin
1f7b1b57cc
remove unsized array tests
2022-03-04 12:27:17 -08:00
collin
22b16a0bcb
regenerate all tests
2022-01-25 16:17:36 -08:00
collin
31f90a9032
deprecate blake2s
2022-01-25 13:31:02 -08:00
Eric McCarthy
e2ba64b79d
Merge pull request #1362 from AleoHQ/feature/remove-span-snapshot
...
Feature/remove span snapshot
2021-09-30 15:33:18 -07:00
Pranav Gaddamadugu
cf1d10e057
Changed expectations after fixing order bug
2021-09-29 08:01:42 -07:00
Pranav Gaddamadugu
9bf66e391c
New test expectations after normalizing JSON output for tgc
2021-09-28 17:51:58 -07:00
damirka
a1aa5326ad
fixes eq for arrays with unspecified size
2021-09-28 11:09:56 +03:00
Pranav Gaddamadugu
94498179db
Added feature to serde_json, new expected ASTs
2021-09-24 16:34:57 -07:00
Pranav Gaddamadugu
1d4a4566d7
Updated tests to fit new compiler options
2021-09-23 09:27:14 -07:00
Pranav Gaddamadugu
ae6e0a6786
Changing expectations files; for any AST where Span is used in an enum variant
2021-09-22 12:07:58 -07:00
damirka
af777c085d
adds .len() parser tests
2021-09-17 17:39:28 +03:00
Alessandro Coglio
a5f74195cf
Merge pull request #1333 from AleoHQ/array-len-function
...
[Feature] Adds .len() postfix to arrays
2021-09-15 10:10:32 -07:00
damirka
4f41f09ef2
Merge branch 'master' into array-len-function
2021-09-13 14:26:38 +03:00
damirka
158576f8f5
changed length() to len()
2021-09-10 16:55:32 +03:00
gluaxspeed
c1e9c72d2a
merge master and resolve conflicts
2021-09-10 06:53:47 -07:00
gluaxspeed
e1f6b16ea7
added new errors
2021-09-10 06:42:01 -07:00
damirka
093517109b
renaming, now .length()
2021-09-10 16:11:55 +03:00
gluaxspeed
64e88404d2
prelude stuff auto included
2021-09-10 05:55:07 -07:00
gluaxspeed
02416cde68
merge master and resolve conflicts
2021-09-10 02:27:37 -07:00
gluaxspeed
a9c81d6596
fix canoncialization of function inputs
2021-09-08 04:18:11 -07:00
gluaxspeed
8a8b5ab757
resolve merge conflicts
2021-09-07 02:59:35 -07:00
gluaxspeed
2e51e81be1
mere conflicts, try to fix duplicate definition fail test
2021-09-07 02:05:15 -07:00
gluaxspeed
dac71a8001
Merge branch 'master' of github.com:AleoHQ/leo into bug/shadowing-fixes
2021-09-07 01:57:39 -07:00
gluaxspeed
b39eab953d
regen test after merge
2021-09-07 01:50:41 -07:00
gluaxspeed
589c0623f2
resolve conflicts
2021-09-06 23:04:26 -07:00
gluax
81271c918f
Merge pull request #1327 from AleoHQ/abnf-ast-changes
...
[ABNF] CircuitOrAlias changed to Identifier
2021-09-06 22:23:52 -07:00
gluaxspeed
dcdb234637
fix imported circuit return from function in import
2021-09-06 06:12:58 -07:00
damirka
857ab9a2b6
change CircuitOrAlias to Identifier
2021-09-06 14:10:06 +03:00
gluaxspeed
cfb8720af7
fix scope shadowing, and importing global consts
2021-09-06 03:53:02 -07:00
damirka
9bef8611e8
custom serializer for Type::Array
2021-09-02 18:27:20 +03:00
damirka
041faa28db
adds tests
2021-09-02 15:53:54 +03:00
gluaxspeed
78e3b333e1
forgot to re-populate tests
2021-08-27 21:51:59 -07:00
gluaxspeed
48d3a445a0
type inference tgc hack
2021-08-27 21:49:17 -07:00
gluaxspeed
1efd891a3f
regen tests
2021-08-27 09:54:22 -07:00
gluaxspeed
a059e09ae2
merge master
2021-08-27 09:46:24 -07:00
gluaxspeed
a4652829df
update conflicting tests
2021-08-27 04:50:42 -07:00
gluaxspeed
c56a54c62e
Merge branch 'master' of github.com:AleoHQ/leo into bug/canonicalization-Self-fixes
2021-08-27 04:40:06 -07:00
Eric McCarthy
9d05b02ef3
update expectations based on results after merging master
2021-08-26 20:33:00 -07:00
Alessandro Coglio
062994e4fe
Merge pull request #1284 from AleoHQ/dup-in32-patch-1
...
Update nonprinting.leo
2021-08-26 19:55:54 -07:00
gluaxspeed
a5b6780c3b
big self canonicalization fixes
2021-08-25 08:55:26 -07:00
gluaxspeed
d100db7396
aliases tests, and some bug fixes, errors
2021-08-25 07:30:17 -07:00
gluaxspeed
2ecb10730e
turn off leo-debug for test generation
2021-08-24 23:59:33 -07:00
gluaxspeed
1628e19658
alias resolution done during type inference
2021-08-24 22:58:59 -07:00
damirka
034ef90e62
Revert "Squashed commit of the following:"
...
This reverts commit dfa15b1a4f
2021-08-24 22:27:37 +03:00
damirka
dfa15b1a4f
Squashed commit of the following:
...
commit 7a5979660b695a949c88bd065d#1272 from AleoHQ/feature/call-expressions-ast-store-type
[Implmentation] Adds Type to Circuit Member Access Expressions
commit 695a949cff#1288 )
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.127 to 1.0.128.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.127...v1.0.128 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
commit fd3d7d0624#1289 )
Bumps [serde_yaml](https://github.com/dtolnay/serde-yaml ) from 0.8.18 to 0.8.19.
- [Release notes](https://github.com/dtolnay/serde-yaml/releases )
- [Commits](https://github.com/dtolnay/serde-yaml/compare/0.8.18...0.8.19 )
---
updated-dependencies:
- dependency-name: serde_yaml
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
commit 84e972c9add609bb28fbc3dfb4#1267 from AleoHQ/bug/implicit-ternary-type-inference
[Bugfix] Ternary Implicit and Explicit Unkown Type
commit 88bd065d8a56c66fa4235daa9efbc3dfb4c956996f98235daa9e56c66fa4baa91c8b9e6acf5a23b38fcf5a23b38f56996f989e
2021-08-24 22:21:40 +03:00
gluaxspeed
1576f776f3
resolve master conflicts
2021-08-24 03:00:08 -07:00
Eric McCarthy
d8c89f257d
also update number of private variables and R1CS checksum expectations
2021-08-23 10:41:39 -07:00
Eric McCarthy
b516a8449d
update ast checksum expectations
2021-08-23 10:32:21 -07:00
Alessandro Coglio
7a5979660b
Merge pull request #1272 from AleoHQ/feature/call-expressions-ast-store-type
...
[Implmentation] Adds Type to Circuit Member Access Expressions
2021-08-23 08:50:41 -07:00
gluaxspeed
93509bf5c1
alias node type
2021-08-19 09:16:50 -07:00
gluaxspeed
e90228b295
type aliases
2021-08-19 06:04:44 -07:00
gluaxspeed
4fc6c5f586
core function imports
2021-08-18 18:52:56 -07:00
gluaxspeed
88bd065d8a
merge master, regen tests
2021-08-18 16:25:23 -07:00
gluaxspeed
fbc3dfb4c9
merge master, regen tests
2021-08-18 16:14:14 -07:00
gluaxspeed
56c66fa4ba
testing and clean up
2021-08-18 14:31:06 -07:00
gluaxspeed
a91c8b9e6a
Revert "type on call expression"
...
This reverts commit cf5a23b38f
2021-08-18 13:38:50 -07:00
gluaxspeed
cf5a23b38f
type on call expression
2021-08-18 02:04:41 -07:00
gluaxspeed
56996f989e
fix ternary bug
2021-08-18 01:09:45 -07:00
gluaxspeed
c3aa1ce773
fix error message formatting in some instances
2021-08-16 17:46:50 -07:00
gluaxspeed
20b0f4f2f8
fix canonicalization function type return bugs
2021-08-16 15:12:36 -07:00
gluaxspeed
12fe626485
update readme, fix compiler error range
2021-08-13 20:02:43 -07:00
gluaxspeed
0702be2a18
regen error tests
2021-08-13 16:12:54 -07:00
gluaxspeed
a09f6f0c83
serilization for span that's test dependent
2021-08-12 03:27:18 -07:00
gluaxspeed
f0de65835c
regen tests, debug out a import test
2021-08-12 02:15:12 -07:00
gluaxspeed
478bb83f70
regen tests after removing dead errors, docs
2021-08-10 22:56:46 -07:00
gluaxspeed
d9769b4c37
remove canonicalization from asg, merge master
2021-08-09 14:10:36 -07:00
damirka
9d3d76fc63
allow dashes in member access
2021-08-05 17:53:08 +03:00
damirka
eb0863cda9
closes #1183
2021-08-04 23:34:11 +03:00
gluaxspeed
b1f93e95b3
dep clean up, clippy, leo result
2021-08-04 05:52:08 -07:00
gluaxspeed
88e0e32317
formatting fixes, regen outs, still have a few things to do
2021-08-03 04:49:07 -07:00
damirka
34f1c00da2
clippy & test fixes
2021-08-02 23:45:33 +03:00
Alessandro Coglio
f1ba77f9ed
Merge pull request #1207 from AleoHQ/fix/address-issue
...
Fix the AssignmentMissing error involving non-constant addresses
2021-07-30 13:46:50 -07:00
gluaxspeed
39203492f8
add tests for fixes
2021-07-28 16:56:05 -07:00
gluaxspeed
72e2bb1fb6
Some test fixes
2021-07-28 11:53:45 -07:00
gluaxspeed
7d48c2fb75
merge master
2021-07-28 11:18:35 -07:00
gluaxspeed
745f6c2275
variable shadow error
2021-07-27 13:39:34 -07:00
gluaxspeed
9a53905a55
Merge branch 'master' of github.com:AleoHQ/leo into feature/console-refactor-and-outs
2021-07-27 12:33:37 -07:00
gluaxspeed
011d405e00
fix output file types from CRLF to LF
2021-07-27 09:48:00 -07:00
gluaxspeed
42f58ff33e
added more tests
2021-07-27 09:31:23 -07:00
gluaxspeed
3f890c9f30
fix reverse loop have to add range, which is always 1 for now
2021-07-26 17:22:05 -07:00
gluaxspeed
20d64970ab
merge master, color only at cli as it breaks tests, remove debug
2021-07-26 16:49:33 -07:00
Alessandro Coglio
49a51d6026
Merge pull request #1185 from AleoHQ/bug/ternary-different-types
...
[Bugfix] Ternary Type Check
2021-07-24 13:21:59 -07:00
gluaxspeed
1c3362d191
ternary different types errors out
2021-07-23 17:12:30 -07:00
gluaxspeed
1d72107119
inclusive range
2021-07-23 15:14:37 -07:00
gluaxspeed
b69dd4e277
remove debug, realized it was crlf vs lf whoops
2021-07-23 00:34:52 -07:00
gluaxspeed
61253031b4
countdown loops
2021-07-22 22:17:33 -07:00
gluaxspeed
2544a680f1
forgot to regen tests after merging
2021-07-21 14:57:40 -07:00
gluaxspeed
8028766cb4
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings
2021-07-21 14:43:37 -07:00
Alessandro Coglio
e0b586a9a1
Merge pull request #1164 from AleoHQ/feature/theorem-tests
...
[Feature-Impl] Ast generation tests
2021-07-21 11:04:19 -07:00
gluaxspeed
c1879e6e1c
Merge branch 'master' of github.com:AleoHQ/leo into bug/abnf-format-strings
2021-07-21 02:51:35 -07:00
gluaxspeed
a9593971b9
format string and grammar changes
2021-07-20 14:52:35 -07:00
gluaxspeed
a2577231fd
add test
2021-07-19 11:33:18 -07:00
gluaxspeed
98d47ab32a
Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests
2021-07-18 20:00:48 -07:00
weikeng
fef7fe6c90
update the test as well as ci
2021-07-17 01:55:11 -07:00
gluaxspeed
b456488758
merge master
2021-07-16 03:39:32 -07:00
gluaxspeed
8b44cfa9c7
Merge branch 'master' of github.com:AleoHQ/leo into feature/theorem-tests
2021-07-16 03:28:37 -07:00
gluaxspeed
470a4075f8
refactor theorem to ast for out file hashes, migrate old tests
2021-07-16 03:20:36 -07:00
gluaxspeed
8695b11ce0
Forgot to refactor in compiler tests
2021-07-14 05:04:09 -07:00
gluaxspeed
baca9ca4a5
Hash the ast in the .out file
2021-07-14 02:58:10 -07:00
gluaxspeed
af147449be
"fix type, more test coverage"
2021-07-14 00:39:09 -07:00
gluaxspeed
650a729763
Add theorem generations to tests
2021-07-12 11:45:51 -07:00
gluax
9ace3243d2
forgot to regenerate tests
2021-07-02 15:29:50 -07:00
gluax
f35b120588
test cases for lest test
2021-06-29 21:12:24 -07:00
gluax
5c3b48a25b
slight rework to access to clean it up and fix other missed cases, added tests
2021-06-28 14:10:26 -07:00
gluax
5ebea328fb
const_value for array_init, and canonicalization fixes
2021-06-26 00:00:09 -07:00
Alessandro Coglio
b6065c34d4
Merge pull request #1060 from AleoHQ/bugs/array-type-inference-issues
...
array type inference bugs
2021-06-25 11:12:21 -07:00
gluax
068958a2f4
array type inference bugs
2021-06-23 07:08:32 -07:00
damirka
77301e98bd
add tests
2021-06-23 14:16:44 +03:00
gluax
957d73f33f
more tests
2021-06-22 14:31:45 -07:00
gluax
af1aca3d9f
parse returns leo error not rust error
2021-06-21 23:10:55 -07:00
gluax
b969774b85
check input integer types at all stages
2021-06-21 19:53:01 -07:00
gluax
1f35308f47
depend on improved tests branch
2021-06-15 11:44:20 -07:00
gluax
076aafa097
resolve merge conflicts
2021-06-15 11:32:46 -07:00
gluax
a6f4052dde
type inference char reducer fixed, outputs fixed
2021-06-15 11:23:08 -07:00
Alessandro Coglio
04c809c0dc
Merge pull request #1027 from AleoHQ/bug/1025-assigning-slice-to-string
...
fix slice assignment for strings
2021-06-11 11:36:08 -07:00
gluax
d6266102c3
more tests, hex fix
2021-06-09 15:54:05 -07:00
gluax
9eedd61ccd
rebase master, redo tests
2021-06-08 14:59:38 -07:00
p
e816ae4ac3
fix array dyn mut
2021-06-08 14:52:12 -07:00
gluax
0a71466c41
pull snarkvm deps, for test fix
2021-06-08 14:01:10 -07:00
gluax
d4cdd93d15
Merge branch 'feat/update-snarkvm-0.5.4' of github.com:AleoHQ/leo into bug/1025-assigning-slice-to-string
2021-06-08 13:44:22 -07:00
collin
1b5f2728e5
deprecate abnf, regenerate tests
2021-06-08 13:15:26 -07:00
gluax
c9b565cbfb
fix slice assignment for strings
2021-06-08 12:29:49 -07:00
Protryon
a0acc915e9
dynamic array index assignment
2021-06-04 06:14:09 -07:00
damirka
3bcb0ef942
fix test expectations
2021-06-03 19:34:10 +03:00
damirka
d578a1084e
fix field tests for inputs, improves string and char inputs
2021-05-25 21:06:45 +03:00
gluax
91f27bc046
explicit type resolves issue, will make bug for implict
2021-05-22 22:26:24 -04:00
gluax
bce10cc885
quick test fix
2021-05-22 18:21:11 -04:00
gluax
329b330c15
merge remote
2021-05-22 10:47:08 -04:00
gluax
cd95f48f77
forgot to remove debug stmt, and regen tests
2021-05-21 15:11:48 -04:00
gluax
3971a6100d
revert parsing char change, clean up lexing
2021-05-21 14:43:05 -04:00
gluax
cce0f597de
Revert "refactor for better errors, code shouldn't have been in the lexer"
...
This reverts commit 1e1486f4ef
2021-05-21 12:33:39 -04:00
gluax
ca59ff3177
tests for now should be changed to use input strings when they are in
2021-05-20 14:30:12 -04:00
gluax
1e1486f4ef
refactor for better errors, code shouldn't have been in the lexer
2021-05-19 18:14:56 -04:00
gluax
b6479b754f
tests are passing interestingly but idk if they should be, == doesn't work for input on fields
2021-05-19 16:48:34 -04:00
damirka
c4616254d4
follow up, fixed wrong test
2021-05-19 20:53:41 +03:00
damirka
ca6b8695b5
disabled blake2s for now
2021-05-19 20:50:43 +03:00
gluax
1377fc5d75
output file now does 'a', swapped to compiler tests, we fail char tests for now since no constraints
2021-05-14 15:34:39 -04:00
damirka
fc385feeca
returned parser expectations, removed cwd from compiler tests
2021-05-13 17:07:03 +03:00
damirka
17744f7f7d
removes import tests, fix ci, add constraint number check, more tests
2021-05-13 16:56:17 +03:00
damirka
e2492ba9e4
more constraints checks
2021-05-12 20:47:03 +03:00
damirka
5d018f4ad2
u*
2021-05-10 21:11:31 +03:00
damirka
1a15ad3a8f
i*
2021-05-10 20:19:19 +03:00
damirka
a39197af62
add const test
2021-05-06 14:52:20 +03:00
damirka
ac57fe6410
test conflicts + clippy
2021-05-06 14:27:42 +03:00
damirka
e3983bfa90
array
2021-05-06 14:01:42 +03:00
damirka
91c9969ff9
arrays 1/2
2021-05-05 21:25:24 +03:00
damirka
7f390d4d5c
global const
2021-05-05 21:06:15 +03:00
damirka
d5e8fb3718
imports
2021-05-05 19:31:25 +03:00
damirka
925afef17c
function
2021-05-05 18:29:44 +03:00
damirka
032341089b
program state
2021-05-05 17:48:33 +03:00
damirka
72648c993c
program inputs
2021-05-05 17:35:34 +03:00
damirka
71486fb628
circuits
2021-05-05 11:37:51 +03:00
damirka
8464c5b9d2
i8 + mutability
2021-05-03 17:28:53 +03:00
damirka
0b798dc950
console + definition + core
2021-05-03 16:47:33 +03:00
Protryon
534f36a077
compiler tests
2021-04-19 18:08:14 -07:00
