Commit Graph

6807 Commits

Author SHA1 Message Date
evan-schott
004484b58c refactor ntzseals 2024-04-11 14:19:08 -07:00
evan-schott
71c39b5c31 update expectations 2024-04-11 12:02:09 -07:00
evan-schott
e6ba5069dc Fix suggestions 2024-04-10 16:11:51 -07:00
evan-schott
17c35d11af Refactor all tests to get rid of finalize syntax 2024-04-10 15:56:30 -07:00
evan-schott
915ced57bd Switch explicit future typing syntax to match rust 2024-04-10 11:48:41 -07:00
evan-schott
ee9cbd912d write examples using new async syntax 2024-04-09 13:53:26 -07:00
evan-schott
e47ddb458e clippy 2024-04-09 11:52:19 -07:00
evan-schott
1ac7f7f67c fmt 2024-04-09 11:43:03 -07:00
evan-schott
00ce6eb045 explicit future tests 2024-04-09 11:38:57 -07:00
evan-schott
bf95c4966a parsing ambiguous explicit future types. Ex: Future<u32, Future<u32>> 2024-04-09 11:38:41 -07:00
evan-schott
5903635fa3 enable explicit typing for futures 2024-04-09 11:36:55 -07:00
evan-schott
a2fce7a968 misc revisions 2024-04-09 11:34:16 -07:00
evan-schott
bf9484c975
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:47:06 -07:00
evan-schott
01788ac332
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:46:49 -07:00
evan-schott
84abefe764
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:46:39 -07:00
evan-schott
a09a6fae85
Update compiler/span/src/symbol.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:46:15 -07:00
evan-schott
62849540fe
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:45:34 -07:00
evan-schott
6ae10e5889
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:45:04 -07:00
evan-schott
8905f73670
Update compiler/passes/src/symbol_table_creation/creator.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:44:22 -07:00
evan-schott
b1c56c1fa1
Update errors/src/errors/type_checker/type_checker_error.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:43:51 -07:00
evan-schott
59e7c6c35c
Update compiler/span/src/symbol.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:43:35 -07:00
evan-schott
295e304bcb
Update compiler/passes/src/flattening/flatten_program.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:43:13 -07:00
evan-schott
1c6b4403c7
Update compiler/passes/src/destructuring/destructure_statement.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:42:55 -07:00
evan-schott
0718d4dc33
Update errors/src/errors/type_checker/type_checker_warning.rs
Co-authored-by: d0cd <23022326+d0cd@users.noreply.github.com>
Signed-off-by: evan-schott <53463459+evan-schott@users.noreply.github.com>
2024-04-08 11:33:21 -07:00
evan-schott
b422657944 Forbit explicit inclusion of async function return type 2024-04-08 11:27:42 -07:00
evan-schott
5790124de4 test parity with snarkVM 2024-04-08 11:18:45 -07:00
evan-schott
14f08b4917 Fixed DCE bug 2024-04-08 11:17:33 -07:00
evan-schott
228a0ae9b7 Transform method calls into associated functions 2024-04-08 11:17:11 -07:00
evan-schott
0ed5cd6924 Retrieve external future locations during disassembling instead of in TYC 2024-04-08 11:15:48 -07:00
evan-schott
e99d7df699 Refactor FutureType to introduce location field to store which program/function the future comes from 2024-04-08 11:09:57 -07:00
evan-schott
9889aa01c5 Refactor Variant to account for asynchronous function variants 2024-04-03 17:00:03 -07:00
evan-schott
e7ac5e0bf1 running 2024-04-03 15:59:57 -07:00
evan-schott
abd5235091 merge 2024-04-03 14:37:05 -07:00
Pranav Gaddamadugu
e7ddc5240f Update CI 2024-04-02 10:46:00 -07:00
Pranav Gaddamadugu
26dba19d88 Clippy 2024-04-02 10:19:46 -07:00
Pranav Gaddamadugu
f6fde0d725 Merge branch 'testnet3' into mainnet 2024-04-02 09:49:25 -07:00
Pranav Gaddamadugu
b3c3714044 Regen expectations 2024-04-02 08:40:32 -07:00
d0cd
55fff52eea
Merge pull request #27869 from metavind/fix/tic-tac-toe
fix: correct typos for win check in tic-tac-toe
2024-04-01 17:06:34 -07:00
Pranav Gaddamadugu
2d606f1930 Allow external contains 2024-04-01 06:46:45 -07:00
Pranav Gaddamadugu
4fe984ce7c Update Testnet3 to Mainnet 2024-04-01 06:43:54 -07:00
Pranav Gaddamadugu
b1f6922d1e Update rev 2024-04-01 06:43:39 -07:00
metavind
2cade3e00b
fix: correct typos for win check 2024-03-31 21:47:58 +02:00
Pranav Gaddamadugu
26e5de5bd9 Update README.md 2024-03-29 19:05:28 -07:00
Pranav Gaddamadugu
ac1702660b Update Cargo.lock 2024-03-29 18:26:02 -07:00
Pranav Gaddamadugu
2c391055af chore(leo): bump version for new release 2024-03-29 17:53:25 -07:00
evan-schott
87086a0d61
Merge pull request #27857 from AleoHQ/feat/external-mapping
[Feat] External mapping
2024-03-29 16:25:02 -07:00
evan-schott
f61cfd3c2f update expectations 2024-03-29 14:18:14 -07:00
evan-schott
36aa41fdc2 Regen expectations 2024-03-29 14:18:12 -07:00
evan-schott
f81bb5bfcc Update testing framework report error msg 2024-03-29 14:17:29 -07:00
evan-schott
ed085666a3 Add tests for using LocatorExpression out of place 2024-03-29 14:17:29 -07:00